Cuerpo nito

En lgebra abstracta, un cuerpo nito, campo nito o
campo de Galois (llamado as por variste Galois)[1] es
un cuerpo denido sobre un conjunto nito de elementos.
Los cuerpos nitos son importantes en teora de nmeros,
geometra algebraica, teora de Galois, y criptografa. To-
dos los cuerpos nitos tienen un nmero de elementos q
= pn , para algn nmero primo p y algn entero positivo
n. Para cada cardinalidad q as denida hay una y slo
una manera posible de denir un campo nito, por lo que
todos los campos nitos del mismo orden son isomorfos
entre s.[2]
1 Clasicacin
El polinomio f(X) se puede hallar factorizando Xq -X so-
bre Fp. El cuerpo Fq contiene una copia de Fp como sub-
cuerpo.
No hay otros cuerpo nitos.
2 Ejemplos
2.1 Cuerpo F[7]
Sea F[7] el conjunto de los enteros mdulo 7 bajo la adi-
cin y multiplicacin mdulo 7. Es decir, los elementos
de F[7] son las clases de equivalencia representadas por
los elementos [0], [1], [2], [3], [4], [5] y [6] donde:

Dado que todo cuerpo de caracterstica 0 contiene a los [a] + [b] = [j], siendo [j] el resto de la divisin de
racionales y es por lo tanto innito, todos los cuerpos ni- (a+b)/7 ( por ejemplo [5] + [6] = [4], puesto que
tos tienen caracterstica p prima. Por lo tanto, su tamao 5+6=11, que dividido por 7, da resto 4).
(o cardinalidad) es de la forma pn , para algn entero po-
[a] x [b] = [k] donde [k] es el resto de la divisin de
sitivo n > 0 (pues el cuerpo es un espacio vectorial sobre
(h x i)/7 (Por ejemplo, [5] x [6] = [2], puesto que 5
el subcuerpo de cardinalidad p generado por el elemento
x 6 = 30 y 30 entre 7, da como resto 2).
1). Sin embargo, no es cierto en general que todo cuerpo
de caracterstica prima sea nito. Se verica que F[7] es un anillo conmutativo con elemen-
Para todo primo p, los enteros mdulo p forman un cuer- to unitario [1]. Adems se cumple:
po de p elementos, denotado por Z/pZ (pues su grupo
aditivo es isomorfo al grupo cclico de p elementos), Fp, [1] x [1] = [1] = [6] x [6].
o GF(p); en algunos casos se usa Zp, aunque esta nota-
[2] x [4] = [1] = [4] x [2].
cin es evitada por teoristas de los nmeros, pues puede
crear confusin con el anillo de los nmeros p-dicos. To- [3] x [5] = [1] = [5] x [3].
do cuerpo con p elementos es isomorfo a ste.
Los elementos de F[7] distintos de cero forman un grupo
Si q = pn es una potencia de un primo, existe (salvo iso-
abeliano bajo la multiplicacin. F[7] es, pues, un campo.
morsmo) exactamente un cuerpo con q elementos, en
pn Puesto que tiene un nmero nito de elementos es un
concreto, el cuerpo de descomposicin de x x sobre
[3] n n campo nito.
Z/pZ . Dicho cuerpo se denota por Fq, F[p ] o GF(p )
y se puede construir de la siguiente manera:
2.2 Cuerpo F[22 ]
se toma un polinomio irreducible f(X) de grado n
con coecientes en Fp, El cuerpo F[22 ] se construye como el anillo cociente entre
el anillo de polinomios con coecientes en F[2] sobre el
se defne Fq = Fp[X] / <f(T)>, donde ideal generado por un polinomio irreducible, por ejemplo,
f(x) = x2 + x + 1.
Fp[X] denota el anillo de todos los polinomios
con coecientes en Fp,
F [4] = F2 [X]/x2 + x + 1
<f(X)> denota el ideal generado por f(X),
El cuerpo F4 puede representarse como el conjunto
la barra diagonal indica que se toma el anillo {0, 1, , + 1} donde la suma y la multiplicacin que-
cociente (denido de forma similar al grupo dan denidas considerando que 2 + + 1 = 0 . Por
cociente). ejemplo, para hallar

1
2 4 LOS PRIMEROS CUERPOS FINITOS

()(+1) = (2 +) = (2 ++1)+1 = 1 Fq es un subcuerpo de Fq , y Fq es una extensin de Fq

(ya que 1 + 1 = 0 en F2 )
Para encontrar un inverso multiplicativo de en este
campo, se debe encontrar un polinomio g() tal que
g() = 1 mod (2 + + 1) ; el polinomio
g() = + 1 cumple esta propiedad, de modo que es el
inverso de .
Obsrvese que el campo F4 no tiene relacin con el anillo Fpn . Aun si no se construyen de esta manera los cam-
Z4 de enteros mdulo 4.
. La razn para la direccin si es que hay polinomios
irreducibles de cualquier grado en Fpm .
Si se construyen los campos nitos de forma tal que Fpn
est efectivamente contenido en Fpm siempre que n divi-
da a m, se puede tomar la unin de todos esos campos;
sta es tambin un campo de caracterstica p, aunque in-
nito. Es la clausura algebraica de cada uno de los campos
pos, se puede hablar de su clausura algebraica, aunque su
construccin es ahora ms delicada.

