semi-local ring
A ring is semi-local if is an Artinian ring, where denotes the Jacobson radical of . In the case that is commutative
, this reduces to the definition that is semi-local if has finitely many maximal ideals
. Note that finite rings are trivially semi-local.