View source for Krull-Remak-Schmidt theorem

<!--
k0559201.png
$#A+1 = 22 n = 0
$#C+1 = 22 : ~/encyclopedia/old_files/data/K055/K.0505920 Krull\ANDRemak\ANDSchmidt theorem
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A series of propositions concerning the relationship between direct decompositions of a group or a ring. The lattice-theoretical version of the result is known as Ore's theorem (see [[Modular lattice|Modular lattice]]). For a group  $  G $
with an arbitrary system of operators, one has the following theorem of Schmidt (R. Remak proved the result for finite groups [[#References|[2]]], and W. Krull — for rings [[#References|[1]]]): If  $  G $
admits a [[Principal series|principal series]], then any two decompositions of  $  G $
as a direct product with indecomposable factors are centrally isomorphic, i.e. there is a one-to-one correspondence between the sets of factors of each of the decompositions, and, if  $  A $
and  $  A  ^  \prime  $
are corresponding factors, there exists an isomorphism  $  \phi :  A \rightarrow A  ^  \prime  $
such that, for each  $  a \in A $, 
$  a  ^ {-} 1 \phi ( a) $
lies in the centre of  $  G $([[#References|[3]]], see also [[#References|[4]]]). Schmidt's theorem, as a theorem for groups with operators is, in particular, valid for modules over any ring. However, a module  $  M $
is indecomposable if its endomorphism ring is local (see [[Local ring|Local ring]]), and under certain restrictions (e.g. if  $  M $
is a module of finite length) the converse is also true. In this connection, the Krull–Remak–Schmidt theorem for modules may be formulated as follows: Two decompositions

$$ 
M  =  \sum M _ {i}  =  \sum M _ {j} ^ { \prime } ,
$$

where the endomorphism rings of the modules  $  M _ {i} $
and  $  M _ {j} ^ { \prime } $
are local, are isomorphic. Moreover, each term in one of the decompositions may be replaced by some term of the other. In some cases this replacement may also be done for an infinite set of terms. A category-theoretic approach has been developed to investigate questions connected with the Krull–Remak–Schmidt theorem; it uses the category of submodules of direct sums of the modules in question.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  W. Krull,   "Algebraische Theorie der Ringe II"  ''Math. Ann.'' , '''91'''  (1924)  pp. 1–46</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Remak,   "Ueber die Zerlegung der endlichen Gruppen in direkte unzerlegbare Faktoren"  ''J. Reine Angew. Math.'' , '''139'''  (1911)  pp. 293–308</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  O.J. Schmidt,   "Ueber unendliche Gruppen mit endlicher Kette"  ''Math. Z.'' , '''29'''  (1929)  pp. 34–41</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A.G. Kurosh,   "The theory of groups" , '''1–2''' , Chelsea  (1955–1956)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J. Lambek,   "Lectures on rings and modules" , Blaisdell  (1966)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  C. Faith,   "Algebra: rings, modules and categories" , '''1–2''' , Springer  (1973–1976)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  ''Itogi Nauk. i Tekhn. Algebra. Topol. Geom.'' , '''14'''  (1976)  pp. 57–190</TD></TR></table>

====Comments====
Instead of Krull–Remak–Schmidt theorem one also finds Krull–Schmidt theorem.

The Euclidean decomposition theorem, so to speak, says that every natural number is a unique-up-to-permutation-of-the-factors product of prime powers. This fits into the present context by observing that if  $   \mathop{\rm gcd} ( m , n ) = 1 $, 
then  $  \mathbf Z / ( m n ) = \mathbf Z / ( n) \oplus \mathbf Z / ( m) $. 
The Lasker–Noether theorem generalizes this to state that in a commutative Noetherian ring with unit element every ideal is a finite irredundant intersection of [[primary ideal]]s. Here an intersection of primary ideals  $  \mathfrak a = \cap \mathfrak a _ {i} $
is irredundant if none of the  $  \mathfrak a _ {i} $
contains an intersection of the others and if the  $  \mathfrak a _ {i} $
have distinct associated prime ideals  $  {\mathcal p} _ {i} $. 
The  $  {\mathcal p} _ {i} $
are then uniquely determined by  $  \mathfrak a $, 
[[#References|[a1]]]. (Cf. also [[Lasker ring|Lasker ring]].)

For an axiomatic approach to decomposition theories cf. [[#References|[a2]]].

A natural setting for decomposition theories in Abelian categories are the so-called locally co-irreducible categories. Cf. [[#References|[a3]]] for a discussion of these and their relation with Krull–Remak–Schmidt–Gabriel decomposition and tertiary decomposition for non-commutative Noetherian rings.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  O. Zariski,   P. Samuel,   "Commutative algebra" , '''1''' , v. Nostrand  (1958)  pp. Chapt. IV, §4–5</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.A. Riley,   "Axiomatic primary and tertiary decomposition theory"  ''Trans. Amer. Math. Soc.'' , '''105'''  (1962)  pp. 177–201</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  N. Popescu,   "Abelian categories with applications to rings and modules" , Acad. Press  (1973)  pp. Chapt. V</TD></TR></table>