Show that a ring $R$ is a division ring if and only if, for each nonzero $a\in R$, there is a unique element $b\in R$ such that $aba = a$.
In a ring $(A,+, \cdot)$ if $aba = a$ then $bab = b$ and all non zero elements in $A$ are invertible.