Maximal ideals of rings

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

Created on 2022-05-24.
Last modified on 2025-10-31.

module ring-theory.maximal-ideals-rings where

Idea

A maximal ideal^¶ in a ring R is a proper ideal I of R such that for any ideal J containing I is either I or the entire ring R.

Definition

This remains to be defined. #731

External links

• Maximal ideal at Wikidata

Recent changes

• 2025-10-31. Fredrik Bakke. chore: Concepts in ring-theory (#1655).
• 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-03-21. Fredrik Bakke. Formatting fixes (#530).