Jabarkan Gelanggang lokal dari Gelanggang komutatif

Gelanggang disebut sebagai lokal jika hanya memiliki satu ideal maksimal tunggal, dilambangkan dengan m. Untuk setiap gelanggang (tidak lokal) R, maka