Local ring (source code)

= Local ring
{wiki}

A local ring is a <commutative ring> with exactly one maximal ideal.