Indecomposable module

Last updated

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]

Contents

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.

Motivation

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.

Examples

Field

Modules over fields are vector spaces. [3] 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. [4]

Principal ideal domain

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 R/pn 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 Z/pnZ for some prime number p and some positive integer n. Every finitely-generated abelian group is a direct sum of (finitely many) indecomposable abelian groups.

There are, however, other indecomposable abelian groups which are not finitely generated; examples are the rational numbers Q and the Prüfer p-groups Z(p∞) for any prime number p.

For a fixed positive integer n, consider the ring R of n-by-n matrices with entries from the real numbers (or from any other field K). Then Kn is a left R-module (the scalar multiplication is matrix multiplication). This is up to isomorphism the only indecomposable module over R. Every left R-module is a direct sum of (finitely or infinitely many) copies of this module Kn.

Facts

Every simple module is indecomposable. The converse is not true in general, as is shown by the second example above.

By looking at the endomorphism ring of a module, one can tell whether the module is indecomposable: if and only if the endomorphism ring does not contain an idempotent element different from 0 and 1. [1] (If f is such an idempotent endomorphism of M, then M is the direct sum of ker(f) and im(f).)

A module of finite length is indecomposable if and only if its endomorphism ring is local. Still more information about endomorphisms of finite-length indecomposables is provided by the Fitting lemma.

In the finite-length situation, decomposition into indecomposables is particularly useful, because of the Krull–Schmidt theorem: every finite-length module can be written as a direct sum of finitely many indecomposable modules, and this decomposition is essentially unique (meaning that if you have a different decomposition into indecomposables, then the summands of the first decomposition can be paired off with the summands of the second decomposition so that the members of each pair are isomorphic). [5]

Citations

  1. 1 2 Jacobson 2009, p. 111
  2. ↑ Roman 2008, p. 158 §6
  3. ↑ Roman 2008, p. 110 §4
  4. ↑ Jacobson 2009, p. 111, in comments after Prop. 3.1
  5. ↑ Jacobson 2009, p. 115

Related Research Articles

In mathematics, specifically in ring theory, the simple modules over a ring R are the 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.

<span class="mw-page-title-main">Ring (mathematics)</span> Algebraic structure with addition and multiplication

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

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.

In mathematics, the rank, Prüfer rank, or torsion-free rank of an abelian group A is the cardinality of a maximal linearly independent subset. The rank of A determines the size of the largest free abelian group contained in A. If A is torsion-free then it embeds into a vector space over the rational numbers of dimension rank A. For finitely generated abelian groups, rank is a strong invariant and every such group is determined up to isomorphism by its rank and torsion subgroup. Torsion-free abelian groups of rank 1 have been completely classified. However, the theory of abelian groups of higher rank is more involved.

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

<span class="mw-page-title-main">Module (mathematics)</span> Generalization of vector spaces from fields to rings

In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers.

In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type.

In ring theory, a branch of mathematics, an idempotent element or simply idempotent of a ring is an element a such that a2 = a. That is, the element is idempotent under the ring's multiplication. Inductively then, one can also conclude that a = a2 = a3 = a4 = ... = an for any positive integer n. For example, an idempotent element of a matrix ring is precisely an idempotent matrix.

In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if Q is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module Y, any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook.

In mathematics, a von Neumann regular ring is a ring R such that for every element a in R there exists an x in R with a = axa. One may think of x as a "weak inverse" of the element a; in general x is not uniquely determined by a. Von Neumann regular rings are also called absolutely flat rings, because these rings are characterized by the fact that every left R-module is flat.

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. The structure of Artinian semisimple rings is well understood by the Artin–Wedderburn theorem, which exhibits these rings as finite direct products of matrix rings.

Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field K of positive characteristic p, necessarily a prime number. As well as having applications to group theory, modular representations arise naturally in other branches of mathematics, such as algebraic geometry, coding theory, combinatorics and number theory.

In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitely generated modules over a principal ideal domain (PID) can be uniquely decomposed in much the same way that integers have a prime factorization. The result provides a simple framework to understand various canonical form results for square matrices over fields.

In category theory, a branch of mathematics, a Krull–Schmidt category is a generalization of categories in which the Krull–Schmidt theorem holds. They arise, for example, in the study of finite-dimensional modules over an algebra.

In mathematics, the Krull–Schmidt theorem states that a group subjected to certain finiteness conditions on chains of subgroups, can be uniquely written as a finite direct product of indecomposable subgroups.

Module theory is the branch of mathematics in which modules are studied. This is a glossary of some terms of the subject.

In abstract algebra, a uniserial moduleM is a module over a ring R, whose submodules are totally ordered by inclusion. This means simply that for any two submodules N1 and N2 of M, either or . A module is called a serial module if it is a direct sum of uniserial modules. A ring R is called a right uniserial ring if it is uniserial as a right module over itself, and likewise called a right serial ring if it is a right serial module over itself. Left uniserial and left serial rings are defined in an analogous way, and are in general distinct from their right counterparts.

In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context.

In abstract algebra, a decomposition of a module is a way to write a module as a direct sum of modules. A type of a decomposition is often used to define or characterize modules: for example, a semisimple module is a module that has a decomposition into simple modules. Given a ring, the types of decomposition of modules over the ring can also be used to define or characterize the ring: a ring is semisimple if and only if every module over it is a semisimple module.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.