of generators of . Then Krull's principal ideal theorem implies that , and is regular whenever .

The concept is motivated by its geometric meaning. A point on an algebraic variety is nonsingular (a smooth point) if and only if the local ring of germs at is regular. (See also: regular scheme.)