Noetherian local ring (source code)

= Noetherian local ring
{c}

A Noetherian local ring is a Noetherian ring with a unique maximal ideal.