Teorema de Wedderburn

El teorema de Wedderburn es, en matemticas y ms concretamente en lgebra

un teorema sobre el cuerpo.
Estipula que todo cuerpo terminado este comutativo.
Se nombr en el honor de Jos Wedderburn (1882 - 1948) para su artculo de 1905
proponiendo tres demostraciones de este teorema.
Observacin sobre la terminologa: la definicin anglosaxone equivalente field de un
cuerpo pide que la multiplicacin sea comutativa. Suprime la distincin entre cuerpo
comutativo y cuerpo. El convenio ms usado en Francia[1] es precisar si el cuerpo es
comutativo o no, aunque no es general. Es la utilizada en este artculo.
o

Declaracin del teorema

Cualquier cuerpo terminado es comutativo.

Historia
El desarrollo de la teora de los cuerpos terminados empieza hacia el final de Siglo
XIX. La teora de representaciones de los grupos terminados[2] ameno Frobenius (1849
- 1917) a interesarse por los cuerpos de caracterstica terminado diferentes de los

primer cuerpos (es decir, generado por la unidad de la multiplicacin). El teora de

Gals y elautomorfismo de Frobenius permiten rpidamente la determinacin de la
estructura de extensiones terminadas de Fp el cuerpo terminado a p elementos. La
clasificacin de los cuerpos terminados abelianos es rpida. Leonard Dickson (1874,
1954), profesor aUniversidad de Chicago publique[3] el primer estudio sistemtico.

Oswald Veblen trabaja en esta poca sobre el geometras sobre estructuras terminadas
en la misma universidad. Jos Wedderburn los junta en 1904 y trabaja en estrecha
colaboracin con ellos.
En 1905, de vuelta en Europa, Wedderburn publica un artculo proponiendo tres
pruebas del commutativit de todos los cuerpos terminados. Si los dos ltimos se
derivan directamente de trabajos de Dickson, que Wedderburn conoca, la primera
convence a la comunidad de la paternidad de Wedderburn sobre el teorema. Slo ms
tarde que la primera prueba apareci como incompleta[4].

Demostracin

En este apartado, K es un cuerpo terminado no comutativo y p su caracterstica. La

demostracin propuesta es una demostracin por absurdidad, ella[5] es debida a Ernst
Witt en 1931.

Extensin algebraica
Artculo detallado: Extensin algebraica.

Al igual que cuerpo, K contiene un primero cuerpo, (es decir, el ms pequeo

bajocuerpo que contiene 0 y 1). Su caracterstica es no nula ya que se termina el
cuerpo, K contiene pues Fp. Este cuerpo es comutativo ya que isomorfo a Z/pZ. O sea
Z el centro del cuerpo K y q su cardenal. Z es un cuerpo comutativo. Como K de
cardenal se termina, se provee de una estructura de espacio vectorial de dimensin
terminada d sobre Z. Su cardenal es pues igual a qd.
Todo bajocuerpo K' de K envase Z es un espacio vectorial sobre Z pues su cardenal es
tambin una potencia de q y K es un espacio vectorial sobre K' pues el cardenal de K es
una potencia de K' . Esto demuestra que la dimensin de K' es un divisor de la de K
sobre Z.
O sea x un elemento de K y Zx el conjunto de los elementos de K conmutando con x. Zx
es un bajocuerpo de K envase Z. Si dx es la dimensin de Zx sobre K entonces dx es un
divisor de d.

O sea q el cardenal del centro de K y Zx el conjunto de los

elementos de K conmutando con x. Zx es de cardenal una
potencia dx ime de q. Adems si d es la totalidad como el
cardenal de K es igual a qd entonces dx divida d.

Accin por conjugacin

Artculo detallado: Accin por conjugacin.

K*, el grupo de los elementos inversibles provedo de la ley multiplicativa, es

partitionn por la accin de conjugacin. La accin de conjugacin es elaccin de
grupo quin hace operar K* sobre s mismo por la ley *:
El Frmula de las clases indique que la clase de x es de cardenal el de K* dividido por
el de Zx*, ya que el centralizador de x en K* es el bajocuerpo de los elementos que
conmutan con x excluida el valor cero. Los elementos de Z* tienen una clase reducida a
un elemento. El Cardenal de K* es igual a la suma de los cardenales de las distintas
clases de conjugacin. Se obtiene, si (xI) es una consecuencia de representantes de los
k clases de conjugacin diferentes de aqullas slo que contienen un singleton
elemento de Z*:
Esta frmula, segn los valores calculados al primer apartado da:

Eso permite definir el fraccin racional y la igualdad siguientes:

Polinomio ciclotmico
Artculo detallado: Polinomio ciclotmico.

La teora de los polinomios ciclotmicos a coeficientes en el nmeros racionales

demuestra la igualdad siguiente, si e[X] designa el polinomio ciclotmico de ndice e.
El polinomio ciclotmico admite para raz todas el races primitivas de la unidad. El
denominador de cada fraccin racional no posee ninguna raz primitiva d-i de la
unidad ya que todos el dx divida estrictamente d (si no fuera el caso, entonces el
cardenal del centralizador de x sera igual al de K* y x sera un elemento de Z*). Cada
una de las fracciones es pues un polinomio mltiple del polinomio ciclotmico de
ndice d. Es tambin el caso para el primer trmino. F[X] es pues un polinomio
mltiple del polinomio ciclotmico de orden d. La divisin euclidiana de F[X] por
d[X] en lo racionales no tiene resto, la divisin euclidiana de F[X] por d[X] en el
totalidades es posible ya que d[X] es unitario y a para resto el mismo que aqul
divisin en lo racionales (ya que el resto es nico). El resto que es igual a cero, se
deduce que F[X] es el producto de d[X] por un polinomio a coeficientes en Z. Se
demostr que:

Conclusin
En el punto q, F[X] toma el valor q - 1. Q[X] no puede ser nulo y, como es a
coeficientes enteros su valor, en valor absoluto, es al menos igual a 1. Lo que
demuestra que:
Ahora bien d[q] es el producto de los trminos q - z cuando z descrito el conjunto de
las races primitivas d ieme de la unidad (las races primitivas de la unidad son las de
d[X] y el polinomio es unitario). Eso demuestra que al menos uno de los factores es
ms pequeo, en valor absoluto a q - 1, existe pues una raz al menos d-i primitivo de
la unidad u y una totalidad estrictamente superior a uno (ya que Z contiene al menos
dos elementos 0 y 1 como:
Ahora bien este aumento es imposible, lo que termina el razonamiento por
absurdidad. La figura de derecha ilustra esta imposibilidad. El valor de q - 1 se ilustra
en verde, la de q - u en rojo. Al mismo tiempo la abscisa y la ordenada en valor
absoluto de la caracterstica roja son superiores a la de la caracterstica verde, ya que
se observa que u no puede ser igual a 1 ya que es una raz primitiva.