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:
“As a Tax-Paying Citizen of the United States I am entitled to a voice in Governmental affairs.... Having paid this unlawful Tax under written Protest for forty years, I am entitled to receive from the Treasury of “Uncle Sam” the full amount of both Principal and Interest.”
—Susan Pecker Fowler (1823–1911)
“The unique eludes us; yet we remain faithful to the ideal of it; and in spite of sense and of our merely abstract thinking, it becomes for us the most real thing in the actual world, although for us it is the elusive goal of an infinite quest.”
—Josiah Royce (1855–1916)
“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)