59

Abstraction and Application, Vol. 1, (2009), 59-71.

El teorema de Wedderburn para anillos de divisi

on finitos
Roger Pacheco, Efren Perez*
Facultad de Ingeniera, Facultad de Matematicas

Universidad Autonoma de Yucatan

*jperezt@uady.mx
Abstract

The proof of the classical Wedderburns theorem on finite division rings is motivated through abstract
algebra exercises.
Resumen
Uno de los teoremas de Wedderburn nos dice que si D es un anillo de divisi
on finito entonces D es
un campo; en este escrito motivamos dicho resultado resolviendo ejercicios cl
asicos de
algebra moderna
y desarrollamos con detalle una prueba del teorema de Wedderburn.

Keywords and phrases : Anillos de divisi

on finitos, campos, anillos con potencia, conmutatividad, Wedderburn.
2010 M athematics Subject Classif ication 1600, 1601.

1.

Introducci
on

Uno de los algebristas m

as importantes de la historia fue el escoces Joseph Henry MacLagan Wedderburn (2 de febrero de 1882 - 9 de octubre de 1948). Entre sus principales resultados ([MH]) estan una
parte del conocido Teorema de Wedderburn-Artin acerca de algebras semi-simples, el Teorema principal de
Wedderburn (de acuerdo con [Ro]) que nos dice que si R es una kalgebra de dimension finita con k un
campo perfecto entonces R
= S rad(R) como S Sbimodulos y S una kalgebra semisimple, as como
el teorema que queremos mostrar en este texto, el cual tambien puede ser encontrado con el nombre de
Teorema peque
no de Wedderburn. Ademas Jacobson [Ja] menciona que Wedderburn creo los anillos de
polinomios oblicuos (skew polynomial rings) al mismo tiempo que Oystein Ore [O].
Es interesante que Nathan Jacobson, precisamente el creador del radical de Jacobson, fue el alumno mas
famoso de Wedderburn (ver [MGP]).
Uno de los alumnos de Jacobson fue Louis Halle Rowen cuyos libros Ring Theory siguen siendo una
referencia obligada.
El teorema de Wedderburn de 1905 (ver [M]) establece que todo anillo de division finito es un campo; a
primera vista es curioso que la finitud y la posibilidad de dividir por elementos distintos de cero impliquen
que la multiplicaci
on del anillo sea conmutativa.
En este escrito vamos a dar una prueba detallada del mencionado teorema, aunque comenzaremos probando que, para una infinidad de naturales n, el que un anillo tenga potencia n implica que dicho anillo es
conmutativo.
Como un ejemplo de los anillos que estudiaremos, suponga que R es un anillo arbitrario que satisface
2
x2 = x para toda x en R. Afirmamos que R es conmutativo; sea x R, entonces 2x = (2x) = 4x2 = 4x

Abstraction and Application, Vol. 1, (2009), 59-71.

60

por lo cual 2x = 0. En particular esto implica x = x para toda x R. Por otro lado, dados x, y R
arbitrarios, tenemos que
x + y = (x + y)2 = x2 + xy + yx + y 2 = x + xy + yx + y
luego xy + yx = 0. Por lo tanto xy = yx = yx para toda x, y en R, esto es, R es conmutativo. Como el
lector recordar
a este es un ejercicio cl
asico de de los cursos de algebra moderna.
La intenci
on de dedicar la segunda seccion a los anillos con potencia es motivar el teorema de Wedderburn
y de pasada resolver varios ejercicios que com
unmente se ven en el curso de algebra moderna, por lo que el
presente escrito puede ser de utilidad en el aula.
En la tercera secci
on estudiamos dos casos de anillos de division que tambien son anillos con potencia,
con la intenci
on de mostrar como usar la teora de campos en el resultado principal.
En la cuarta secci
on se da una de las pruebas clasicas del teorema de Wedderburn.
Existe una generalizaci
on de Jacobson hasta anillos acotados (todo anillo con potencia es un anillo
acotado) la cual puede encontrar el lector en [He].
Por lo general R denotar
a un anillo. En este escrito los anillos no necesariamente tienen unitario. Si un
anillo R tiene unitario 1R 6= 0R entonces denotamos por R al grupo de las unidades de R; si R es un anillo
de division entonces R = R {0}.

2.

Anillos con potencia

Definici
on 2.1 Sea R un anillo. Un entero n > 1 es una potencia del anillo R si xn = x para toda x R.
Denotamos por P t(R) al conjunto de todas las potencias del anillo R y si P t(R) 6= entonces decimos que
R es un anillo con potencia.

Observaci
on 2.2 N
otese que un anillo con potencia puede tener varias potencias; de hecho, si n P t(R)
entonces n2 P t(R).

