In abstract algebra, a module is indecomposable if it is non-zero and cannot be written as a direct sum of two non-zero submodules.
Indecomposable is a weaker notion than simple module (which is also sometimes called irreducible module):
simple means "no proper submodule" ,
while indecomposable "not expressible as ".
A direct sum of indecomposables is called completely decomposable; this is weaker than being semisimple, which is a direct sum of simple modules.
A direct sum decomposition of a module into indecomposable modules is called an indecomposable decomposition.
In many situations, all modules of interest are completely decomposable; the indecomposable modules can then be thought of as the "basic building blocks", the only objects that need to be studied. This is the case for modules over a
field or PID,
and underlies Jordan normal form of operators.
Modules over fields are vector spaces. A vector space is indecomposable if and only if its dimension is 1. So every vector space is completely decomposable (indeed, semisimple), with infinitely many summands if the dimension is infinite.
Finitely-generated modules over principal ideal domains (PIDs) are classified by the structure theorem for finitely generated modules over a principal ideal domain: the primary decomposition is a decomposition into indecomposable modules, so every finitely-generated module over a PID is completely decomposable.
Explicitly, the modules of the form for prime ideals p (including p = 0, which yields R) are indecomposable. Every finitely-generated R-module is a direct sum of these. Note that this is simple if and only if n = 1 (or p = 0); for example, the cyclic group of order 4, Z/4, is indecomposable but not simple – it has the subgroup 2Z/4 of order 2, but this does not have a complement.
Over the integers Z, modules are abelian groups. A finitely-generated abelian group is indecomposable if and only if it is isomorphic to Z or to a factor group of the form for some prime number p and some positive integer n.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
The generation of prime numbers underlies the use of most public-key schemes, essentially as a major primitive needed for the creation of key pairs or as a computation stage appearing during various cryptographic setups. Surprisingly, despite decades of in ...
In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient.
In mathematics, specifically in ring theory, the simple modules over a ring R are the (left or right) modules over R that are non-zero and have no non-zero proper submodules. Equivalently, a module M is simple if and only if every cyclic submodule generated by a non-zero element of M equals M. Simple modules form building blocks for the modules of finite length, and they are analogous to the simple groups in group theory. In this article, all modules will be assumed to be right unital modules over a ring R.
In mathematics, the endomorphisms of an abelian group X form a ring. This ring is called the endomorphism ring of X, denoted by End(X); the set of all homomorphisms of X into itself. Addition of endomorphisms arises naturally in a pointwise manner and multiplication via endomorphism composition. Using these operations, the set of endomorphisms of an abelian group forms a (unital) ring, with the zero map as additive identity and the identity map as multiplicative identity.
Let G be either a simple linear algebraic group over an algebraically closed field of characteristic l>0 or a quantum group at an l-th root of unity. The category Rep(G) of finite-dimensional G-modules is non-semisimple. In this thesis, we develop new tech ...