I'm just starting work on Boolean rings. I understand so far that if we have some commutative Boolean ring with unity, that for every we have .

I would think then that some ideal in would make the factor ring also boolean. How can I prove that this factor ring is also boolean?

As for maximals, how is it we would prove that every proper nontrivial prime ideal is maximal?