Ejemplo 2.3 Es f
acil verificar que todo anillo de division finito es un anillo con potencia. Por otro lado,
consideremos el anillo R = F2 F2 ... = iN F2 , donde F2 es el campo con 2 elementos: R es un anillo
infinito, no es un dominio y P t(R) = N {1}.
En la introducci
on mostramos que si 2 es potencia del anillo R entonces R es conmutativo. Es bien
conocido que si R es un anillo con potencia entonces R es conmutativo [He]; en este escrito no haremos
la prueba completa, pero s veremos que para algunas n particulares, los anillos R con potencia tales que
n P t(R) son conmutativos. Para lograrlo vamos a obtener algunos resultados acerca de los anillos con
potencia.
Lema 2.4 Sea R un anillo con potencia y sean x, y R. Si xy = 0 entonces yx = 0.
Demostraci
on. Como R es un anillo con potencia existe n P t(R), luego yx = (yx)n y tenemos que
yx = (yx)(yx) (yx) = y(xy) (xy)x.
Por definicion n > 1, as que el factor xy aparece al menos una vez; como xy = 0 entonces yx = 0.


61

Abstraction and Application, Vol. 1, (2009), 59-71.

Definici
on 2.5 Recordemos que x R es un elemento idempotente si satisface la identidad x2 = x. Por
otro lado, el centro de un anillo, que denotaremos por Z(R), es por definicion el conjunto
Z(R) = {x R|xy = yx para toda y R}.
Es facil verificar que Z(R) es un subanillo de R.

Lema 2.6 Sea R un anillo con potencia. Si y es un elemento idempotente en R entonces y Z(R).
Demostraci
on. Sea y un idempotente en R y sea x un elemento arbitrario de R.
y(yx x) = (y)2 x yx = yx yx = 0; por el lema 2.4 tenemos que (yx x)y = 0, por lo tanto
yxy = xy.
De manera similar, (xy x)y = 0, por lema 2.4 se sigue que y(xy x) = 0, luego yxy = yx.

Hemos probado que xy = yx para toda x en R, as que y Z(R).


Lema 2.7 Sea R un anillo con potencia y sea n P t(R) entonces:
1. xn1 es idempotente.
2. Si u N y u = t(n 1) + r, con t 0 y 0 < r n 1, entonces xu = xr .
Demostraci
on.
1. Si n = 2 entonces x = x21 es idempotente. Si n > 2 entonces xn1
luego xn1 es idempotente.

2

= xn xn2 = xxn2 = xn1 ,

t
2. Supongamos que u = t(n 1) + r con 0 < r n 1. Luego xu = xt(n1)+r = xt(n1) xr = xn1 xr ,
como xn1 es idempotente entonces xu = xn1 xr ; si r = 1 nos queda que xn1 xr = xn = x = xr ,
mientras que si r > 1 obtenemos que xn1 xr = xn xr1 = xxr1 = xr .

Observaci
on 2.8 En la demostraci
on anterior hemos evitado los exponentes cero, pues la expresion x0
puede no tener sentido cuando no hay elemento unitario en R.

Con las herramientas desarrolladas trabajaremos algunos casos, esto es, suponiendo que n P t(R) para
algunas n particulares. Tambien veremos que esta herramienta no es suficiente para probar el caso general,
dado que cada uno de los casos que a continuacion presentamos utilizan metodos distintos y conforme n
crece la dificultad tambien.
Ejercicio 2.9 Si 3 P t(R) entonces R es conmutativo.
Demostraci
on. Como 3 es potencia del anillo R entonces x3 = x para toda x en R. Sea x en R, note que
2
x es idempotente para toda x en R por el lema 2.7. Sean x, y R arbitrarios, luego
xy = (xy)3 = (xy)(xy)(xy) = x(yx)(yx)y = x(yx)2 y,

Abstraction and Application, Vol. 1, (2009), 59-71.

62

como (yx)2 , x2 , y 2 son idempotentes entonces por el lema 2.6 x2 , y 2 , (yx)2 Z(R), por lo cual
xy = x(yx)2 y = xy(yx)2 = xyyxyx = xy 2 xyx = y 2 x2 yx = y 3 x3 = yx,
luego R es conmutativo.

Observaci
on 2.10 Sea R un anillo, decimos que R tiene caracterstica n, si n es el entero positivo mnimo
tal que na = 0 para toda a R. Si no existe tal entero decimos que R tiene caracterstica cero. Denotaremos
la caracterstica de un anillo R por car(R).

Lema 2.11 Si n par es una potencia del anillo R entonces car(R) = 2.

Demostraci
on. Dado x R, x = xn y (x)n = x, como n es par entonces xn = (x)n por lo cual 2x = 0,
de donde se sigue que R tiene caracterstica 2 (a menos que R = {0} pero este caso carece de interes).

Ejercicio 2.12 Sea R un anillo. Si 4 P t(R) entonces R es conmutativo.
Demostraci
on. Como la potencia de R es par, por el lema 2.11 R tiene caracterstica 2. Luego
(x + x2 )2 = x2 + 2x3 + x4 = x2 + x,
es decir que x + x2 es idempotente, as que por el lema 2.6 x + x2 Z(R) para toda x R. Entonces, si
x, y R tenemos que (x + y) + (x + y)2 , x + x2 , y + y 2 Z(R). Como Z(R) es un subanillo de R se sigue
que (x + y) + (x + y)2 (x + x2 ) (y + y 2 ) Z(R); simplificando obtenemos
xy + yx = (x + y) + (x + y)2 (x + x2 ) (y + y 2 ) Z(R).
En consecuencia
x2 (x2 y + yx2 ) = (x2 y + yx2 )x2 ,
o equivalentemente x4 y = yx4 , es decir que xy = yx; R es conmutativo.

