In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let A be a Noetherian local ring with maximal ideal m, and suppose a1, ..., an is a minimal set of generators of m. Then in general n ≥ dim A, and A is defined to be regular if n = dim A.
The appellation regular is justified by the geometric meaning. A point x on a algebraic variety X is nonsingular if and only if the local ring of germs at x is regular. Regular local rings are not related to von Neumann regular rings.
Read more about Regular Local Ring: Characterizations, Examples, Basic Properties, Origin of Basic Notions
Famous quotes containing the words regular, local and/or ring:
“[I]n our country economy, letter writing is an hors d’oeuvre. It is no part of the regular routine of the day.”
—Thomas Jefferson (1743–1826)
“In everyone’s youthful dreams, philosophy is still vaguely but inseparably, and with singular truth, associated with the East, nor do after years discover its local habitation in the Western world. In comparison with the philosophers of the East, we may say that modern Europe has yet given birth to none.”
—Henry David Thoreau (1817–1862)
“I saw Eternity the other night,
Like a great ring of pure and endless light,”
—Henry Vaughan (1622–1695)