Prime ideals of a Boolean ring are maximal
ID: prime-ideals-of-a-boolean-ring-are-maximal
A nonzero Boolean integral domain has only the elements zero and one, so it is . The quotient criterion then makes every prime quotient of a Boolean ring a field, and every prime ideal maximal.
New to topics? Read the docs here!