Non zero-divisor that divides a unit is a unit > Let $R$ be a ring with unity and $a, b \in R$. Assume $a$ and $b$ are not zero divisors. Show that $a$ and $b$ are units, if $ab$ is a unit. Clearly, $a$ has a right inverse etc., but $R$ is not required to be commutative. Evidently, it's necessary to use the condition that the elements are not zero divisors, but I'm not getting anywhere.

Since $ab$ is a unit, there is an element $c\in R$ such that $abc=1=cab$. To show that $a$ is a unit, it is enough to show that $bca=1$, for then $bc$ is both a left and right inverse of $a$.

Starting with $abc=1$ and multiplying both sides on the right by $a$, we obtain $abca=a$, or $a(bca-1)=0$. Since $a$ is not a zero divisor, this implies that $bca=1$.

A similar argument, starting with $cab=1$, shows that $b$ is also a unit.