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:
“Today, only a fool would offer herself as the singular role model for the Good Mother. Most of us know not to tempt the fates. The moment I felt sure I had everything under control would invariably be the moment right before the principal called to report that one of my sons had just driven somebody’s motorcycle through the high school gymnasium.”
—Mary Kay Blakely (20th century)
“It’s an ideal house for delirium tremens.”
—Dodie Smith, and Lewis Allen. Rick Fitzgerald (Ray Milland)
“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)