Namespaces
Variants
Actions

Difference between revisions of "Krull-Remak-Schmidt theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559201.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559202.png" /> admits a [[Principal series|principal series]], then any two decompositions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559203.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559204.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559205.png" /> are corresponding factors, there exists an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559206.png" /> such that, for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559207.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559208.png" /> lies in the centre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k0559209.png" /> ([[#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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592010.png" /> is indecomposable if its endomorphism ring is local (see [[Local ring|Local ring]]), and under certain restrictions (e.g. if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592011.png" /> 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
+
<!--
 +
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.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592012.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
where the endomorphism rings of the modules <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592014.png" /> 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.
+
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====
 
====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>
 
<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====
 
====Comments====
 
Instead of Krull–Remak–Schmidt theorem one also finds Krull–Schmidt theorem.
 
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592015.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592016.png" />. 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 ideals. Here an intersection of primary ideals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592017.png" /> is irredundant if none of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592018.png" /> contains an intersection of the others and if the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592019.png" /> have distinct associated prime ideals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592020.png" />. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592021.png" /> are then uniquely determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k055/k055920/k05592022.png" />, [[#References|[a1]]]. (Cf. also [[Lasker ring|Lasker ring]].)
+
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]]].
 
For an axiomatic approach to decomposition theories cf. [[#References|[a2]]].

Latest revision as of 22:15, 5 June 2020


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). 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 [2], and W. Krull — for rings [1]): If $ G $ admits a 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 $([3], see also [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), 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

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

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 ideals. 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 $, [a1]. (Cf. also Lasker ring.)

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

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

References

[a1] O. Zariski, P. Samuel, "Commutative algebra" , 1 , v. Nostrand (1958) pp. Chapt. IV, §4–5
[a2] J.A. Riley, "Axiomatic primary and tertiary decomposition theory" Trans. Amer. Math. Soc. , 105 (1962) pp. 177–201
[a3] N. Popescu, "Abelian categories with applications to rings and modules" , Acad. Press (1973) pp. Chapt. V
How to Cite This Entry:
Krull-Remak-Schmidt theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Krull-Remak-Schmidt_theorem&oldid=22673
This article was adapted from an original article by L.A. Skornyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article