An Ideal is maximal if there is no s.t. and .
Proposition
Let be a proper Ideal.
Then is a Field iff is maximal.
Proof
is a field iff and are the only ideals of ,
which happens iff and are the only ideals in containing
i.e. is maximal.
Proposition
Every maximal ideal is a Prime Ideal.