Пусть — коммутативное ассоциативное кольцо с единицей.
Определение 1. Ненулевое кольцо , обладающее единственным максимальным идеалом называется локальным1).
Пример 1. Локальное кольцо кольца .