Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
finite abelian groups
finite direct sums of indecomposable objects modules of finite length |
| gptkbp:field |
abstract algebra
group theory module theory |
| gptkbp:namedAfter |
gptkb:Wolfgang_Krull
gptkb:Otto_Schmidt gptkb:Robert_Remak |
| gptkbp:publishedIn |
gptkb:Mathematische_Annalen
|
| gptkbp:relatedTo |
direct sum decomposition
indecomposable module uniqueness of decomposition |
| gptkbp:sentence |
Any two decompositions of a finite-length module (or group) into indecomposable submodules (or subgroups) are equivalent up to isomorphism and order.
|
| gptkbp:yearProved |
1920s
|
| gptkbp:bfsParent |
gptkb:commutative_algebra
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Krull–Remak–Schmidt theorem
|