Ejercicio 2.13 Sea R un anillo. Si 5 P t(R) entonces R es conmutativo.
Demostraci
on. Como x5 = x para toda x R, tenemos que 2x = (2x)5 = 32x5 = 32x, esto es,
30x = 0 para toda x R.

(2.1)

Por otro lado, por el lema 2.7 x4 es idempotente por lo cual, usando el lema 2.6, x4 Z(R) para toda x. De
aqu
(x + x3 )4 = x4 + 4x6 + 6x8 + 4x10 + x12 Z(R)
pero usando el lema 2.7 tenemos que x6 = x10 = x2 , x8 = x12 = x4 , luego
(x + x3 )4 = x4 + 4x2 + 6x4 + 4x2 + x4 = 8(x4 + x2 ) Z(R).
Puesto que x4 Z(R) y Z(R) es un subanillo de R se sigue que
8x2 Z(R) para toda x R.

(2.2)

Abstraction and Application, Vol. 1, (2009), 59-71.

63

De (2.1) y (2.2) obtenemos que

2x2 = 4(8x2 ) Z(R) para toda x R.

(2.3)

Por otro lado,

x + x2 = (x + x2 )5 = x5 + 5x6 + 10x7 + 10x8 + 5x9 + x10 .
Usando el lema 2.7 obtenemos que x5 = x9 = x, x6 = x10 = x2 , x7 = x3 , x8 = x4 por lo que
x + x2 = x + 5x2 + 10x3 + 10x4 + 5x + x2
de aqu, cancelando, 5x2 + 10x3 + 10x4 + 5x = 0, multiplicando la igualdad anterior por 3 y usando (2.1)
obtenemos 15x2 + 15x = 0, es decir, 15x = 15x2 = 15x2 (usando otra vez (2.1)). Luego (15x)2 = 225x2 =
15x2 , es decir que 15x2 es idempotente por lo cual
15x = 15x2 Z(R) para toda x R.

(2.4)

x2 = 15x2 7(2x2 ) Z(R) para toda x R.

(2.5)

xy + yx = (x + y)2 x2 y 2 Z(R) para toda x, y R.

(2.6)

De (2.3) y (2.4) se sigue que

Por lo anterior, tenemos que

De la identidad
(x + x2 )4 = x4 + 4x5 + 6x6 + 4x7 + x8 = x4 + 4x + 6x2 + 4x3 + x4
y de (2.5), tenemos que
4(x + x3 ) = (x + x2 )4 2x4 6x2 Z(R),
as que por (2.4)
x + x3 = 16(x + x3 ) 15(x + x3 ) Z(R).
Luego, por lo anterior tenemos que


[ (x + y) + (x + y)3 (x + x3 ) (y + y 3 )] Z(R),
es decir que
x2 y + xyx + yx2 + y 2 x + yxy + xy 2 Z(R) para toda x, y R.

(2.7)

Si en la expresi
on (2.7) consideramos y en lugar de y y el resultado obtenido se lo restamos a la expresion
en (2.7) obtenemos que 2(x2 y + xyx + yx2 ) Z(R) y por (2.4) tenemos que (x2 y + yx2 ) + xyx Z(R) de
donde, usando (2.6), se sigue que
xyx Z(R) para toda x, y R.
(2.8)
Por (2.8), tenemos que yxy Z(R), luego y(xyx)(yxy)(xyx) = (xyx)(yxy)(xyx)y, as que
yx = (yx)5 = (xy)5 = xy
lo cual dice que R es conmutativo.

Ejercicio 2.14 Sea R un anillo. Si 6 P t(R) entonces R es conmutativo.
Demostraci
on. Por el lema 2.11, 2x = 0 para toda x en R, as que para x en R tenemos que
x + x2 = (x + x2 )6 = x6 + 6x7 + 15x8 + 20x9 + 15x10 + 6x11 + x12 = x + x8 + x10 + x12 .
Ahora usamos la observaci
on 2.7, para obtener x8 = x3 , x10 = x5 , x12 = x2 luego
x + x2 = x + x8 + x10 + x12 = x + x3 + x5 + x2 .

64

Abstraction and Application, Vol. 1, (2009), 59-71.

Por lo cual x3 + x5 = 0, esto es x3 = x5 = x5 (pues car(R) = 2). Multiplicando la igualdad anterior por
x3 y reduciendo los exponentes (usando el lema 2.7) obtenemos que x = x3 ; es decir que 3 P t(R), por lo
que el ejercicio 2.9 nos dice que R es conmutativo.

En el ejercicio previo aparece la idea de disminuir la potencia con la que se esta trabajando, lo que nos
permite tratar con los anillos tales que 2m + 2 P t(R), pero para ello vamos a necesitar un resultado previo.


Lema 2.15 Para 2 + 2, con m 2, se tiene que los u

nicos coeficientes binomiales impares de

