En matemáticas , se dice que un anillo es un anillo Dedekind-finito si ab = 1 implica ba = 1 para cualesquiera dos elementos del anillo a y b . En otras palabras, todos los inversos unilaterales en el anillo son bilaterales.
Estos anillos también se han denominado anillos directamente finitos [1] y anillos finitos de von Neumann . [2]