Algebras - xy is Quasi-Invertible IFF yx is Quasi-Invertible

Algebras - xy is Quasi-Invertible IFF yx is Quasi-Invertible

Proposition 3: Let $\mathfrak{A}$ be an algebra and let $x, y \in \mathfrak{A}$. Then:
a) $xy$ is left quasi-invertible if and only if $yx$ is left quasi-invertible.
b) $xy$ is right quasi-invertible if and only if $yx$ is right quasi-invertible.
  • Proof of a) Suppose that $xy$ is left quasi-invertible. Let $z$ be the left quasi-inverse of $xy$. Then $z \circ (xy) = 0$, that is:
(1)
\begin{align} \quad z + xy - zxy = 0 \end{align}
  • Multiplying the above equation on the left by $y$ gives us:
(2)
\begin{align} \quad yz + yxy - yzxy = 0 \end{align}
  • And multiplying the above equation on the right by $x$ gives us:
(3)
\begin{align} \quad yzx + yxyx - yzxyx &= 0 \\ \quad yzx -yzx(yx) + yxyx &= 0 \quad (*) \end{align}
  • We claim that $(yzx - yx)$ is a left quasi-inverse of $yx$. To see this, observe that:
(4)
\begin{align} \quad (yzx - yx) \circ (yx) &= (yzx - yx) + (yx) - (yxz - yx)(yx) \\ &=yzx -yxz(yx) + yx(yx) \\ & \overset{(*)} = 0 \end{align}
  • Thus $yx$ is left quasi-invertible and $(yzx - yx)$ is a left quasi-inverse of $yx$. The converse argument is essentially identical. $\blacksquare$
  • Proof of b) Suppose that $xy$ is right quasi-invertible with quasi-inverse $z$. Then $xy \cdot z = 0$. It can be shown (similarly to above) that then $yzx - yx$ is a right quasi-inverse of $yx$ and of course, the converse follows immediately. $\blacksquare$
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License