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


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.


This remains to be defined. #731

Recent changes