Está en la página 1de 4

Cuerpo finito

En álgebra abstracta, un cuerpo finito, campo finito o El polinomio f(X) se puede hallar factorizando Xq -X so-
campo de Galois (llamado así por Évariste Galois)[1] es bre Fp. El cuerpo Fq contiene una copia de Fp como sub-
un cuerpo definido sobre un conjunto finito de elementos. cuerpo.
Los cuerpos finitos son importantes en teoría de números, No hay otros cuerpo finitos.
geometría algebraica, teoría de Galois, y criptografía. To-
dos los cuerpos finitos tienen un número de elementos q
= pn , para algún número primo p y algún entero positivo
n. Para cada cardinalidad q así definida hay una y sólo 2 Ejemplos
una manera posible de definir un campo finito, por lo que
todos los campos finitos del mismo orden son isomorfos 2.1 Cuerpo F[7]
entre sí.[2]
Sea F[7] el conjunto de los enteros módulo 7 bajo la adi-
ción y multiplicación módulo 7. Es decir, los elementos
de F[7] son las clases de equivalencia representadas por
1 Clasificación los elementos [0], [1], [2], [3], [4], [5] y [6] donde:

Dado que todo cuerpo de característica 0 contiene a los • [a] + [b] = [j], siendo [j] el resto de la división de
racionales y es por lo tanto infinito, todos los cuerpos fini- (a+b)/7 ( por ejemplo [5] + [6] = [4], puesto que
tos tienen característica p prima. Por lo tanto, su tamaño 5+6=11, que dividido por 7, da resto 4).
(o cardinalidad) es de la forma pn , para algún entero po-
• [a] x [b] = [k] donde [k] es el resto de la división 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 característica prima sea finito. Se verifica que F[7] es un anillo conmutativo con elemen-
Para todo primo p, los enteros módulo p forman un cuer- to unitario [1]. Además se cumple:
po de p elementos, denotado por Z/pZ (pues su grupo
aditivo es isomorfo al grupo cíclico 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].
ción es evitada por teoristas de los números, pues puede
crear confusión con el anillo de los números 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 multiplicación. F[7] es, pues, un campo.
morfismo) exactamente un cuerpo con q elementos, en
pn Puesto que tiene un número finito de elementos es un
concreto, el cuerpo de descomposición de x − x sobre
[3] n n campo finito.
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 coeficientes en Fp, El cuerpo F[22 ] se construye como el anillo cociente entre
el anillo de polinomios con coeficientes en F[2] sobre el
• se defíne 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 coeficientes 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 multiplicación que-
cociente (definido de forma similar al grupo dan definidas considerando que α2 + α + 1 = 0 . Por
cociente). ejemplo, para hallar

1

