« Home

Definition. maximal ideal [math-0013]

A maximal ideal AA of a commutative ring RR is a proper ideal of RR such that, whenever BB is an ideal of RR and ABRA \subset B \subset R , then B=AB = A or B=RB = R .

An equivalent condition is R/AR / A is a field if and only if AA is maximal.