Boolean algebras
A Boolean algebra is a ring
for all . - Every prime ideal
is maximal, and is a field with two elements.
View code
A {\bfseries Boolean algebra} is a ring $A$ with $1$ satisfying $x^2=x$ for all $x\in A$. Prove that in a Boolean algebra $A$:
\begin{enumerate}[label=\alph*)]
\item $2x=0$ for all $x\in A$.
\item Every prime ideal $\mathfrak{p}$ is maximal, and $A/\mathfrak{p}$ is a field with two elements.
\end{enumerate}