. con lo cual es un siempre hay al menos un elemento x ∈ F tal que F = { automorfismo de F. en ocasiones llamado peque- ño teorema de Wedderburn para distinguirlo del teorema de Artin-Wedderburn.[4] Esto significa que si F es un campo finito de q elementos. no hay distinción entre dominios. Por tanto.. anillos de divi- 3 2 F3 }. x. Los elementos x que cumplen esta homomorfismo llamado endomorfismo de Frobenius. por lo que resulta de interés en criptografía. c ∈ finitos. se comienza con el polino- mio irreducible (en F3 ) x3 + x2 + x .[7] Este teorema es equivalente a afirmar x3 + x2 + x .1 = 0. F4 : . f : Fq → Fq 3.3 Otros ejemplos 3. Dado un elemento primitivo x. el polinomio da a m. g(α) = α + 1 cumple esta propiedad. se debe encontrar un polinomio g(α) tal que esté efectivamente contenido en Fpm siempre que n divi- α × g(α) = 1 mod (α2 + α + 1) . que el grupo de Brauer de todo cuerpo finito es trivial.1. en lo que se refiere a los anillos De modo equivalente. q . encontrar n para un a dado es un problema difícil. de modo que es el ésta es también un campo de característica p.conmutativos.. xq−2 }. ( ) a0 b0 Las matrices A = con a0 y b0 elementos El teorema fue demostrado por Joseph Wedderburn en −b0 a0 1905. nito.[8] tiplicativo de este campo. En esta situación. donde q = pn grupo cíclico de orden q-1. y el grupo mul. Es por tanto isomorfo a F[32 ]. de orden 8. En la práctica... Se tiene entonces El teorema de Wedderburn.2 4 LOS PRIMEROS CUERPOS FINITOS (α)(α+1) = (α2 +α) = (α2 +α+1)+1 = 1 Fq′ es un subcuerpo de Fq . base x. 1.. La razón para la dirección “si” es que hay polinomios irreducibles de cualquier grado en Fpm . El valor to el grupo cíclico generado por éste es el grupo completo de n para un dado a se llama logaritmo discreto de a en de automorfismos del cuerpo. Aun si no se construyen de esta manera los cam- Z4 de enteros módulo 4. se puede tomar la unión de todos esos campos.2} tal que a = xn . se puede hablar de su clausura algebraica.3 Teorema de Wedderburn Para construir el campo F[33 ].1 Grupo multiplicativo definida por Dado un cuerpo Fq .2 Subcuerpos F2 : El cuerpo Fq (donde q=pm ) contiene una copia de Fq′ F3 : (donde q'=pn ) si y sólo si n divide a m. entonces para todo a ≠ 0 El automorfismo de Frobenius tiene orden n. lo que supuso un avance en el ámbito de los anilos de Z3 forman un campo de 9 elementos. F[3 ] = {ax + bx + c | a. 3. x2 . su grupo multiplicativo Fq× es un f (x) := xp .. donde la multiplicación se define considerando que sión y cuerpos. es perfecto. Es un caso particular de un tipo de 0. en condición reciben el nombre de elementos primitivos y el honor a Ferdinand Georg Frobenius. pos. donde φ es la mapa f sea sobreyectivo implica que todo campo finito función indicatriz de Euler.4 Endomorfismo de Frobenius 3 Propiedades La función • Todos los elementos de Fq satisfacen la ecuación po- linómica xq − x = 0 . aunque infi- inverso de α . aunque su construcción es ahora más delicada. Es la clausura algebraica de cada uno de los campos Obsérvese que el campo F4 no tiene relación con el anillo Fpn . es cíclico. Para encontrar un inverso multiplicativo de α en este Si se construyen los campos finitos de forma tal que Fpn campo.[6] 4 Los primeros cuerpos finitos 3. es biyectiva y un endomorfismo. establece que todo dominio finito F [3 ] = F3 [X]/⟨x + x + x − 1⟩ 3 3 2 es un cuerpo. aunque calcular xn es relativamente trivial dado n. 2. b.. y Fq es una extensión de Fq′ (ya que 1 + 1 = 0 en F2 ) . El hecho de que el número de ellos viene dado por φ(q − 1) . y por lo tan- en F hay un único n ∈ {0.

Theory and Applications (pdf). ISBN 978-0821816462.1 Notas [1] Judson. Pearson Education. Garrett. .F. disponible online ba- jo licencia GFDL. 1970. Mac Lane. [7] «proof of Wedderburn’s theorem». En Weisstein.2 Bibliografía • Judson. • Artin. p. AMS Chelsea Publishing. 6 Referencias 6. D. 6. Wolfram Research. (1970). Algebra (2ª edición). 366. 2012. MathWorld (en inglés). Al- gebra (3ª edición). Thomas W. (2012). Abstract Algebra. 2011. p. Algebra Moderna. I. • Teoría de anillos. 1999.: Trillas. 461) [5] (Judson. p. [8] Herstein. Eric W. p. 456. 2012. Saunders (1999). ISBN 978-0132413770. N. 3 5 Véase también • Teoría de cuerpos.org. «Finite Field». 459) [3] Birkhoff y Mac Lane. 358. p. • Birkhoff. Michael (2011). [2] (Artin. 2011. 362) [6] «Discrete logarithm». planetmath.org. Consultado el 10 de septiembre de 2013. Eric W. Commons • Weisstein. planetmath. 7 Enlaces externos • Wikimedia Commons alberga contenido multi- media sobre Cuerpo finito. [4] (Artin. • Herstein. • Anillo de división. México. Con- sultado el 12 de septiembre de 2013. p.

) Artista original: SVG version was created by User:Grunt and cleaned up by 3247. Wewe. Luckas-bot. MystBot. Akhram. created by Reidab. Barymar. Raulshc. BenjaBot y Anónimos: 12 8. Rubpe19. colaboradores y licencias 8. MetroBot.2 Imágenes • Archivo:Commons-logo. (Former versions used to be slightly warped. SieBot. Nallimbot.org/wikipedia/commons/4/4a/Commons-logo.1 Texto • Cuerpo finito Fuente: https://es. Boti- to777.org/wiki/Cuerpo_finito?oldid=94360019 Colaboradores: Fibonacci.wikipedia. Drinibot. ArthurBot. TXiKiBoT. Alexav8.4 8 ORIGEN DEL TEXTO Y LAS IMÁGENES. Gusgus. YonaBot.0 . 8. Echani. using a proper partial circle and SVG geometry features. Legobot.wikimedia. Taichi.svg Licencia: Public do- main Colaboradores: This version created by Pumbaa. COLABORADORES Y LICENCIAS 8 Origen del texto y las imágenes. Eskimbot.3 Licencia del contenido • Creative Commons Attribution-Share Alike 3. VolkovBot. Thijs!bot. Ingenioso Hidalgo. Yurik- Bot. based on the earlier PNG version.svg Fuente: https://upload.