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:
“Man has lost the basic skill of the ape, the ability to scratch its back. Which gave it extraordinary independence, and the liberty to associate for reasons other than the need for mutual back-scratching.”
—Jean Baudrillard (b. 1929)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“Here we are, we’re alone in the universe, there’s no God, it just seems that it all began by something as simple as sunlight striking on a piece of rock. And here we are. We’ve only got ourselves. Somehow, we’ve just got to make a go of it. We’ve only ourselves.”
—John Osborne (b. 1929)