Maximal ideals in 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