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 thing children are taught by hearing these lullabies is respect. They are taught to respect certain things in life and certain people. By giving respect, they hope to gain self-respect and through self-respect, they gain the respect of others. Self-respect is one of the qualities my people stress and try to nurture, and one of the controls an Indian has as he grows up. Once you lose your self-respect, you just go down.”
—Henry Old Coyote (20th century)
“For most Northerners, Texas is the home of real men. The cowboys, the rednecks, the outspoken self-made right-wing millionaires strike us as either the best or worst examples of American manliness.... The ideal is not an illusion nor is it contemptible, no matter what damage it may have done. Many people who scorn it in conversation want to submit to it in bed. Those who believe machismo reeks of violence alone choose to forget it once stood for honor as well.”
—Edmund White (b. 1940)
“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)