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:
“This place is the Devil, or at least his principal residence, they call it the University, but any other appellation would have suited it much better, for study is the last pursuit of the society; the Master eats, drinks, and sleeps, the Fellows drink, dispute and pun, the employments of the undergraduates you will probably conjecture without my description.”
—George Gordon Noel Byron (1788–1824)
“If we love-and-serve an ideal we reach backward in time to its inception and forward to its consummation. To grow is sometimes to hurt; but who would return to smallness?”
—Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 3, ch. 3 (1962)
“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)