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 mapis 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 obtainThis 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
There are currently no matching articles.