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:
“With a balanced combination of the two principal energies from mother and father, a girl can both be in touch with her womanly strengths and be a powerful force in the world—strong and nurturing, decisive and caring, goal- oriented and aware of the needs of others. She has the courage to voice what she thinks and feels and the strength to follow her destiny.”
—Jeanne Elium (20th century)
“The ideal of brotherhood of man, the building of the Just City, is one that cannot be discarded without lifelong feelings of disappointment and loss. But, if we are to live in the real world, discard it we must. Its very nobility makes the results of its breakdown doubly horrifying, and it breaks down, as it always will, not by some external agency but because it cannot work.”
—Kingsley Amis (1922–1995)
“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)