‘Can you do Division? Divide a loaf by a knife—what’s the answer to that?’
Lewis Carroll, Alice in Wonderland.
Sean y
dos anillos de división y sea
una función inyectiva que es un morfismo de los grupos abelianos aditivos subyacentes y tal que para cada
se tiene que
.
Entonces es o bien un morfismo de anillos o bien un anti-morfismo de anillos.