Dedekind-finite ring

In mathematics, a ring is said to be a Dedekind-finite ring if ab = 1 implies ba = 1 for any two ring elements a and b. In other words, all one-sided inverses in the ring are two-sided.

These rings have also been called directly finite rings and von Neumann finite rings.

Properties

 * Any finite ring is Dedekind-finite.
 * Any subring of a Dedekind-finite ring is Dedekind-finite.
 * Any domain is Dedekind-finite.
 * Any left Noetherian ring is Dedekind-finite.
 * A unit-regular ring is Dedekind-finite.
 * A local ring is Dedekind-finite.