Krull–Schmidt theorem

Krull–Schmidt theorem
Name	Krull–Schmidt theorem
Field	Algebra
Contributors	Wolfgang Krull; Otto Schmidt
Year	1920s

Krull–Schmidt theorem is a fundamental result in the theory of modules and representation theory asserting uniqueness of direct-sum decompositions into indecomposable summands under suitable finiteness conditions. The theorem connects structural properties studied in works by Emmy Noether, Emil Artin, David Hilbert, Oscar Zariski, and Richard Brauer to classification techniques used in contexts related to Claude Chevalley, Alexander Grothendieck, Jean-Pierre Serre, and Israel Gelfand. It underpins methods that appear in the literature of John von Neumann, André Weil, Hermann Weyl, and Emil Fischer.

Statement

In its classical module-theoretic form, the Krull–Schmidt theorem states that for a module over a ring satisfying finiteness hypotheses introduced by Wolfgang Krull and studied by Otto Schmidt, any decomposition into indecomposable modules is unique up to order and isomorphism. The precise hypotheses often involve conditions such as the module being finite-length or the endomorphism rings of indecomposable summands being local, notions developed in the works of Noether and Artin. Related uniqueness statements are invoked in papers by Issai Schur, Richard Brauer, Nathan Jacobson, and Emil Post when classifying representations of algebras arising in the studies of Hermann Minkowski and Ferdinand Frobenius.

Historical background

Origins trace to investigations in the 1920s and 1930s by Wolfgang Krull and Otto Schmidt into decomposition of modules and ideals, building on foundations by Emmy Noether and Emil Artin. Subsequent development involved contributions from Emil Artin and Issai Schur in representation theory, and later formalization by Nathan Jacobson and Richard Brauer in the context of associative algebras and group representations, which linked to problems studied by Camille Jordan and Ferdinand Frobenius. Mid-20th century expositions by Jacobson, Pierre Samuel, and Jean-Pierre Serre integrated the theorem into the frameworks advanced by Alexander Grothendieck and André Weil, influencing classification problems connected to work by David Hilbert and John von Neumann.

Proofs and methods

Standard proofs use induction on length combined with properties of local endomorphism rings, techniques familiar from arguments by Nathan Jacobson and Emil Artin. Alternative approaches employ Krull–Remak–Schmidt methods, which were refined in expositions by Wolfgang Krull and later surveyed by Claude Chevalley, Jean-Pierre Serre, and Alexander Grothendieck. Categorical perspectives invoking additive categories and idempotent lifting are informed by concepts from Samuel Eilenberg and Saunders Mac Lane, while homological proofs reference ideas of Henri Cartan, Samuel Eilenberg, and Jean Leray. Contemporary treatments relate to decomposition theorems used by William Fulton and Joe Harris in geometric representation contexts influenced by André Weil.

Applications and examples

The theorem is used to classify finite abelian groups in the spirit of Leopold Kronecker and Carl Friedrich Gauss, to analyze module categories of Artinian rings studied by Emil Artin and Richard Brauer, and to decompose representations of finite groups as in work by Ferdinand Frobenius and Issai Schur. In algebraic geometry contexts echoing Alexander Grothendieck and Jean-Pierre Serre, analogous uniqueness phenomena aid in decomposing vector bundles and coherent sheaves considered by Oscar Zariski and David Mumford. In the representation theory of quivers, building on contributions by Pierre Gabriel and Dietrich Burde, Krull–Schmidt statements classify indecomposable representations studied alongside research by Hyman Bass and Masayoshi Nagata.

Generalizations and variants

Variants extend the classical statement to additive categories, triangulated categories, and derived categories appearing in the work of Alexander Grothendieck, Jean-Pierre Serre, Verdier, and Grothendieck–Verdier frameworks; related uniqueness properties are considered by Amnon Neeman and Bernhard Keller. The theorem has analogues in the settings of exact categories and Krull–Schmidt categories as formalized by Max Karoubi and Henning Krause, and interacts with decomposition results appearing in the literature of William Crawley-Boevey and Markus Reineke on quiver moduli. Homotopical and higher-categorical variants connect to research programs by Jacob Lurie and André Joyal.

Counterexamples and limitations

Failures of Krull–Schmidt occur when finiteness or local endomorphism hypotheses are absent; classic counterexamples are constructed within modules over non-Artinian rings and in certain infinite-length contexts examined by Hyman Bass and Nathan Jacobson. Pathologies arise in additive categories lacking idempotent completeness, issues highlighted by Jean-Pierre Serre and Alexander Grothendieck in categorical foundations, and in infinite direct-sum situations considered by John von Neumann and Marshall Stone. Modern literature by Henning Krause and Bernhard Keller documents precise boundaries of validity and constructs explicit non-unique decompositions related to earlier examples of Gunnar Bergman and Vaughan Jones.

Category:Theorems in algebra