A local ring is a ring that contains a single maximal
ideal. In this case, the Jacobson radical
equals this maximal ideal.
One property of a local ring
is that the subset
is precisely the set of ring units, where
is the maximal ideal. This
follows because, in a ring, any nonunit belongs to at least one maximal
ideal.