A ring is semilocal when its quotient by the Jacobson radical is a semisimple ring that is Artinian. Equivalently, that quotient is a right Artinian ring: it has zero Jacobson radical, and the Artinian structure theorem makes it semisimple. A commutative ring is semilocal exactly when it has finitely many maximal ideals.
A **semi-local ring** is a concept in commutative algebra that generalizes some ideas of local rings. A ring \( R \) is called a semi-local ring if it has a finite number of maximal ideals. This means that the set of maximal ideals of \( R \) is not necessarily just one (as in the case of local rings), but consists of a finite collection of such ideals.
New to topics? Read the docs here!