Artinian local ring (source code)

= Artinian local ring
{c}

An Artinian local ring is an Artinian ring with a unique maximal ideal. Its maximal ideal is nilpotent.