Krull's theorem

Krull's theorem
Name	Krull's theorem
Field	Commutative algebra
Discovered	1929
Discoverer	Wolfgang Krull
Related	Krull dimension, Krull–Schmidt theorem, Zorn's lemma

Krull's theorem Krull's theorem is a foundational result in commutative algebra establishing that every nontrivial commutative ring with unity has a maximal ideal under mild hypotheses, and more generally that certain partially ordered sets admit maximal elements; it underpins existence arguments across algebraic geometry, number theory, and module theory. The theorem links structural properties of rings with set-theoretic selection principles and has guided developments involving Hilbert's Nullstellensatz, Noetherian rings, and the structure theory of Dedekind domains.

Statement

In its classical algebraic form, Krull's theorem asserts that for a commutative ring R with 1, every proper ideal is contained in a maximal ideal; equivalently, the set of proper ideals of R, partially ordered by inclusion, has a maximal element. A closely related formulation states that any nonzero ring has a maximal ideal. In a more abstract order-theoretic guise, Krull's theorem is equivalent to the assertion that every inductive partially ordered set (chain-complete) has a maximal element, a statement deeply connected to Zorn's lemma and, via equivalences, to Axiom of Choice and Hausdorff maximal principle.

Historical context and motivation

Wolfgang Krull formulated the result in the late 1920s within the evolving program of modern algebra alongside figures such as Emmy Noether, David Hilbert, Richard Dedekind, and Emil Artin. The theorem was motivated by problems in algebraic number theory concerning ideals in Dedekind domains and by structural questions in the emerging field of commutative algebra that influenced later work by Oscar Zariski and Pierre Samuel. The order-theoretic perspective intersects with set-theoretic advances driven by Ernst Zermelo and John von Neumann and informed contemporaneous developments like Zermelo–Fraenkel set theory and debates around the Axiom of Choice.

Proof outline and key lemmas

Standard proofs of Krull's theorem use Zorn's lemma or equivalent maximality principles such as the Hausdorff maximal principle. The proof strategy: consider the partially ordered set of proper ideals of R, show every totally ordered subset (chain) has an upper bound given by the union, then invoke Zorn to obtain a maximal element. Key lemmas used in variations include chain-union closure lemmas familiar in treatments by Emmy Noether and compactness arguments paralleling techniques in Errett Bishop's constructive analyses. Alternative proofs relate Krull's theorem to algebraic geometry via Hilbert's Nullstellensatz when R is a finitely generated algebra over a field, or reduce existence of maximal ideals to existence of ultrafilters using results developed by A. H. Stone and Marshall H. Stone.

Applications and consequences

Krull's theorem is a lynchpin in proofs of foundational results: it guarantees existence of maximal ideals used in constructing residue fields in algebraic geometry and in establishing Hilbert's Nullstellensatz for affine varieties as treated by Oscar Zariski and Jean-Pierre Serre. It underlies structure theorems for Noetherian rings and Dedekind domains prominent in the work of Emil Artin and Richard Dedekind. The theorem plays a role in module theory results such as the Krull–Schmidt theorem (named after Krull and Otto Schmidt) and in localization techniques central to Alexander Grothendieck's development of scheme theory. In functional analysis, related maximal ideal existence arguments connect to the Gelfand representation for commutative Banach algebras studied by Israel Gelfand and Marshall Stone, and in model theory Krull-type maximality principles inform ultraproduct constructions employed by Jerzy Łoś.

Examples and counterexamples

Examples showcasing Krull's theorem include the ring of integers Z with maximal ideals generated by primes, aligning with results of Carl Friedrich Gauss and Ernst Kummer in number theory. Polynomial rings such as k[x] over a field k have maximal ideals corresponding to evaluations at algebraic points, a viewpoint common to Niels Henrik Abel's and Évariste Galois's successors in algebraic theory. Constructive and choice-free contexts provide counterexamples to straightforward existence claims: within frameworks rejecting the Axiom of Choice or in certain topos-theoretic settings influenced by William Lawvere and F. W. Lawvere's students, maximal ideals need not exist, illustrating dependence on set-theoretic axioms studied by Paul Cohen and Solomon Feferman.

Variants and generalizations

Variants of Krull's theorem include forms for noncommutative rings, adaptations to modules (existence of maximal submodules), and topological analogues such as maximal ideals in Banach algebras or C*-algebras examined by Israel Gelfand and John von Neumann. Generalizations leverage transfinite induction and Zorn-equivalent principles used by Kurt Gödel in set theory, and categorical formulations appear in the work of Alexander Grothendieck and Samuel Eilenberg relating maximal objects to representability and adjoint functor theorems. Further developments connect Krull-type maximality to dimension theory via the concept of Krull dimension introduced by Krull and extended by Oscar Zariski and Pierre Samuel.

Category:Commutative algebra