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:
“There’s a basic rule which runs through all kinds of music, kind of an unwritten rule. I don’t know what it is. But I’ve got it.”
—Ron Wood (b. 1947)
“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 (1632–1704)
“Uncontradicting solitude
Supports me on its giant palm;
And like a sea-anemone
or simple snail, there cautiously
Unfolds, emerges, what I am.”
—Philip Larkin (1922–1986)