Definition: For all $a$ in $R$ there exists an $x\in R$ and a natural number $n$ such that $(a^n)x(a^n)=a^n$