son

2m + 2
0

2m + 2
n

  m
  m
  m

2 +2
2 +2
2 +2
,
,
y
.
2
2m
2m + 2

Demostraci
on. Primero veamos que los u
nicos coeficientes binomiales impares de 2m con

m 1 son

2m
0


y

2m
2m


. Procedamos por induccion:


i. Para m = 1, los coeficientes binomiales son

 
 
2
2
=1y
= 1.
0
2

2
0

    
2
2
,
,
, de los que los u
nicos impares son
1
2

ii. Supongamos como hip

otesis de induccion que el resultado es valido para m = k y demostremos el caso
m = k + 1. Recordemos que los coeficientes binomiales de 2k+1 son los que aparecen en el desarrollo de
(a + b)2

k+1

= (a + b)2


k 2

k
2
2  k 
X
k
2
=
ai b2 i .
i
i=0

Usando la identidad
X

(x0 + x1 + + xl )2 = x21 + x22 + + x2l + 2

xi xj

0i<jl

obtenemos que
(a + b)2

k+1

2 k  k 2
X
k+1
2
=
a2i b2 2i + 2
i
i=0

0i<j2

 k  k
k+1
2
2
ai+j b2 (i+j) .
i
j
k

(2.9)

As que por la hip

otesis de inducci
on los u
nicos terminos con coeficientes impares en el primer sumando
son


2k
0

2

0 2k+1

a b


y

2k
2k

2

a2

k+1

b0 .

Como en el segundo sumando todos los coeficientes son pares se sigue que los u
nicos terminos con
k
k
coeficientes impares en (2.9) son a2 +1 , b2 +1 y es bien conocido que sus coeficientes son
 k+1 
 k+1 
2
2
y
0
2k+1
respectivamente.

65

Abstraction and Application, Vol. 1, (2009), 59-71.

Ahora, si m 2 entonces 2m 4. As en la 2m esima fila del triangulo de Pascal aparecen al menos 5

posiciones las cuales, viendo el tri
angulo de Pascal m
odulo 2 tiene un 1 en la primera y u
ltima posicion y
ceros en las otras posiciones. A partir de esta fila podemos construir la fila 2m + 1 y la fila 2m + 2 para
obtener el resultado deseado:

2m
2 +1
2m + 2
m

1
0

1 0 0
1 0 0
1 0 0

1
1
1

1
0

1


Proposici
on 2.16 Sea R un anillo. Si para m 0 se tiene que 2m + 2 P t(R) entonces R es conmutativo.
Demostraci
on. Esta afirmaci
on es una generalizacion del caso 6 P t(R). Por lema 2.11 la caracterstica
de R es 2 luego, del lema 2.15 tenemos que
x + x2 = (x + x2 )2
m

+2

m+1

= x2

+2

+ x2

+4

+ x2

m+1

+2

+ x2

m+1

+4

= x + x2

+4

+ x2

m+1

+2

+ x2 .

m+1

+2
+2
Se sigue que x2 +4 = x2
= x2
. Usando el lema 2.7 con 2m + 4 = (2m + 1) + 3 y 2m+1 + 2 =
m
(2m + 1) + (2m + 1) obtenemos que x3 = x2 +1 . Multiplicando la igualdad anterior por x, obtenemos x4 = x
para toda x en R, por lo cual 4 P t(R); se sigue del ejercicio 2.12 que R es conmutativo.


Observaci
on 2.17 El caso anterior nos resuelve muchos mas, por ejemplo:
Suponga que 12 P t(R). Sea l N y x en R. Puesto que x11 es idempotente (por 2.7), se tiene que

l
x12+l(11) = x12 x11 = xx11 = x12 = x; en particular cuando l = 2, x34 = x para toda x en R pero
34 = 25 + 2 luego 25 + 2 P t(R): por el caso anterior R es conmutativo.
14 P t(R). Procediendo del modo analogo al anterior, podemos ver que x14+13l = x en particular
para l = 4, x66 = x para toda x en R pero 66 = 26 + 2 P r(R).
Potencia de R igual a 20. En este caso x20+(26)19 = x para toda x R, sin embargo 514 = 29 + 2
P t(R).

3.

Ejemplos en anillos de divisi

on con potencia

El desarrollo de la secci
on previa puede haber convencido al lector de que vale la pena cambiar el enfoque
y primero tratar de resolver la cuesti
on de conmutatividad con una hipotesis mas restrictiva, por lo que
ahora vamos a trabajar con anillos con potencia que ademas son anillos de division.
Definici
on 3.1 R es un anillo de divisi
on si es un anillo con elemento unitario y adem
as cada elemento no
cero en R es una unidad, o equivalentemente, el grupo de las unidades de R bajo la multiplicaci
on (denotado
R ) es R {0}.
Observaci
on 3.2 Si R es un anillo de division entonces Z(R), el centro de R, es un campo: sabemos que es
un subanillo conmutativo de R y si x Z(R) con x 6= 0 tendremos que xr = rx para toda r R y despejando
que rx1 = x1 r, luego x1 Z(R). Notemos que por [Hu, teorema 1.9, pag. 119] p = car(R) = car(Z(R))
y, por este mismo teorema, p = 0 o bien p es un n
umero primo. Luego existe un subcampo F de Z(R) tal
que Q
= F si p = 0 o bien Fp
= F si p > 0, este campo es llamado el campo primo de R. Sin perdida de
generalidad, podemos suponer que F = Q o bien F = Fp seg
un sea el caso.

