In commutative algebra, a regular local ring is a Noetherianlocal 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 by Krull's principal ideal theoremn = dim A, and A is defined to be regular if n = dim A.