TOPICS
Search

Irreducible Module


An irreducible module is a nonzero module M over a ring R whose only submodules are the module itself and the zero module. It is also called a simple module (Rowen 1988). Behrens' (1972, p. 23) definition includes the additional condition that RM be not the zero module.

Sometimes, the term irreducible is used as an abbreviation for meet-irreducible (Kasch 1982, p. 161), which means a nonzero module in which the intersection of two nonzero submodules is always nonzero.

These two irreducibility notions are different: every irreducible module is meet-irreducible, but the converse does not hold. For example, the submodules of the Z-module Z_4 are {0^_}, Z_4, and {0^_,2^_}, so Z_4 is not irreducible, whereas it is meet-irreducible.

For a ring, the corresponding terminology is expressed using two-sided ideals. A simple ring has no proper nonzero two-sided ideals, whereas in an irreducible ring the intersection of two nonzero two-sided ideals is always nonzero.

Irreducible modules play a crucial role in representation theory.


See also

Composition Series, Irreducible Ring, Module Length

Portions of this entry contributed by Margherita Barile

Explore with Wolfram|Alpha

References

Behrens, E.-A. Ring Theory. New York: Academic Press, p. 23, 1972.Kasch, F. Modules and Rings. London, England: Academic Press, p. 161, 1982.Rowen, L. "Simple Rings and Modules." In Ring Theory, Vol. 1. San Diego, CA: Academic Press, pp. 19-21, 1988.

Referenced on Wolfram|Alpha

Irreducible Module

Cite this as:

Weisstein, Eric W., with contributions by Margherita Barile. "Irreducible Module." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/IrreducibleModule.html

Subject classifications