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 2023-09-10.

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

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-03-21. Fredrik Bakke. Formatting fixes (#530).
• 2023-03-13. Jonathan Prieto-Cubides. More maintenance (#506).