# Reversible Rings

Let $A$ be a ring and $I_0\supset I_1\supset I_2\supset\ldots$ a decreasing sequence of ideals. Let $R_i=A/I_i$ be the factor ring of $A$ by the ideal $I_i.$ Let $f_i:R_{i+1}\rightarrow R_i$ be the canonical homomorphism. Denote by $R$ the inverse limite of the sequence $(R_i, f_i)$. Suppose that $R$ is a reversible ring, that is, for $a, b\in R$ we have $ab=0\Rightarrow ba=0$. It is true that each ring $R_i$ is also reversible?

-
In the special case $I_1=0$ you ask: If $R$ is reversible, is then also $R/I$ reversible? And this doesn't seem to have a chance to be true. – Martin Brandenburg Jun 23 '12 at 19:04
Thank you. In fact it is obvious that $R/I$ is not necessarily reversible if $R$ is. – zacarias Jun 23 '12 at 21:28

Following on from Martin Brandenburg's remark, to answer the question in the negative it is enough to find a ring $R$ with no zero-divisors which has a non-reversible ring ($S$, say) as a proper homomorphic image.
For a concrete example, we can take $R$ to be the universal enveloping algebra of $\mathfrak{sl}_2(\mathbb{C})$ and $S$ the ring of $2 \times 2$ matrices over $\mathbb{C}$. Since $R$ has an irreducible two-dimensional module (the natural representation of $\mathfrak{sl}_2$), there is a surjection $R \twoheadrightarrow S$. Then $R$ is a domain, hence reversible, and $S$ is a simple ring with zero divisors, hence non-reversible.
Indeed, if $e_{ij} \in S$ are the standard matrix units, then $e_{12}e_{11} = 0$ whilst $e_{11}e_{12} \neq 0$.