66

Abstraction and Application, Vol. 1, (2009), 59-71.

Para a 6= 0 y F el campo primo de R se denota por F (a) el campo generado por F y a y se caracteriza
como
F (a) = {f (a)/g(a)|f (t), g(t) F [x] con g(a) 6= 0}
[Hu, teorema 1.3, p
ag. 232]. Adem
as si a es raz del polinomio g(x) que tiene coeficientes en F , entonces por
[Hu, teorema 1.6, p
ag. 234] F (a) visto como un espacio vectorial sobre F es de dimension finita, as F (a)
= Fm
(como F -espacios vectoriales) para alg
un m N.
En particular, si F es finito y a es raz de un polinomio g(x) F [x] entonces F (a) es finito y tiene pm
elementos donde p = car(R), y F (a)
un, F (a) es un grupo cclico con pm 1 elementos, por
= F m . Mas a
m
lo cual posee un elemento de orden p 1 (ver [Hu, teorema 5.3, pag. 279]).

Veamos que se puede hacer tras la restriccion de trabajar con anillos de division.
Observaci
on 3.3 Sea R un anillo de division y sea x R tal que xn = 1 y xm = 1. Entonces xd = 1 donde
d = (n, m) es el m
aximo com
un divisor.
Ejercicio 3.4 Si R es un anillo de divisi
on tal que 7 P t(R), entonces R es conmutativo.
Demostraci
on. La hip
otesis implica que x6 = 1 para toda x R . Notese que (2x)7 = 128x = 2x por lo
cual 126x = 0 para toda x luego, por el principio del buen orden, existe un natural p (p = car(R)) mnimo tal
que px = 0 para toda x R; por lo recordado en la observacion 3.2 se tiene que p es primo. Por minimalidad
de p se puede afirmar que p divide a 126 = 2 32 7, luego p solo puede ser 2, 3 o 7.
Como p > 0 es la caracterstica de R entonces podemos considerar que el campo Fp esta contenido en R.
Si R es arbitrario entonces, como 7 = 0, se tiene que Fp () es un campo finito con pn elementos
para alg
un n N.

Usando los comentarios anteriores y el hecho de que Fp () es un grupo cclico bajo la multiplicacion,
probaremos que R es conmutativo analizando los siguientes casos:

2
Si la caracterstica de R es 2 y R es arbitrario entonces tenemos que 1 = 6 = 3 . En el anillo
de divisi
on R la ecuaci
on x2 = 1 tiene u
nicamente la solucion x = 1, por lo que 3 = 1 y 4 = :
como fue arbitrario, tenemos que 4 P t(R); por ejercicio 2.12 R es conmutativo.

3
Ahora supongamos que la caracterstica de R es 3. Ahora tenemos las identidades 1 = 6 = 2 ,
por lo que 2 = 1 y 3 = : se sigue que 3 P t(R) y, por el ejercicio 2.9, que R es conmutativo.
Finalmente supongamos que la caracterstica de R es 7 y sea R . Entonces F7 () tiene 7n elementos
y el grupo multiplicativo F7 () tiene un elemento de orden 7n 1. Se sigue que 7n 1 divide a 6,
luego n = 1. Tenemos as que F7 () = F7 y F7 : se sigue que R = F7 .

Observaci
on 3.5 Veamos que podemos decir del caso 8 P t(R) con las ideas ya mostradas. Sea R un
anillo tal que 8 es una potencia de R. Por el lema 2.11 R tiene caracterstica 2, por lo que el campo primo

de R es F2 . Sea R , dado que 8 = entonces F2 () tiene 2n elementos para alg

un n. Como F2 ()
es cclico, entonces tiene un elemento de orden 2n 1. Puesto que 7 = 1 tenemos que 2n 1 divide a 7,
as que n = 3.
Como podr
a observar el lector no hemos logrado reducir el analisis a un caso ya conocido, por lo que es
necesario intentar algo nuevo.
A partir de ahora agregaremos la hip
otesis de que R es finito. Para obtener mas provecho de esta nueva
restriccion usaremos lo siguiente:

67

Abstraction and Application, Vol. 1, (2009), 59-71.

Lema 3.6 Sean R un anillo de divisi

on y a R. Entonces
Ca = {x R | xa = ax}
es un subanillo de divisi
on de R. Adem
as Z(R) Ca R.
Demostraci
on.
Si x Z entonces xr = rx para toda r R, en particular xa = ax, luego x Ca ; se sigue que
Z(R) Ca .
Sean x, y Ca , entonces (x + y)a = xa + ya = ax + ay = a(x + y) por lo cual x + y Ca . Por otro
lado (xy)a = x(ya) = x(ay) = (xa)y = (ax)y = a(xy) luego xy Ca .
Sea x Ca con x 6= 0, como xa = ax entonces a = x1 ax, por lo cual ax1 = x1 a, esto es, x1 Ca .

