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.