Regular local ring (source code)

= Regular local ring
{wiki}

A Noetherian local ring $(R,\mathfrak m)$ is regular when the minimal number of generators of its <maximal ideal> equals its <Krull dimension>. Every regular local ring is an <integral domain> and a <unique factorization domain>.