Krull's theorem

Krull's theorem

In mathematics, more specifically in ring theory, Krull's theorem, named after Wolfgang Krull, proves the existence of maximal ideals in any unital commutative ring. The theorem was first stated in 1929 and is equivalent to the axiom of choice.

Krull's theorem

Let "R" be a unital commutative ring, which is not the trivial 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 R be a Noetherian ring and a an element of R which is neither a zero divisor nor a unit. Then every minimal prime ideal P containing a has height 1.

References

* W. Krull, "Die Idealtheorie in Ringen ohne Endlicheitsbedingungen", Mathematische Annalen 10 (1929), 729–744.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Krull-Schmidt theorem — In mathematics, the Krull Schmidt theorem states that a group G, subjected to certain finiteness conditions of chains of subgroups, can be uniquely written as a finite direct product of indecomposable subgroups.DefinitionsWe say that a group G… …   Wikipedia

  • Krull — The term Krull can refer to:* Felix Krull, the title character in Thomas Mann s book The Confessions of Felix Krull, Confidence Man: The Early Years * Krull , a 1983 heroic fantasy film ** Krull (video game), the arcade, Atari and pinball… …   Wikipedia

  • Krull's principal ideal theorem — In commutative algebra, Krull s principal ideal theorem, named after Wolfgang Krull (1899 1971), gives a bound on the height of a principal ideal in a Noetherian ring. The theorem is sometimes referred to by its German name, Krulls Hauptidealsatz …   Wikipedia

  • Wolfgang Krull — (26 August 1899 12 April 1971) was a German mathematician, working in the field of commutative algebra. He was born in Baden Baden, Germany and died in Bonn, Germany. See also * Krull dimension * Krull topology * Krull s intersection theorem *… …   Wikipedia

  • Structure theorem for finitely generated modules over a principal ideal domain — In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that… …   Wikipedia

  • Schmidt's theorem — In mathematics, Schmidt s theorem may refer to * the Krull Schmidt theorem * Wolfgang M. Schmidt s subspace theorem …   Wikipedia

  • Chebotarev's density theorem — in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field Q of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic… …   Wikipedia

  • Principal ideal theorem — This article is about the Hauptidealsatz of class field theory. You may be seeking Krull s principal ideal theorem, also known as Krull s Hauptidealsatz, in commutative algebra In mathematics, the principal ideal theorem of class field theory, a… …   Wikipedia

  • Lasker–Noether theorem — In mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be written as an intersection of finitely many primary ideals (which are related to, but not quite the same as, powers …   Wikipedia

  • Fundamental theorem of Galois theory — In mathematics, the fundamental theorem of Galois theory is a result that describes the structure of certain types of field extensions.In its most basic form, the theorem asserts that given a field extension E / F which is finite and Galois,… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”