 Thus, a semisimple algebra over a field is necessarily finite-dimensional, while a simple algebra may have infinite dimension, for example, the ring of differential operators.Any module over a semisimple ring is semisimple.