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 (Satz meaning "theorem").
Formally, if R is a Noetherian ring and I is a principal, proper ideal of R, then I has height at most one.
This theorem can be generalized to ideals that are not principal, and the result is often called Krull's height theorem. This says that if R is a Noetherian ring and I is a proper ideal generated by n elements of R, then I has height at most n.
Famous quotes containing the words principal, ideal and/or theorem:
“I cannot believe that our factory system is the best mode by which men may get clothing. The condition of the operatives is becoming every day more like that of the English; and it cannot be wondered at, since, as far as I have heard or observed, the principal object is, not that mankind may be well and honestly clad, but, unquestionably, that the corporations may be enriched.”
—Henry David Thoreau (1817–1862)
“He who wishes to teach us a truth should not tell it to us, but simply suggest it with a brief gesture, a gesture which starts an ideal trajectory in the air along which we glide until we find ourselves at the feet of the new truth.”
—José Ortega Y Gasset (1883–1955)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)