2.3 Otros ejemplos

3.3 Teorema de Wedderburn
Para construir el campo F[33 ], se comienza con el polino-
mio irreducible (en F3 ) x3 + x2 + x - 1. Se tiene entonces
El teorema de Wedderburn, en ocasiones llamado peque-
o teorema de Wedderburn para distinguirlo del teorema
de Artin-Wedderburn, establece que todo dominio nito
F [3 ] = F3 [X]/x + x + x 1
3 3 2
es un cuerpo. Por tanto, en lo que se reere a los anillos
De modo equivalente, F[3 ] = {ax + bx + c | a, b, c nitos, no hay distincin entre dominios, anillos de divi-
3 2

F3 }, donde la multiplicacin se dene considerando que sin y cuerpos.[7] Este teorema es equivalente a armar
x3 + x2 + x - 1 = 0. que el grupo de Brauer de todo cuerpo nito es trivial.
( )
a0 b0
Las matrices A = con a0 y b0 elementos El teorema fue demostrado por Joseph Wedderburn en
b0 a0 1905, lo que supuso un avance en el mbito de los anilos
de Z3 forman un campo de 9 elementos, y el grupo mul- conmutativos.[8]
tiplicativo de este campo, es cclico, de orden 8. Es por
tanto isomorfo a F[32 ].
3.4 Endomorsmo de Frobenius
3 Propiedades La funcin

Todos los elementos de Fq satisfacen la ecuacin po-

linmica xq x = 0 . f : Fq Fq

3.1 Grupo multiplicativo denida por

Dado un cuerpo Fq , su grupo multiplicativo Fq es un f (x) := xp , donde q = pn

grupo cclico de orden q-1.[4]
Esto signica que si F es un campo nito de q elementos, es biyectiva y un endomorsmo, con lo cual es un
siempre hay al menos un elemento x F tal que F = { automorsmo de F. Es un caso particular de un tipo de
0, 1, x, x2 ,..., xq2 }. Los elementos x que cumplen esta homomorsmo llamado endomorsmo de Frobenius, en
condicin reciben el nombre de elementos primitivos y el honor a Ferdinand Georg Frobenius. El hecho de que el
nmero de ellos viene dado por (q 1) , donde es la mapa f sea sobreyectivo implica que todo campo nito
funcin indicatriz de Euler. es perfecto.
Dado un elemento primitivo x, entonces para todo a 0 El automorsmo de Frobenius tiene orden n, y por lo tan-
en F hay un nico n {0,..., q - 2} tal que a = xn . El valor to el grupo cclico generado por ste es el grupo completo
de n para un dado a se llama logaritmo discreto de a en de automorsmos del cuerpo.
base x. En la prctica, aunque calcular xn es relativamente
trivial dado n, encontrar n para un a dado es un problema
difcil, por lo que resulta de inters en criptografa.[6]
4 Los primeros cuerpos nitos
3.2 Subcuerpos F2 :

El cuerpo Fq (donde q=pm ) contiene una copia de Fq F3 :

(donde q'=pn ) si y slo si n divide a m. En esta situacin, F4 :
 3

5 Vase tambin
Teora de cuerpos.
Teora de anillos.

Anillo de divisin.

6 Referencias

6.1 Notas
[1] Judson, 2012, p. 358.

[2] (Artin, 2011, p. 459)

[3] Birkho y Mac Lane, 1999, p. 456.

[4] (Artin, 2011, p. 461)

[5] (Judson, 2012, p. 362)

[6] Discrete logarithm. planetmath.org. Consultado el 10

de septiembre de 2013.

[7] proof of Wedderburns theorem. planetmath.org. Con-

sultado el 12 de septiembre de 2013.

[8] Herstein, 1970, p. 366.

6.2 Bibliografa
Judson, Thomas W. (2012). Abstract Algebra.
Theory and Applications (pdf). disponible online ba-
jo licencia GFDL.
Artin, Michael (2011). Algebra (2 edicin). Pearson
Education. ISBN 978-0132413770.
Birkho, Garrett; Mac Lane, Saunders (1999). Al-
gebra (3 edicin). AMS Chelsea Publishing. ISBN
978-0821816462.

Herstein, I. N. (1970). Algebra Moderna. Mxico,

D.F.: Trillas.

7 Enlaces externos

Wikimedia Commons alberga contenido multi-

media sobre Cuerpo nito. Commons

Weisstein, Eric W. Finite Field. En Weisstein,

Eric W. MathWorld (en ingls). Wolfram Research.
4 8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Cuerpo nito Fuente: https://es.wikipedia.org/wiki/Cuerpo_finito?oldid=94360019 Colaboradores: Fibonacci, Taichi, Akhram, Yurik-
Bot, Echani, Wewe, Eskimbot, Alexav8, Ingenioso Hidalgo, Thijs!bot, Gusgus, TXiKiBoT, VolkovBot, YonaBot, SieBot, Drinibot, Boti-
to777, Raulshc, Luckas-bot, MystBot, Nallimbot, ArthurBot, Rubpe19, MetroBot, Legobot, Barymar, BenjaBot y Annimos: 12

8.2 Imgenes
Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public do-
main Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0