 An ideal "m" is maximal if and only if "R" / "m" is a field.Except for the zero ring, any ring (with identity) possesses at least one maximal ideal; this follows from Zorn's lemma.A ring is called "Noetherian" (in honor of Emmy Noether, who developed this concept) if every ascending chain of ideals
becomes stationary, i.e.