Local Noetherian domain

Definition
A local Noetherian domain is a commutative unital ring that is all of these: a Noetherian ring, a local ring, and an integral domain.

Stronger properties

 * Regular local ring
 * Local Cohen-Macaulay domain

Weaker properties

 * Equidimensional ring:
 * Local domain
 * Noetherian domain
 * Local Noetherian ring