Maximal ideals of commutative rings

Content created by Fredrik Bakke, Egbert Rijke, Jonathan Prieto-Cubides and Maša Žaucer.

Created on 2022-05-24.
Last modified on 2023-09-10.

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


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.


This remains to be defined. #731

Recent changes