Irreducible modules
Suppose
- Prove that an
-module is irreducible if and only if is isomorphic (as an -module) to for some maximal ideal of . - Prove that if
and are irreducible -modules, then every nonzero -module morphisms from to is an isomorphism. - Prove that if
is an irreducible -module, then the endomorphism ring is a division ring.
Hints
- Consider using some of the Isomorphism Theorems for modules. Also recall the correspondence between submodules and ideals.
- The kernel and image of a module morphism are submodules ...
- Use the previous part.