Anillo de división

El ejemplo más sencillo de un anillo de división en el que no se cumple la propiedad conmutativa del producto es el anillo de los cuaterniones de Hamilton: el conjunto de elementos de la forma

${\displaystyle \alpha _{0}+\alpha _{1}i+\alpha _{2}j+\alpha _{3}k}$

donde ${\displaystyle \alpha _{0},\alpha _{1},\alpha _{2},\alpha _{3}\in R}$, y los elementos i, j y k se operan según las siguientes reglas:

${\displaystyle i^{2}=j^{2}=k^{2}=-1;\ \ ij=-ji=k;\ \ jk=-kj=i;\ \ ki=-ik=j}$

El centro C de un anillo de división A es un cuerpo. El centro de A contiene a los elementos que conmutan con cualquier elemento de A, y forma un subanillo que contiene elementos distintos de 0, puesto que expresamente contiene al elemento unidad. Los anillos de división se pueden clasificar según su dimensión sobre su centro ${\displaystyle [A:C]}$, cuando la dimensión es finita se dice que A es una extensión finita de C. Todo cuerpo es obviamente unidimensional.[1]

En el ejemplo del anillo de los cuaterniones reales, el centro está formado por todos los elementos de la forma ${\displaystyle \alpha _{0}+0i+0j+0k}$, y es por tanto isomorfo al cuerpo de los números reales. El anillo de los cuaterniones es cuatro-dimensional respecto de su centro.

• Teoría de anillos.
• Lema de Schur.

• Weisstein, Eric W. «Division Ring». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.