Regular local ring
= 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>.