Noetherian local ring

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).