5
$\begingroup$

Let $R$ be a (commutative or non-commutative) unital ring, fix $a \in R$, and denote by $r(\cdot)$ the right annihilator of an element.

Question. If $r(a)$ is a (right) direct summand of $R$ and $r(a) = r(a^2)$, does there exist an idempotent $e \in R$ such that $r(a) = eR$ and $r(1-a) \subseteq (1-e)R$?

It is obvious that $r(a) \cap r(1-a) = \{0\}$ and hence the sum $r(a) + r(1-a)$ is direct. Moreover, it is not difficult to check that $r(a) \oplus r(1-a) = r(a-a^2)$. So, we see that the answer to the question is yes when $R$ is a right Rickart ring, that is, a ring where every right annihilator is a direct summand: This is, in some sense, a trivial consequence of the definitions (let alone that it has nothing to do with the "if" clause of the question); however, it rules out a whole variety of potential counterexamples.

The answer is still yes for (commutative or non-commutative) local rings. In a way, the reason is once again trivial: If $R$ is local, then either $a$ is a unit and then $r(a) = \{0\}$ (so we can take $e = 0$); or $a = 0$ and then $r(a) = R$ and $r(1-a) = \{0\}$ (so we can take $e = 1$); or $a$ is a non-zero non-unit and then $r(a)$ is not a direct summand of $R$, or else $R$ would have an idempotent that is neither $0$ nor $1$ (which, in a local ring, is just impossible).

It is perhaps worth noting that $r(1-a) \subseteq aR$ and, if $r(a) = r(a^2)$, then $r(a) \cap aR = \{0\}$.

$\endgroup$
1

1 Answer 1

3
$\begingroup$

The answer is yes. Further, you don't need the condition $r(a)=r(a^2)$.

Given an idempotent $e\in R$ such that $r(a)=eR$, let $e'=e(1-a)$. It is easy to check that, since $ae=0$, we have $e'^2=e'$. Also $eR=e'R$ since $e'=ee'$ and $e=e'e$. Finally, if $(1-a)x=0$ then $(1-e')x=[1-e(1-a)]x=x$, so $r(1-a)$ is contained in $(1-e')R$.

$\endgroup$
1
  • $\begingroup$ This is awesome and will make a certain result look much smoother than it did so far. Thanks! (Somehow, I hadn't realized to have missed to include the condition that $r(a)$ is a direct summand in the title, so now I'll fix it.) $\endgroup$ Commented Jun 10, 2021 at 3:35

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .