Regular element of a ring (source code)

= Regular element of a ring
{title2=$cr=0\text{ or }rc=0\implies r=0$}

= Regular elements of a ring
{synonym}

A regular element of a <ring> is a two-sided <non-zero-divisor>. The two cancellation conditions must both hold in a <noncommutative ring>. Products of regular elements remain regular.