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:
“It was inspiriting to hear the regular dip of the paddles, as if they were our fins or flippers, and to realize that we were at length fairly embarked. We who had felt strangely as stage-passengers and tavern-lodgers were suddenly naturalized there and presented with the freedom of the lakes and woods.”
—Henry David Thoreau (1817–1862)
“Savages cling to a local god of one tribe or town. The broad ethics of Jesus were quickly narrowed to village theologies, which preach an election or favoritism.”
—Ralph Waldo Emerson (1803–1882)
“The boxer’s ring is the enjoyment of the part of society whose animal nature alone has been developed.”
—Ralph Waldo Emerson (1803–1882)