Use the descending chain condition on the finite intersections of maximal right ideals. It gives a minimal such intersection . Intersecting with any other maximal right ideal cannot decrease it, by minimality. Thus lies in every maximal right ideal, and . When , the diagonal map
is injective, and each summand on the right is a simple module.
For completeness, a submodule of a finite direct sum of simple modules is semisimple. Induct on the number of summands. For with simple, is either or . In the first case projection into identifies with a submodule of , so induction applies. In the second case subtracting the coordinate shows , and induction again applies. This also shows finite module length. Apply it to the image of the diagonal map to obtain
This is the semisimplicity of a right Artinian ring with zero radical. It does not assume right Noetherianity in order to prove it.

Articles by others on the same topic (0)

There are currently no matching articles.