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:
“We must reserve a back shop all our own, entirely free, in which to establish our real liberty and our principal retreat and solitude.”
—Michel de Montaigne (1533–1592)
“Our age is pre-eminently the age of sympathy, as the eighteenth century was the age of reason. Our ideal men and women are they, whose sympathies have had the widest culture, whose aims do not end with self, whose philanthropy, though centrifugal, reaches around the globe.”
—Frances E. Willard 1839–1898, U.S. president of the Women’s Christian Temperance Union 1879-1891, author, activist. The Woman’s Magazine, pp. 137-40 (January 1887)
“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)