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:
“The principal difference between love and hate is that love is a irradiation, and hate is a concentration. Love makes everything lovely; hate concentrates itself on the object of its hatred.”
—Sydney J. Harris (b. 1917)
“The contest between the Future and the Past is one between Divinity entering, and Divinity departing. You are welcome to try your experiments, and, if you can, to displace the actual order by that ideal republic you announce, of nothing but God will expel God.”
—Ralph Waldo Emerson (1803–1882)
“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)