5
$\begingroup$

A ring $R$ is a Boolean ring if $x^2=x$ for all $x\in R$. By Stone representation theorem a Boolean ring is isomorphic to a subring of the ring of power set of some set.

My question is what is an example of a ring $R$ with $x^3=x$ for all $x\in R$ that is not a Boolean ring? (Obviously every Boolean ring satisfies this condition.)

  • 0
    You are right. I should have thought about that before I ask. Note that the same question can be asked for $x^n=x, n\ge 4$.2011-01-06

3 Answers 3

6

It is a theorem of Jacobson that any ring whose elements satisfy $x^n = x$ for a particular $n$ is commutative. For $n = 3$, if we restrict ourselves to examples of characteristic $3$ then I suspect all examples are given by the ring of continuous functions $T \to \mathbb{F}_3$ for a Stone space $T$ (I think you can more or less go through the proof of Stone's representation theorem). I do not know whether Mariano's example has characteristic $3$ or not.

Edit: some details. If $P$ is a prime ideal of a ring $R$ all of whose elements satisfy $x^n = x$, then $R/P$ is an integral domain with the same property. This implies that $R/P$ is a finite integral domain, hence a finite field $\mathbb{F}_q$. Hence all prime ideals of $R$ are maximal (so $R$ is zero-dimensional). Moreover, since $R$ has no nilpotents by assumption, its nilradical is zero, and since its nilradical coincides with its Jacobson radical, its Jacobson radical is zero. (So elements of $R$ are faithfully represented as functions on $\text{Spec } R$.)

The elements of any residue field $\mathbb{F}_q$ are all the roots of $x^q = x$, so we have $q - 1 | n - 1$. If we restrict to $n = p$ prime and require that $R$ has characteristic $p$, then $\mathbb{F}_p$ is the only possible residue field. It follows that $R$ embeds into the ring of continuous functions $\text{Spec } R \to \mathbb{F}_p$, where $\text{Spec } R$ is a Stone space, and from here (following, for example, the approach used in this blog post) I think we can show that $R$ is isomorphic to this ring.

More generally, $\text{Spec } R$ can be divided into subspaces according to residue field, and then $R$ embeds into a product of rings of the above form for the various possible $p$ (prime power instead of prime). I don't know if every example is of this form.

  • 0
    Right. Okay, so I'm not 100% convinced that Spec R is a Stone space (in particular I'm not quite sure whether it is Hausdorff) but I think I've edited this answer enough times already...2011-01-06
2

You can always pick a set $X$, consider the free $\mathbb Z$-algebra $A=\mathbb Z\langle X\rangle$, and divide by the ideal generated by all the elements $x^3-x$ for $x\in A$ to que a ring $B_X$, no?

(Since the quotient is going to be commutative, you can also start from the polynomial ring...)

To show that the resulting quotient is non-trivial, consider the many maps $B_X\to\mathbb Z_3$, which you get from functions $X\to\mathbb Z_3$. Indeed, for every example of a ring $R$ satisfying the condition, you can pick an $X$ and a surjective map $B_X\to R$. So these examples are universally complicated :)

Later: Notice that $\mathbb Z_6$ is an example of a ring satisfying the identity, so $B_X$ is not a product of copies of $\mathbb Z_3$.

  • 0
    Yes, but you need to show that the result isn't the trivial ring (which is Boolean!).2011-01-06
2

Actually, not only would $\mathbb{Z}_3$ work, but it's the only solution that's an integral domain not of characteristic 2 (since, in such a case, $x^3-x=0\,\Rightarrow\,x\in {0,1,-1}$).

Another solution would be $R:=\mathbb{Z}_3[\mathbb{Z}_2]$, the group ring of $\mathbb{Z}_3$ over $\mathbb{Z}_2$ (ie the ring of "polynomials" over $\mathbb{Z}_3$, except that exponents are in $\mathbb{Z}_2$). To see why, given an element $f(x)\in R$ with

$f(x)=a_0+a_1 x^{b_1} + \cdots + a_n x^{b_n}$

with $a_i\in \mathbb{Z}_3$ and $b_j \in \mathbb{Z}_2$. Since $R$ is a ring of characteristic 3, the Freshman's Dream implies that

$(f(x))^3=a_0^3+a_1^3 x^{3b_1} + \cdots + a_n^3 x^{3b_n} = a_0 + a_1 x^{b_1} + \cdots + a_n x^{b_n}=f(x)$.

In fact, by the same argument, if you're given any ring $T$ of characteristic 3 with $x^3=x$ for all $x\in T$, then $T[\mathbb{Z}_2]$ satisfies this property as well.

I can't think of another class of examples off the top of my head, but I'd be surprised if boolean rings and the class of examples above were the only examples of rings of this type.

EDIT: Yes, the solution of modding out a free algebra by an appropriate ideal would also work nicely.

  • 0
    Right you are. Good catch!2011-01-06