Ya podemos regresar al caso 8.
Ejercicio 3.7 Sea R un anillo de divisi
on finito tal que 8 P t(R), entonces R es conmutativo.
Demostraci
on. Para abreviar denotemos por Z al centro de R. Es conocido que Z es un campo que
ademas es una extensi
on finita (pues R es finito) de F2 . As que Z tiene que ser una extension simple, esto
es, Z = F2 () para alg
un Z (ver [Hu, corolario 5.4, pag. 279]) y por la observacion 3.5 Z tiene 2 u 8
elementos. Sea R Z, de la observaci
on 3.5 se sigue que F2 () tiene 8 elementos.
Notese que F2 () C . Ahora bien, si la contencion fuera propia, existira C F2 (), luego
F2 (, ) es un campo que contiene a F2 , y por lo cual contiene propiamente a F2 () , as que F2 (, )
tendra mas de 8 elementos. Por otro lado, ya que F2 (, ) es finito entonces F2 (, ) = F2 () ; esto no es
posible, pues cualquier campo contenido en R de la forma F2 () tiene a lo mas 8 elementos, por lo tanto
F2 () = C .
Gracias al argumento desarrollado quedan dos casos por verificar:
Si Z tiene 8 elementos entonces Z = C para cualquier R, lo que implica que R = Z.
Ahora consideremos el caso en que Z tiene 2 elementos. Notemos que R tiene estructura de espacio
vectorial sobre el campo Z, por lo cual R
un n N de aqu que R tiene 2n elementos.
= Z n para alg
As R es un grupo bajo la multiplicacion de orden 2n 1. Si R Z entonces, como en el inciso
anterior, C es un campo con 8 elementos. Mas a
un C es el centralizador de en el grupo R .
Tambien Z es el centro de R . Si hacemos actuar R sobre s mismo bajo conjugacion entonces el
n
umero de conjugados de R es igual al ndice | R : C | [Du, Proposicion 6, pag. 123]. La
ecuacion de clase [Du, Teorema 7, p
ag. 124], implica:
|R | = |Z | +

k
X

|R : Ci |

i=1

donde 1 , 2 , ..., k son representantes de las distintas clases de conjugacion que no estan contenidas en
el centro, por lo cual podemos suponer que i 6 Z para cada i = 1, 2, ..., k. Por lo visto anteriormente
Ci es un campo con 8 elementos, por lo cual |R : Ci | = |R |/|Ci | = (2n 1)/7, luego
2n 1 = 1 +

k
X
2n 1
i=1

Reescribiendo esta ecuaci

on obtenemos 7(2n 1) = 7 + k(2n 1), o bien, (7 k)(2n 1) = 7. Como 7 es
primo s
olo tenemos 2 casos. Si 7k = 1 y 2n 1 = 7 entonces k = 6 y n = 3, luego R tiene 8 elementos;

68

Abstraction and Application, Vol. 1, (2009), 59-71.

considere alg
un i , como Ci es un campo de 8 elementos contenido en R entonces R = Ci , por lo
cual R es un campo. Esto es una contradiccion, pues implica que R = Z y estamos considerando que
k = 6. Solamente queda que 7 k = 7 y 2n 1 = 1, en cuyo caso k = 0 y n = 1, as que R = Z = F2 .


4.

Un anillo de divisi
on finito es un campo

Como vimos en el u
ltimo ejemplo de la seccion previa, el hecho de que R sea un anillo de divisi
on finito
permite usar m
as herramientas bien conocidas de los cursos de algebra moderna. Tambien hemos visto en la
seccion previa que un anillo de divisi
on con potencia 7 es un campo y que un anillo de division finito y con
potencia 8 es un campo.
Teorema 4.1 (Wedderburn) Todo anillo de divisi
on finito es un campo.
Demostraci
on. Sea R un anillo de division finito. Sabemos que Z = Z(R), el centro de R, es un campo
contenido en R. Supongamos que Z tiene q elementos. Procediendo como en el ejemplo anterior podemos ver
a R como un espacio vectorial sobre el campo finito Z. Puesto que R es finito tiene dimension finita como
un Z-espacio vectorial; se sigue que R
un n N. Probaremos que R = Z o, equivalentemente,
= Z n para alg
que n = 1.
Para cada a R sea Ca = {x R | xa = ax}. En el lema 3.6 probamos que Z Ca y que Ca es un
subanillo de divisi
on de R. Ahora, viendo a Ca como un espacio vectorial sobre Z se sigue que Ca tiene q n(a)
elementos para alg
un n(a) N.
Afirmamos que n(a) | n : recuerde que los elementos de R = R {0} forman un grupo bajo la
multiplicacion cuyo orden es q n 1; como Ca es un subanillo de division de R se sigue que Ca = Ca {0} es
un subgrupo de R que tiene q n(a) 1 elementos. Por el teorema de Lagrange q n(a) 1 | q n 1 esto implica
que n(a) | n, para ver esto u
ltimo, suponga que n = kn(a) + r con 0 r < n(a), como
q n 1 = (q n(a) 1)(q nn(a) + q n2n(a) + + q nkn(a) ) + (q nkn(a) 1),
y q n(a) 1 | q n 1, entonces q n(a) 1 | q nkn(a) 1, pero r = n kn(a) < n(a) as que 0 q r 1 < q n(a) 1,
luego la u
nica forma de que q n(a) 1 | q r 1 es que q r = 1; por otro lado, como 0, 1 Z entonces q 2 por
lo cual la igualdad q r = 1 implica r = 0, luego n(a) | n.
Observe que Z es el centro de R y que Ca es el centralizador de a en R , entonces por [Du, proposicion
6, pag. 123] el n
umero de conjugados de a en R es | R : Ca |= (q n 1)/(q n(a) 1).
Note que si a Z entonces a tiene un solo conjugado pues xax1 = xx1 a = a para toda x R ,
de aqu q n 1 = q n(a) 1 esto es n = n(a). Recprocamente, si n = n(a) entonces R = Ca (pues
|R : Ca | = 1), es decir, ax = xa para toda x R luego a Z . Hemos probado que n(a) = n si y solo si
a Z . Por otro lado, si n(a) = 1 entonces Z = Ca ; esto implica a Z por lo cual, si a 6 Z , entonces
n(a) 6= 1 y n(a) 6= n.
La ecuaci
on de clase [Du, Teorema 7, pag. 124] implica lo siguiente:
qn 1 = q 1 +

