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.[1][2]
Indecomposable is a weaker notion than simple module (which is also sometimes called irreducible module):
simple means "no proper submodule" N < M,
while indecomposable "not expressible as N ⊕ P = M".
A direct sum of indecomposables is called completely decomposable;[citation needed] 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.
^Jacobson 2009, p. 111
^Roman 2008, p. 158 §6
and 24 Related for: Indecomposable module information
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...
R/(q_{i})} are indecomposable, so the primary decomposition is a decomposition into indecomposablemodules, and thus every finitely generated module over a PID...
as module theory, a principal indecomposablemodule has many important relations to the study of a ring's modules, especially its simple modules, projective...
every injective module is uniquely a direct sum of indecomposablemodules, and their structure is well understood. An injective module over one ring, may...
vertex to an indecomposablemodule, defined in terms of relative projectivity of the module. For example, the vertex of each indecomposablemodule in a block...
ring is semisimple if and only if every module over it is a semisimple module. An indecomposablemodule is a module that is not a direct sum of two nonzero...
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...
mathematics: Indecomposablemodule, in algebra Indecomposable distribution, in probability Indecomposable continuum, in topology Indecomposability (intuitionistic...
basic statement in abstract algebra. Suppose M is a module over some ring. If M is indecomposable and has finite length, then every endomorphism of M...
combines several modules into a new, larger module. The direct sum of modules is the smallest module which contains the given modules as submodules with...
indecomposable An indecomposablemodule is a non-zero module that cannot be written as a direct sum of two non-zero submodules. Every simple module is...
This allows them to derive relativistic wave equations. Simple moduleIndecomposablemodule Representation of an associative algebra Representation theory...
module over itself and a module over Z. The rational numbers are algebraically compact as a Z-module. Together with the indecomposable finite modules...
the cell wall of Mycobacterium tuberculosis Principal indecomposablemodule in mathematical module theory Product information management Partnerized Inventory...
maximal submodule, then M is a local module. M is also clearly a uniform module and thus is directly indecomposable. It is also easy to see that every finitely...
modules is injective. Every left injective module over a left Noetherian module can be decomposed as a direct sum of indecomposable injective modules...
coprimary modules. For a one-sided Noetherian ring, there is a surjection from the set of isomorphism classes of indecomposable injective modules onto the...
decomposable, which is a direct sum of indecomposable submodules. Let A be an algebra over a field K. Then a left module M over A is said to be absolutely...
finite-dimensional algebras over k of global dimension ≤ 2 such that every indecomposablemodule either has projective dimension ≤ 1 or injective dimension ≤ 1....
^{n}} and R n . {\displaystyle \mathbb {R} ^{n}.} The direct product for modules (not to be confused with the tensor product) is very similar to the one...
a (finite) set of principal indecomposablemodules and writing composition series for them in terms of irreducible modules, yielding a matrix of integers...
algebra of an algebra A is the endomorphism ring of the sum of the indecomposablemodules of A. It was introduced by Auslander (1974). An Artin algebra Γ...
N_{2}/(N_{1}\cap N_{2})=\{0\}.} Uniserial modules are uniform, and uniform modules are necessarily directly indecomposable. Any commutative domain is a uniform...