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

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

Recent changes

• 2023-09-10. Fredrik Bakke. Link issues to unfinished sections (#732).
• 2023-06-08. Egbert Rijke, Maša Žaucer and Fredrik Bakke. The Zariski locale of a commutative ring (#619).
• 2023-05-28. Fredrik Bakke. Enforce even indentation and automate some conventions (#635).
• 2023-05-04. Egbert Rijke. Cleaning up commutative algebra (#589).
• 2023-03-21. Fredrik Bakke. Formatting fixes (#530).