Basic Properties of Simple Modules
The simple modules are precisely the modules of length 1; this is a reformulation of the definition.
Every simple module is indecomposable, but the converse is in general not true.
Every simple module is cyclic, that is it is generated by one element.
Not every module has a simple submodule; consider for instance the Z-module Z in light of the first example above.
Let M and N be (left or right) modules over the same ring, and let f : M → N be a module homomorphism. If M is simple, then f is either the zero homomorphism or injective because the kernel of f is a submodule of M. If N is simple, then f is either the zero homomorphism or surjective because the image of f is a submodule of N. If M = N, then f is an endomorphism of M, and if M is simple, then the prior two statements imply that f is either the zero homomorphism or an isomorphism. Consequently the endomorphism ring of any simple module is a division ring. This result is known as Schur's lemma.
The converse of Schur's lemma is not true in general. For example, the Z-module Q is not simple, but its endomorphism ring is isomorphic to the field Q.
Read more about this topic: Simple Module
Famous quotes containing the words basic, properties and/or simple:
“The basic thing nobody asks is why do people take drugs of any sort?... Why do we have these accessories to normal living to live? I mean, is there something wrong with society thats making us so pressurized, that we cannot live without guarding ourselves against it?”
—John Lennon (19401980)
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (16321704)
“It is not the simple statement of facts that ushers in freedom; it is the constant repetition of them that has this liberating effect. Tolerance is the result not of enlightenment, but of boredom.”
—Quentin Crisp (b. 1908)