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:
“For me, the principal fact of life is the free mind. For good and evil, man is a free creative spirit. This produces the very queer world we live in, a world in continuous creation and therefore continuous change and insecurity. A perpetually new and lively world, but a dangerous one, full of tragedy and injustice. A world in everlasting conflict between the new idea and the old allegiances, new arts and new inventions against the old establishment.”
—Joyce Cary (1888–1957)
“I’m no idealist to believe firmly in the integrity of our courts and in the jury system—that is no ideal to me, it is a living, working reality. Gentlemen, a court is no better than each man of you sitting before me on this jury. A court is only as sound as its jury, and a jury is only as sound as the men who make it up.”
—Harper Lee (b. 1926)
“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)