Properties of Boolean rings
Let
for every . - If
is a prime ideal then is a field with two elements (and in particular is maximal). - If
is the ideal generated by and then can be generated by the single element . Conclude that every finitely generated ideal is principal.
View code
Let $A$ be a commutative ring with unit. We call $A$ {\bfseries Boolean} if $a^2=a$ for every $a\in A$. Prove that in a Boolean ring $A$ each of the following holds:
\begin{enumerate}[label=(\alph*)]
\item $2a=0$ for every $a\in A$.
\item If $I$ is a prime ideal then $A/I$ is a field with two elements (and in particular $I$ is maximal).
\item If $I=(a,b)$ is the ideal generated by $a$ and $b$ then $I$ can be generated by the single element $a+b+ab$. Conclude that every finitely generated ideal is principal.
\end{enumerate}