- Krull's theorem
In
mathematics , more specifically inring theory , Krull's theorem, named afterWolfgang Krull , proves the existence ofmaximal ideal s in any unitalcommutative ring . The theorem was first stated in 1929 and is equivalent to theaxiom of choice .Krull's theorem
Let "R" be a unital
commutative ring , which is not thetrivial ring . Then "R" contains a maximal ideal.The statement can be proved using Zorn's lemma, which in turn requires (or rather is equivalent to) the axiom of choice.
A slightly stronger result, which can be proved in a similar fashion, is as follows: Let "R" be a unital commutative ring which is not the trivial ring, and let "I" be a proper ideal of "R". Then there is a maximal ideal of "R" containing "I". Note that this result does indeed imply the previous theorem, by taking "I" to be the zero ideal (0).
Krull's Hauptidealsatz
Another theorem commonly referred to as Krull's theorem: Let be a Noetherian ring and an element of which is neither a zero divisor nor a unit. Then every minimal
prime ideal containing has height 1.References
* W. Krull, "Die Idealtheorie in Ringen ohne Endlicheitsbedingungen",
Mathematische Annalen 10 (1929), 729–744.
Wikimedia Foundation. 2010.