X
n(a)|n
n(a)6=n
n(a)6=1

qn 1
q n(a) 1

(4.1)

donde la suma del lado derecho no es considerada sobre todas las a tales que n(a) | n con n(a) 6= 1, n(a) 6= n,
sino una por cada clase de conjugaci
on que no este contenida en Z.
Nuestro problema se reduce ahora a demostrar que la ecuacion (4.1) no tiene soluciones enteras. La
prueba de este hecho se basa en demostrar que existe un entero que divide a (q n 1)/(q n(a) 1) para todos

69

Abstraction and Application, Vol. 1, (2009), 59-71.

los divisores n(a) de n excepto para n(a) = n, pero que no divide a q 1 lo cual contradice (4.1) a menos
que n = 1, con lo cual habremos demostrado el teorema de Wedderburn.
Sea n N, considere el polinomio xn 1 C[x]. Como C es algebraicamente cerrado, podemos factorizar
a x 1 del siguiente modo:
Y
xn 1 =
(x )
n

donde el producto es tomado sobre todas las races n-esimas de la unidad, esto es, todas las C tales que
0
n
n1
n = 1. Notemos

que existen n races n-esimas de la unidad todas distintas entre s, pues (x 1) = nxn y
n
n1
x 1, nx
= 1 (ver [Hu, teorema 6.10, pag 161]). El conjunto de todas las C que satisfacen = 1
forman un grupo bajo la multiplicaci
on. Como todo subgrupo finito del grupo de los elementos distintos de
cero de un campo es cclico, se sigue que el grupo de todas las races n-esimas de la unidad es un grupo
cclico. Una raz que es un generador del grupo mencionado es una raz n-esima primitiva de la unidad .
Y
Sea n (x) =
(x ) donde recorre todas las races n-esimas primitivas de la unidad. Este polinomio
es llamado el n-esimo polinomio ciclot
omico. A continuacion listamos algunos polinomios ciclotomicos:
1 (x) = x 1.
2 (x) = x + 1.
3 (x) = x2 + x + 1.
Observe que todos esos polinomios son m
onicos y con coeficientes enteros. Afirmamos que, en general, n (x)
es un polinomio m
onico con coeficientes enteros.
Si d es un divisor de n, cada factor x de d (x) es un factor de xn 1 pues, como d = 1 tenemos

n/d
que n = d
= 1 y adem
as x aparece solo una vez en la factorizacion de xn 1 pues este u
ltimo no
tiene races repetidas. Recprocamente sea x un factor de xn 1 y sea d el orden de en el grupo de las
races n-esimas de la unidad, de la definicion de raz primitiva es una raz d-esima primitiva de la unidad
por lo que x es un factor de d (x) y d | n por el teorema de Lagrange. Con esto hemos probado que para
cada divisor d de n los factores de d (x) aparecen una vez en la factorizacion de xn 1 y recprocamente
que cada factor de xn 1 es un factor de d (x) para alg
un d divisor de n, es decir,
xn 1 =

d (x).

(4.2)

d|n

Probaremos que n (x) es un polinomio m

