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

59
El teorema de Wedderburn para anillos de division nitos
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 nite division rings is motivated through abstract
algebra exercises.
Resumen
Uno de los teoremas de Wedderburn nos dice que si D es un anillo de division nito entonces D es
un campo; en este escrito motivamos dicho resultado resolviendo ejercicios clasicos de algebra moderna
y desarrollamos con detalle una prueba del teorema de Wedderburn.
Keywords and phrases : Anillos de division nitos, campos, anillos con potencia, conmutatividad, Wedderburn.
2010 Mathematics Subject Classification 1600, 1601.
1. Introduccion
Uno de los algebristas mas importantes de la historia fue el escoces Joseph Henry MacLagan Wedder-
burn (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 nita 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 nito es un campo; a
primera vista es curioso que la nitud y la posibilidad de dividir por elementos distintos de cero impliquen
que la multiplicacion del anillo sea conmutativa.
En este escrito vamos a dar una prueba detallada del mencionado teorema, aunque comenzaremos proban-
do que, para una innidad 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
x
2
= x para toda x en R. Armamos que R es conmutativo; sea x R, entonces 2x = (2x)
2
= 4x
2
= 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
= x
2
+ 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 recordara este es un ejercicio clasico de de los cursos de algebra moderna.
La intencion 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 seccion estudiamos dos casos de anillos de division que tambien son anillos con potencia,
con la intencion de mostrar como usar la teora de campos en el resultado principal.
En la cuarta seccion se da una de las pruebas clasicas del teorema de Wedderburn.
Existe una generalizacion 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 denotara un anillo. En este escrito los anillos no necesariamente tienen unitario. Si un
anillo R tiene unitario 1
R
= 0
R
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
Denicion 2.1 Sea R un anillo. Un entero n > 1 es una potencia del anillo R si x
n
= x para toda x R.
Denotamos por Pt(R) al conjunto de todas las potencias del anillo R y si Pt(R) = entonces decimos que
R es un anillo con potencia.
Observacion 2.2 Notese que un anillo con potencia puede tener varias potencias; de hecho, si n Pt(R)
entonces n
2
Pt(R).
Ejemplo 2.3 Es facil vericar que todo anillo de division nito es un anillo con potencia. Por otro lado,
consideremos el anillo R = F
2
F
2
... =
iN
F
2
, donde F
2
es el campo con 2 elementos: R es un anillo
innito, no es un dominio y Pt(R) = N {1}.
En la introduccion 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 Pt(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.
Demostracion. Como R es un anillo con potencia existe n Pt(R), luego yx = (yx)
n
y tenemos que
yx = (yx)(yx) (yx) = y(xy) (xy)x.
Por denicion n > 1, as que el factor xy aparece al menos una vez; como xy = 0 entonces yx = 0.

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

Denicion 2.5 Recordemos que x R es un elemento idempotente si satisface la identidad x
2
= x. Por
otro lado, el centro de un anillo, que denotaremos por Z(R), es por denicion el conjunto
Z(R) = {x R|xy = yx para toda y R}.
Es facil vericar 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).
Demostracion. 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 Pt(R) entonces:

1. x
n1
es idempotente.
2. Si u N y u = t(n 1) + r, con t 0 y 0 < r n 1, entonces x
u
= x
r
.
Demostracion.
1. Si n = 2 entonces x = x
21
es idempotente. Si n > 2 entonces

x
n1

2
= x
n
x
n2
= xx
n2
= x
n1
,
luego x
n1
es idempotente.
2. Supongamos que u = t(n 1) + r con 0 < r n 1. Luego x
u
= x
t(n1)+r
= x
t(n1)
x
r
=

x
n1

t
x
r
,
como x
n1
es idempotente entonces x
u
= x
n1
x
r
; si r = 1 nos queda que x
n1
x
r
= x
n
= x = x
r
,
mientras que si r > 1 obtenemos que x
n1
x
r
= x
n
x
r1
= xx
r1
= x
r
.

Observacion 2.8 En la demostracion anterior hemos evitado los exponentes cero, pues la expresion x
0
puede no tener sentido cuando no hay elemento unitario en R.
Con las herramientas desarrolladas trabajaremos algunos casos, esto es, suponiendo que n Pt(R) para
algunas n particulares. Tambien veremos que esta herramienta no es suciente para probar el caso general,
dado que cada uno de los casos que a continuacion presentamos utilizan metodos distintos y conforme n
crece la dicultad tambien.
Ejercicio 2.9 Si 3 Pt(R) entonces R es conmutativo.
Demostracion. Como 3 es potencia del anillo R entonces x
3
= x para toda x en R. Sea x en R, note que
x
2
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
, x
2
, y
2
son idempotentes entonces por el lema 2.6 x
2
, y
2
, (yx)
2
Z(R), por lo cual
xy = x(yx)
2
y = xy(yx)
2
= xyyxyx = xy
2
xyx = y
2
x
2
yx = y
3
x
3
= yx,
luego R es conmutativo.

Observacion 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.
Demostracion. Dado x R, x = x
n
y (x)
n
= x, como n es par entonces x
n
= (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 Pt(R) entonces R es conmutativo.

Demostracion. Como la potencia de R es par, por el lema 2.11 R tiene caracterstica 2. Luego
(x + x
2
)
2
= x
2
+ 2x
3
+ x
4
= x
2
+ x,
es decir que x + x
2
es idempotente, as que por el lema 2.6 x + x
2
Z(R) para toda x R. Entonces, si
x, y R tenemos que (x + y) + (x + y)
2
, x + x
2
, y + y
2
Z(R). Como Z(R) es un subanillo de R se sigue
que (x + y) + (x + y)
2
(x + x
2
) (y + y
2
) Z(R); simplicando obtenemos
xy + yx = (x + y) + (x + y)
2
(x + x
2
) (y + y
2
) Z(R).
En consecuencia
x
2
(x
2
y + yx
2
) = (x
2
y + yx
2
)x
2
,
o equivalentemente x
4
y = yx
4
, es decir que xy = yx; R es conmutativo.

Ejercicio 2.13 Sea R un anillo. Si 5 Pt(R) entonces R es conmutativo.

Demostracion. Como x
5
= x para toda x R, tenemos que 2x = (2x)
5
= 32x
5
= 32x, esto es,
30x = 0 para toda x R. (2.1)
Por otro lado, por el lema 2.7 x
4
es idempotente por lo cual, usando el lema 2.6, x
4
Z(R) para toda x. De
aqu
(x + x
3
)
4
= x
4
+ 4x
6
+ 6x
8
+ 4x
10
+ x
12
Z(R)
pero usando el lema 2.7 tenemos que x
6
= x
10
= x
2
, x
8
= x
12
= x
4
, luego
(x + x
3
)
4
= x
4
+ 4x
2
+ 6x
4
+ 4x
2
+ x
4
= 8(x
4
+ x
2
) Z(R).
Puesto que x
4
Z(R) y Z(R) es un subanillo de R se sigue que
8x
2
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
2x
2
= 4(8x
2
) Z(R) para toda x R. (2.3)
Por otro lado,
x + x
2
= (x + x
2
)
5
= x
5
+ 5x
6
+ 10x
7
+ 10x
8
+ 5x
9
+ x
10
.
Usando el lema 2.7 obtenemos que x
5
= x
9
= x, x
6
= x
10
= x
2
, x
7
= x
3
, x
8
= x
4
por lo que
x + x
2
= x + 5x
2
+ 10x
3
+ 10x
4
+ 5x + x
2
de aqu, cancelando, 5x
2
+ 10x
3
+ 10x
4
+ 5x = 0, multiplicando la igualdad anterior por 3 y usando (2.1)
obtenemos 15x
2
+ 15x = 0, es decir, 15x = 15x
2
= 15x
2
(usando otra vez (2.1)). Luego (15x)
2
= 225x
2
=
15x
2
, es decir que 15x
2
es idempotente por lo cual
15x = 15x
2
Z(R) para toda x R. (2.4)
De (2.3) y (2.4) se sigue que
x
2
= 15x
2
7(2x
2
) Z(R) para toda x R. (2.5)
Por lo anterior, tenemos que
xy + yx = (x + y)
2
x
2
y
2
Z(R) para toda x, y R. (2.6)
De la identidad
(x + x
2
)
4
= x
4
+ 4x
5
+ 6x
6
+ 4x
7
+ x
8
= x
4
+ 4x + 6x
2
+ 4x
3
+ x
4
y de (2.5), tenemos que
4(x + x
3
) = (x + x
2
)
4
2x
4
6x
2
Z(R),
as que por (2.4)
x + x
3
= 16(x + x
3
) 15(x + x
3
) Z(R).
Luego, por lo anterior tenemos que
[

(x + y) + (x + y)
3

(x + x
3
) (y + y
3
)] Z(R),
es decir que
x
2
y + xyx + yx
2
+ y
2
x + yxy + xy
2
Z(R) para toda x, y R. (2.7)
Si en la expresion (2.7) consideramos y en lugar de y y el resultado obtenido se lo restamos a la expresion
en (2.7) obtenemos que 2(x
2
y + xyx + yx
2
) Z(R) y por (2.4) tenemos que (x
2
y + yx
2
) + 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 Pt(R) entonces R es conmutativo.

Demostracion. Por el lema 2.11, 2x = 0 para toda x en R, as que para x en R tenemos que
x + x
2
= (x + x
2
)
6
= x
6
+ 6x
7
+ 15x
8
+ 20x
9
+ 15x
10
+ 6x
11
+ x
12
= x + x
8
+ x
10
+ x
12
.
Ahora usamos la observacion 2.7, para obtener x
8
= x
3
, x
10
= x
5
, x
12
= x
2
luego
x + x
2
= x + x
8
+ x
10
+ x
12
= x + x
3
+ x
5
+ x
2
.
Abstraction and Application, Vol. 1, (2009), 59-71. 64
Por lo cual x
3
+ x
5
= 0, esto es x
3
= x
5
= x
5
(pues car(R) = 2). Multiplicando la igualdad anterior por
x
3
y reduciendo los exponentes (usando el lema 2.7) obtenemos que x = x
3
; es decir que 3 Pt(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 2
m
+2 Pt(R), pero para ello vamos a necesitar un resultado previo.
Lema 2.15 Para 2
m
+2, con m 2, se tiene que los unicos coecientes binomiales impares de

2
m
+ 2
n

son

2
m
+ 2
0

2
m
+ 2
2

2
m
+ 2
2
m

2
m
+ 2
2
m
+ 2

.
Demostracion. Primero veamos que los unicos coecientes binomiales impares de 2
m
con
m 1 son

2
m
0

2
m
2
m

. Procedamos por induccion:

i. Para m = 1, los coecientes binomiales son

2
0

2
1

2
2

, de los que los unicos impares son

2
0

= 1 y

2
2

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

(a + b)
2
k

2
=

2
k

i=0

2
k
i

a
i
b
2
k
i

2
.
Usando la identidad
(x
0
+ x
1
+ + x
l
)
2
= x
2
1
+ x
2
2
+ + x
2
l
+ 2

0i<jl
x
i
x
j
obtenemos que
(a + b)
2
k+1
=
2
k

i=0

2
k
i

2
a
2i
b
2
k+1
2i
+ 2

0i<j2
k

2
k
i

2
k
j

a
i+j
b
2
k+1
(i+j)

. (2.9)
As que por la hipotesis de induccion los unicos terminos con coecientes impares en el primer sumando
son

2
k
0

2
a
0
b
2
k+1
y

2
k
2
k

2
a
2
k+1
b
0
.
Como en el segundo sumando todos los coecientes son pares se sigue que los unicos terminos con
coecientes impares en (2.9) son a
2
k
+1
, b
2
k
+1
y es bien conocido que sus coecientes son

2
k+1
0

2
k+1
2
k+1

respectivamente.
Abstraction and Application, Vol. 1, (2009), 59-71. 65
Ahora, si m 2 entonces 2
m
4. As en la 2
m
esima la del triangulo de Pascal aparecen al menos 5
posiciones las cuales, viendo el triangulo de Pascal modulo 2 tiene un 1 en la primera y ultima posicion y
ceros en las otras posiciones. A partir de esta la podemos construir la la 2
m
+ 1 y la la 2
m
+ 2 para
obtener el resultado deseado:
2
m
1 0 0 1
2
m
+ 1 1 1 0 0 1 1
2
m
+ 2 1 0 1 0 0 1 0 1

Proposicion 2.16 Sea R un anillo. Si para m 0 se tiene que 2

m
+2 Pt(R) entonces R es conmutativo.
Demostracion. Esta armacion es una generalizacion del caso 6 Pt(R). Por lema 2.11 la caracterstica
de R es 2 luego, del lema 2.15 tenemos que
x + x
2
= (x + x
2
)
2
m
+2
= x
2
m
+2
+ x
2
m
+4
+ x
2
m+1
+2
+ x
2
m+1
+4
= x + x
2
m
+4
+ x
2
m+1
+2
+ x
2
.
Se sigue que x
2
m
+4
= x
2
m+1
+2
= x
2
m+1
+2
. Usando el lema 2.7 con 2
m
+ 4 = (2
m
+ 1) + 3 y 2
m+1
+ 2 =
(2
m
+1) +(2
m
+1) obtenemos que x
3
= x
2
m
+1
. Multiplicando la igualdad anterior por x, obtenemos x
4
= x
para toda x en R, por lo cual 4 Pt(R); se sigue del ejercicio 2.12 que R es conmutativo.

Observacion 2.17 El caso anterior nos resuelve muchos mas, por ejemplo:
Suponga que 12 Pt(R). Sea l N y x en R. Puesto que x
11
es idempotente (por 2.7), se tiene que
x
12+l(11)
= x
12

x
11

l
= xx
11
= x
12
= x; en particular cuando l = 2, x
34
= x para toda x en R pero
34 = 2
5
+ 2 luego 2
5
+ 2 Pt(R): por el caso anterior R es conmutativo.
14 Pt(R). Procediendo del modo analogo al anterior, podemos ver que x
14+13l
= x en particular
para l = 4, x
66
= x para toda x en R pero 66 = 2
6
+ 2 Pr(R).
Potencia de R igual a 20. En este caso x
20+(26)19
= x para toda x R, sin embargo 514 = 2
9
+ 2
Pt(R).
3. Ejemplos en anillos de division con potencia
El desarrollo de la seccion previa puede haber convencido al lector de que vale la pena cambiar el enfoque
y primero tratar de resolver la cuestion de conmutatividad con una hipotesis mas restrictiva, por lo que
ahora vamos a trabajar con anillos con potencia que ademas son anillos de division.
Denicion 3.1 R es un anillo de division si es un anillo con elemento unitario y ademas cada elemento no
cero en R es una unidad, o equivalentemente, el grupo de las unidades de R bajo la multiplicacion (denotado
R

) es R {0}.
Observacion 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 = 0 tendremos que xr = rx para toda r R y despejando
que rx
1
= x
1
r, luego x
1
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 F
p

= 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 = F
p
seg un sea el caso.
Abstraction and Application, Vol. 1, (2009), 59-71. 66
Para a = 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) = 0}
[Hu, teorema 1.3, pag. 232]. Ademas si a es raz del polinomio g(x) que tiene coecientes en F, entonces por
[Hu, teorema 1.6, pag. 234] F(a) visto como un espacio vectorial sobre F es de dimension nita, as F(a)

= F
m
(como F-espacios vectoriales) para alg un m N.
En particular, si F es nito y a es raz de un polinomio g(x) F[x] entonces F(a) es nito y tiene p
m
elementos donde p = car(R), y F(a)

= F
m
. Mas a un, F(a)

es un grupo cclico con p

m
1 elementos, por
lo cual posee un elemento de orden p
m
1 (ver [Hu, teorema 5.3, pag. 279]).
Veamos que se puede hacer tras la restriccion de trabajar con anillos de division.
Observacion 3.3 Sea R un anillo de division y sea x R tal que x
n
= 1 y x
m
= 1. Entonces x
d
= 1 donde
d = (n, m) es el maximo com un divisor.
Ejercicio 3.4 Si R es un anillo de division tal que 7 Pt(R), entonces R es conmutativo.
Demostracion. La hipotesis implica que x
6
= 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 armar que p divide a 126 = 2 3
2
7, luego p solo puede ser 2, 3 o 7.
Como p > 0 es la caracterstica de R entonces podemos considerar que el campo F
p
esta contenido en R.
Si R es arbitrario entonces, como
7
= 0, se tiene que F
p
() es un campo nito con p
n
elementos
para alg un n N.
Usando los comentarios anteriores y el hecho de que F
p
()

es un grupo cclico bajo la multiplicacion,

probaremos que R es conmutativo analizando los siguientes casos:
Si la caracterstica de R es 2 y R

es arbitrario entonces tenemos que 1 =

6
=

2
. En el anillo
de division R la ecuacion x
2
= 1 tiene unicamente la solucion x = 1, por lo que
3
= 1 y
4
= :
como fue arbitrario, tenemos que 4 Pt(R); por ejercicio 2.12 R es conmutativo.
Ahora supongamos que la caracterstica de R es 3. Ahora tenemos las identidades 1 =
6
=

3
,
por lo que
2
= 1 y
3
= : se sigue que 3 Pt(R) y, por el ejercicio 2.9, que R es conmutativo.
Finalmente supongamos que la caracterstica de R es 7 y sea R

. Entonces F
7
() tiene 7
n
elementos
y el grupo multiplicativo F
7
()

tiene un elemento de orden 7

n
1. Se sigue que 7
n
1 divide a 6,
luego n = 1. Tenemos as que F
7
() = F
7
y F
7
: se sigue que R = F
7
.

Observacion 3.5 Veamos que podemos decir del caso 8 Pt(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 F
2
. Sea R

, dado que
8
= entonces F
2
() tiene 2
n
elementos para alg un n. Como F
2
()

es cclico, entonces tiene un elemento de orden 2

n
1. Puesto que
7
= 1 tenemos que 2
n
1 divide a 7,
as que n = 3.
Como podra 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 hipotesis de que R es nito. Para obtener mas provecho de esta nueva
restriccion usaremos lo siguiente:
Abstraction and Application, Vol. 1, (2009), 59-71. 67
Lema 3.6 Sean R un anillo de division y a R. Entonces
C
a
= {x R | xa = ax}
es un subanillo de division de R. Ademas Z(R) C
a
R.
Demostracion.
Si x Z entonces xr = rx para toda r R, en particular xa = ax, luego x C
a
; se sigue que
Z(R) C
a
.
Sean x, y C
a
, entonces (x + y)a = xa + ya = ax + ay = a(x + y) por lo cual x + y C
a
. Por otro
lado (xy)a = x(ya) = x(ay) = (xa)y = (ax)y = a(xy) luego xy C
a
.
Sea x C
a
con x = 0, como xa = ax entonces a = x
1
ax, por lo cual ax
1
= x
1
a, esto es, x
1
C
a
.

Ya podemos regresar al caso 8.

Ejercicio 3.7 Sea R un anillo de division nito tal que 8 Pt(R), entonces R es conmutativo.
Demostracion. Para abreviar denotemos por Z al centro de R. Es conocido que Z es un campo que
ademas es una extension nita (pues R es nito) de F
2
. As que Z tiene que ser una extension simple, esto
es, Z = F
2
() 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 observacion 3.5 se sigue que F
2
() tiene 8 elementos.
Notese que F
2
() C

. Ahora bien, si la contencion fuera propia, existira C

F
2
(), luego
F
2
(, ) es un campo que contiene a F
2
, y por lo cual contiene propiamente a F
2
() , as que F
2
(, )
tendra mas de 8 elementos. Por otro lado, ya que F
2
(, ) es nito entonces F
2
(, ) = F
2
() ; esto no es
posible, pues cualquier campo contenido en R de la forma F
2
() tiene a lo mas 8 elementos, por lo tanto
F
2
() = C

.
Gracias al argumento desarrollado quedan dos casos por vericar:
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

= Z
n
para alg un n N de aqu que R tiene 2
n
elementos.
As R

es un grupo bajo la multiplicacion de orden 2

n
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

i=1
|R

: C

i
|
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
Z para cada i = 1, 2, ..., k. Por lo visto anteriormente
C
i
es un campo con 8 elementos, por lo cual |R

: C

i
| = |R

|/|C

i
| = (2
n
1)/7, luego
2
n
1 = 1 +
k

i=1
2
n
1
7
Reescribiendo esta ecuacion obtenemos 7(2
n
1) = 7+k(2
n
1), o bien, (7k)(2
n
1) = 7. Como 7 es
primo solo tenemos 2 casos. Si 7k = 1 y 2
n
1 = 7 entonces k = 6 y n = 3, luego R tiene 8 elementos;
Abstraction and Application, Vol. 1, (2009), 59-71. 68
considere alg un
i
, como C
i
es un campo de 8 elementos contenido en R entonces R = C
i
, 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 2
n
1 = 1, en cuyo caso k = 0 y n = 1, as que R = Z = F
2
.

4. Un anillo de division nito es un campo

Como vimos en el ultimo ejemplo de la seccion previa, el hecho de que R sea un anillo de division nito
permite usar mas herramientas bien conocidas de los cursos de algebra moderna. Tambien hemos visto en la
seccion previa que un anillo de division con potencia 7 es un campo y que un anillo de division nito y con
potencia 8 es un campo.
Teorema 4.1 (Wedderburn) Todo anillo de division nito es un campo.
Demostracion. Sea R un anillo de division nito. 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 nito Z. Puesto que R es nito tiene dimension nita como
un Z-espacio vectorial; se sigue que R

= Z
n
para alg un n N. Probaremos que R = Z o, equivalentemente,
que n = 1.
Para cada a R sea C
a
= {x R | xa = ax}. En el lema 3.6 probamos que Z C
a
y que C
a
es un
subanillo de division de R. Ahora, viendo a C
a
como un espacio vectorial sobre Z se sigue que C
a
tiene q
n(a)
elementos para alg un n(a) N.
Armamos 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 C
a
es un subanillo de division de R se sigue que C

a
= C
a
{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 ultimo, 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 = nkn(a) < n(a) as que 0 q
r
1 < q
n(a)
1,
luego la unica 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 C

a
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

: C

a
|= (q
n
1)/(q
n(a)
1).
Note que si a Z

entonces a tiene un solo conjugado pues xax

1
= xx
1
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

= C

a
(pues
|R

: C

a
| = 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

= C

a
; esto implica a Z

por lo cual, si a Z

, entonces
n(a) = 1 y n(a) = n.
La ecuacion de clase [Du, Teorema 7, pag. 124] implica lo siguiente:
q
n
1 = q 1 +

n(a)|n
n(a)=n
n(a)=1
q
n
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) = 1, n(a) = n,
sino una por cada clase de conjugacion 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
Abstraction and Application, Vol. 1, (2009), 59-71. 69
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 x
n
1 C[x]. Como C es algebraicamente cerrado, podemos factorizar
a x
n
1 del siguiente modo:
x
n
1 =

(x )
donde el producto es tomado sobre todas las races n-esimas de la unidad, esto es, todas las C tales que

n
= 1. Notemos que existen n races n-esimas de la unidad todas distintas entre s, pues (x
n
1)

= nx
n1
y

x
n
1, nx
n1

= 1 (ver [Hu, teorema 6.10, pag 161]). El conjunto de todas las C que satisfacen
n
= 1
forman un grupo bajo la multiplicacion. Como todo subgrupo nito 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 .
Sea
n
(x) =

(x) donde recorre todas las races n-esimas primitivas de la unidad. Este polinomio
es llamado el n-esimo polinomio ciclotomico. A continuacion listamos algunos polinomios ciclotomicos:

1
(x) = x 1.

2
(x) = x + 1.

3
(x) = x
2
+ x + 1.
Observe que todos esos polinomios son monicos y con coecientes enteros. Armamos que, en general,
n
(x)
es un polinomio monico con coecientes enteros.
Si d es un divisor de n, cada factor x de
d
(x) es un factor de x
n
1 pues, como
d
= 1 tenemos
que
n
=

n/d
= 1 y ademas x aparece solo una vez en la factorizacion de x
n
1 pues este ultimo no
tiene races repetidas. Recprocamente sea x un factor de x
n
1 y sea d el orden de en el grupo de las
races n-esimas de la unidad, de la denicion 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 x
n
1 y recprocamente
que cada factor de x
n
1 es un factor de
d
(x) para alg un d divisor de n, es decir,
x
n
1 =

d|n

d
(x). (4.2)
Probaremos que
n
(x) es un polinomio monico con coecientes enteros, por induccion sobre n:
i. Para n = 1, hemos visto que
n
(x) = x 1.
ii. Supongamos como hipotesis de induccion que
d
(x) es un polinomio monico con coecientes enteros
para d < n.
Demostremos el resultado para n. Por la hipotesis de induccion se sigue que en particular
d
(x) es un
polinomio monico con coecientes enteros para d | n con d < n, luego por (4.2) x
n
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 hipotesis de induccion, se sigue que g(x) es monico y con coecientes enteros.
Como g(x) es monico (esta hipotesis es fundamental ) existen polinomios q(x), r(x) unicos y con
coecientes enteros tales que x
n
1 = q(x)g(x) + r(x) donde r(x) = 0 o grado(r(x)) < grado(g(x))
[Hu, teorema 6.2, pag. 158], de esto se sigue que g(x)(
n
(x) q(x)) = r(x): si r(x) = 0 entonces

n
(x) = 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) = 0, se sigue que
n
(x) = q(x) de aqu
n
(x) es un
polinomio con coecientes enteros.
El hecho de que sea monico se sigue de que el termino principal de x
n
1 es igual al producto del
termino principal de g(x), que es m onico, por el de
n
(x).
Abstraction and Application, Vol. 1, (2009), 59-71. 70
Sea d un divisor de n, entonces x
d
1 | x
n
1 este hecho se sigue de la identidad:
x
n
1 = (x
d
1)(x
nd
+ x
n2d
+ + x
n(k1)d
+ 1) , donde n = kd,
as (x
n
1)/(x
d
1) es un polinomio con coecientes enteros. Ahora, armamos que para cualquier divisor
d de n, con d < n,

n
(x)
x
n
1
x
d
1
en el sentido de que el cociente es un polinomio con coecientes enteros. Para ver esto, note que
x
d
1 =

k|d

k
(x).
Puesto que cada divisor de d es un divisor de n, reagrupando los terminos en (4.2) obtenemos x
n
1 =
(x
d
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 expresion de x
d
1 como producto de las
k
(x). As (4.2) puede ser escrita como x
n
1 =

n
(x)(x
d
1)f(x) donde
f(x) =

k|n
kd
k=n

k
(x)
es un polinomio con coecientes enteros, as
x
n
1
x
d
1
=
n
(x)f(x),
luego

n
(x)
x
n
1
x
d
1
en el sentido de que el cociente, que es f(x), es un polinomio con coecientes enteros, lo cual demuestra la
armacion.
Como
n
(x) es un polinomio con coecientes enteros, tenemos que para cualquier entero t,
n
(t) es un
entero que divide a (t
n
1)/(t
d
1) para cualquier divisor d de n, con d < n de hecho (t
n
1)/(t
d
1) =

n
(t)f(t) con f(t) entero. En particular, retomando el contexto de la ecuacion (4.1), se tiene que

n
(q)
q
n
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, armamos que si n > 1 entonces |
n
(q)| > q 1 lo cual demostrara que (4.1) no tiene
solucion para n > 1. Para demostrar la armacion, 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
(q 1)
2
< (q Re ())
2
+ (Im())
2
= (|q |)
2
,
luego q 1 < |q |, pues q 1 > 0. De aqu que
|
n
(q)| =

i
|q
i
| > q 1
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, especcamente 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 nite 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.