Noetherian local ring
This article defines a property that can be evaluated for a local ring
View other properties of local rings
Definition
A Noetherian local ring (or local Noetherian ring) is a commutative unital ring that is both a Noetherian ring (i.e. every ideal is finitely generated) and a local ring (i.e. there is a unique maximal ideal).