Definition
A module over a (not necessarily commutative) ring with unity is said to be semisimple (or completely reducible) if it is the direct sum of simple (irreducible) submodules.
For a module M, the following are equivalent:
- M is a direct sum of irreducible modules.
- M is the sum of its irreducible submodules.
- Every submodule of M is a direct summand: for every submodule N of M, there is a complement P such that M = N ⊕ P.
For, the starting idea is to find an irreducible submodule by picking any and letting be a maximal submodule such that . It can be shown that the complement of is irreducible.
Semisimple is stronger than completely decomposable, which is a direct sum of indecomposable submodules.
Read more about this topic: Semisimple Module
Famous quotes containing the word definition:
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)