This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.
Maximal ideals of 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
This remains to be defined. #731