A ring A {\displaystyle A} is said to be a local ring if it has a unique maximal ideal m {\displaystyle m} . It is said to be semi-local if it has finitely many maximal ideals.
