This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Maximal ideals of rings

module ring-theory.maximal-ideals-rings where
Imports

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