onico con coeficientes enteros, por induccion sobre n:
i. Para n = 1, hemos visto que n (x) = x 1.
ii. Supongamos como hip
otesis de induccion que d (x) es un polinomio monico con coeficientes enteros
para d < n.
Demostremos el resultado para n. Por la hipotesis de induccion se sigue que en particular d (x) es un
polinomio m
onico con coeficientes enteros para d | n con d < n, luego por (4.2) xn 1 = n (x)g(x)
donde g(x) es el producto de los polinomios d (x) donde d | n con d < n y como estos polinomios
satisfacen la hip
otesis de inducci
on, se sigue que g(x) es monico y con coeficientes enteros.
Como g(x) es m
onico (esta hip
otesis es fundamental ) existen polinomios q(x), r(x) u
nicos y con
coeficientes enteros tales que xn 1 = q(x)g(x) + r(x) donde r(x) = 0 o grado(r(x)) < grado(g(x))
[Hu, teorema 6.2, p
ag. 158], de esto se sigue que g(x)(n (x) q(x)) = r(x): si r(x) 6= 0 entonces
n (x) 6= q(x) por lo cual
grado(g(x)) grado(g(x)) + grado(n (x) q(x)) = grado(r(x)) < grado(g(x))
lo cual es imposible, luego r(x) = 0 y, como g(x) 6= 0, se sigue que n (x) = q(x) de aqu n (x) es un
polinomio con coeficientes enteros.
El hecho de que sea m
onico se sigue de que el termino principal de xn 1 es igual al producto del
termino principal de g(x), que es m
onico, por el de n (x).

70

Abstraction and Application, Vol. 1, (2009), 59-71.

Sea d un divisor de n, entonces xd 1 | xn 1 este hecho se sigue de la identidad:

xn 1 = (xd 1)(xnd + xn2d + + xn(k1)d + 1) , donde n = kd,
as (xn 1)/(xd 1) es un polinomio con coeficientes enteros. Ahora, afirmamos que para cualquier divisor
d de n, con d < n,
xn 1
n (x) d
x 1
en el sentido de que el cociente es un polinomio con coeficientes enteros. Para ver esto, note que
Y
xd 1 =
k (x).
k|d

Puesto que cada divisor de d es un divisor de n, reagrupando los terminos en (4.2) obtenemos xn 1 =
(xd 1)p(x) donde p(x) es el producto de las k (x) tales que k | n y k - d. Como d < n entonces n (x) no
aparece en la expresi
on de xd 1 como producto de las k (x). As (4.2) puede ser escrita como xn 1 =
d
n (x)(x 1)f (x) donde
Y
f (x) =
k (x)
k|n
k-d
k6=n

es un polinomio con coeficientes enteros, as

xn 1
= n (x)f (x),
xd 1
luego

xn 1
xd 1
en el sentido de que el cociente, que es f (x), es un polinomio con coeficientes enteros, lo cual demuestra la
afirmacion.
n (x)

Como n (x) es un polinomio con coeficientes enteros, tenemos que para cualquier entero t, n (t) es un
entero que divide a (tn 1)/(td 1) para cualquier divisor d de n, con d < n de hecho (tn 1)/(td 1) =
n (t)f (t) con f (t) entero. En particular, retomando el contexto de la ecuacion (4.1), se tiene que
n (q)

qn 1
q n(a) 1

para todas las a consideradas en la suma, esto es, n(a) | n y 1 < n(a) < n. Ademas n (q) | q n 1. Se sigue
por (4.1) que n (q) | q 1, lo que implica |n (q)| q 1.
Sin embargo, afirmamos que si n > 1 entonces |n (q)| > q 1 lo cual demostrara que (4.1) no tiene
solucion para n > 1. Para demostrar la afirmacion, note que si es una raz n-esima de la unidad distinta
de 1 entonces Re () = cos (2k/n) < 1, pues 1 < k < n. Luego q 1 < q Re () , as
2

(q 1)2 < (q Re ()) + (Im ()) = (|q |) ,

luego q 1 < |q |, pues q 1 > 0. De aqu que
Y
|n (q)| =
|q i | > q 1
i

donde i son las races. Se sigue que n (q) no puede dividir a q 1, por lo cual la ecuacion 1 no pude ocurrir
a menos que n = 1 : hemos completado la demostracion del teorema.


Agradecimientos
Agradecemos a los
arbitros por sus correcciones y sugerencias, especficamente por indicar maneras de
abreviar los argumentos.

Abstraction and Application, Vol. 1, (2009), 59-71.

71

Referencias
[Du] D. S. Dummit, R.M. Foot. Abstract Algebra, Tercera Edicion, John Wiley and Sons, Inc., USA 2004.
[He] I. N. Herstein. Topics in Algebra, Second Edition, John Wiley and Sons, Inc., USA, 1975
[Hu] T. W. Hungerford. Algebra, Springer-Verlag New York Inc., Cleveland, 1996.
[Ja] N. Jacobson. Finite-Dimensional Division Algebras over Fields, Springer, Germany, 1996.
[M] J. H. MacLagan-Wedderburn, A theorem on finite algebras, Trans. Amer. Math. Soc. 6, no. 3, (1905),
349-352.
[MGP] The Mathematics Genealogy Project. http://genealogy.math.ndsu.nodak.edu
[MH] The MacTutor History of Mathematics archive. http://www-history.mcs.st-and.ac.uk/
[O] O. Ore, On a special class of polynomials, Trans. Amer. Math. Soc. 35, no. 3, (1933), 559-584.
[Ro] L. H. Rowen, Ring Theory (Student Edition), Academic Press, Inc., USA, 1991.