Ring of real-valued convergent sequences

Here is a fun and challenging problem:

Let $R$ denote the ring of real-valued convergent sequences and let $S$ denote the ring of real-valued sequences. Prove or disprove that $S\cong R$.

The cardinality of these two rings are the same (see Asaf's answer here), but I somewhat doubt the existence of a bijection that would preserve the ring structure.

I would appreciate some hints.

Source: This is the last problem in this homework sheet (as you see, the deadline is long past).


Solution 1:

Recall that a ring element $r$ is idempotent if $r^2=r$.

The ring $R$ of convergent sequences has only countably many idempotents. For a sequence $(x_n)$ is idempotent precisely if any $x_i$ is $0$ or $1$. If the idempotent sequence $(x_n)$ converges, all but finitely many of the $x_i$ are $0$, or all but finitely many are $1$.

The ring $S$ of all sequences has uncountably many idempotents.

Thus $R$ and $S$ cannot be isomorphic.

Remark: The property of having only countably many idempotents is not expressible in the first-order language of rings. It would be interesting to know whether $R$ and $S$ are elementarily equivalent.