Maximal ideals in commutative rings

module commutative-algebra.maximal-ideals-commutative-rings where
Imports

Idea

Maximal ideals in a commutative ring A are proper ideals I such that any ideal J such that I ⊆ J satisfies 1 ∉ J ⇒ I = J.

Definition