A maximal ideal is any proper ideal I s.t. there is no I<J<A Results An ideal is maximal iff A/I has no non-zero proper ideals.