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.