Cuerpos finitos

Jos Luis Barla

Universidad Nacional de La Plata.
Facultad de Ciencias Exactas.
Departamento de Matemtica.
Estructuras Algebraicas.
Resumen
La finalidad de este trabajo, es abordar el tema de los cuerpos finitos haciendo hincapi en la construccin de estos
objetos matemticos. Para ello, me he abocado al estudio de los cuerpos de escisin del polinomio
X
p
n
X e
p
[X] con p, n e siendo p un nmeroprimo.
Cuando n=1, nos encontramos con el tan conocido cuerpo:
f ( p) f p, o comose le suelle llamar en forma abreviada
p
.
/ ( p) ser el cuerpo primo de todos los cuerpos de rdenes superiores que extiendan al mismo. Siendo adems
quien imprima la caracterstica, a todos ellos.
Cuando n>1, nos encontramos con estructuras isomorfas al cociente

p
( f (x)), donde f (x) es un polinomiode grado n, irreduciblesobre
p
[X] .
Al abordar estas estructuras, enseguida nos percatamos que la mayor dificultad se encuentra en la construccin de
tales polinomios y la obtencin de un elemento primitivo en estos cuerpos.
Si bien la construccin de polinomios irreducibles seguir quedando para el clculo numrico, en el caso general; a
lo largo de este texto se proveern algunas herramientas que faciliten esta tarea y la de hallar elementos primitivos.
Para tratar de hacer ms ordenada la lectura, este artculo se halla estructurado en tres bloques principales, a saber:
Preliminares.
Ncleo.
Apndice.
En las preliminares hallamos algunas definiciones y resultados sobre extensiones algebraicas y de Galois, se han
omitido las demostraciones para no extender inecesariamente el tranbajo. De todos modos hay sobrada literatura
sobre estos temas, entre la cual se puede consultar la hallada en las referencias de este artculo.
El ncleo intitulado "Cuerpos finitos", al igual que el escrito. Es el que contiene los resultados principales de este
trabajo. Algunos de los asertos aqu demostrados no los he ubicado en la vasta bibliografa consultada, por lo que
podra decir que son de mi propia elaboracin. Si bien no pretendo que estos resultados sean originales, por lo
menos son difciles de hallar en textos de la temtica. Coronando al ncleo, puse un ejemplo, que espero sea lo
suficientementeilustrativo de los resultados previos.
Finalmente, en el apndice se desarrollan algunas herramientas, que aunque de distintas materias, son tiles para
laborar los temas aqu tratados.
3 de Noviembre de 2012.
Preliminares
Extensiones Algebraicas
Definicin 1. Un cuerpo es un anillo conmutativo con divisin.
Observemos que F es un espacio vectorial sobre K y se define el grado de F, [F:K]=n, donde n es la dimensin del espacio vectorial. Esta puede
ser finita o infinita, conforme a lo cual, el orden de la extensin lo ser. Si A K, entonces K (A) es el la menor estensin de cuerpos sobre K,
que contiene a A. Una extensin F/K es llamada simple, se existe e F tal que F=K ().
Definicin 2. Sea K un cuerpo, una extensin de de cuerpos F/K, es un monomorfismo de K sobre un cuerpo F, con K F.
Definicin 3. Sea F una extensin de cuerpos de K, es algebraica sobre K, si existe algn polinomio no constante f e K[X] tal que f ()=0.
Una extensin F es llamada algebraica sobre K si para todo e F, es algebraica sobre K.
Si e F es tal que para todo f e K[X] con f no constante f() = 0, entonces se dice que es trascendente sobre K.
1
Una extensin F es llamada algebraica sobre K si para todo e F, es algebraica sobre K.
Si e F es tal que para todo f e K[X] con f no constante f() = 0, entonces se dice que es trascendente sobre K.
Teorema 1. Toda extensin finita de cuerpos, es algebraica.
Definicin 4. Sea F una extensin de K y e F algebraico sobre K, entonces el polinomio mnimo de sobre K es el nico polinomio mnico
irreducible m(x) e K[X] tal que para cualquier f(x) e K[X], f()=0 si y solo si, m(x) divide a f(x).
Definicin 5. Un cuerpo K es llamado algebraicamente cerrado si para cualquier polinomio no constante f(x) e K[X], existe e K tal que
f()=0. La clausura algebraica de un cuerpo K, es una extensin K de K, que es algebraicamente cerrada.
Definicin 6. Sean F
1
, F
2
extensiones de cuerpos de K, un homomorfismo : F
1
F
2

que deja fijo todo elemento de K, es llamado K-Homomorfismo i.e. (a)=a para todo a e K. Decimos que dos extensiones F
1
, F
2
son K-
isomrficas si existe algn K-isomorfismo:
: F
1
F
2
.
Definicin 7. Sea F una K-Extensin, f(x) e K[x] se dice que escinde sobre F, si es un polinomio constante o si existe
i
e F, tal que:
f (x) = [
i=1
n
(x
i
)
donde e K es el coeficiente principal.
Observacin 1. La extensin F es un cuerpo de escisin de f(x) si f(x) escinde sobre F pero no sobre cualquier otro subcuerpo propio de F que
contenga a K. Ahora supongamos que K
1
y K
2
son dos cuerpos isomrficos con un isomorfismo y f(x) e K[X]. Si F
1
, F
2
son los cuerpos de
escisin de f(x) y (f(x)) respectivamente, entonces existe un isomorfismo : F
1
F
2
que extiende i.e. el cuerpo de escisin de f(x) sobre K es
nico salvo isomorfismos. De otra manera, si F es un cuerpo de escisin de f(x), y , e F, entonces existe un K-automorfismode F que manda a
si y solo si y tienen el mismo polinomio mnimo.
Definicin 8. Una extensin F/K es llamada normal si todo polinomio irreducible f(x)e K[X]
que tiene alguna raz sobre F, entonces f(x) escinde sobre F.
Lema 0. ( Artin) Sea G un grupo finito de automorfismos de un cuerpo F y sea
K = F
G
= e F () = ! e G. Entonces F: K s (G).
Teorema 2. Si F es un cuerpo de escisin de un polinomio irreducible f(x)e K[X], entonces F es normal. Como pronto veremos F
p
n / F
p
con p
primo, es una extensin normal.
Definicin 9. Un polinomio irreducible f(x) se le dice separable sobre K si no tiene races mltiples en su cuerpo de escisin.
Observacin 2. Un elemento algebraico e F es separable sobre K, si su polinomio mnimo es separable sobre K. Decimos que una extensin
F/K es separable si y solo si todos los elementos de F son separables.
Definicin 10. Un cuerpo F es perfecto, si todo polinomio f(x) e F[X] es separable.
Definicin 11. Toda extensin que es a la vez normal y separable es llamada extensin de Galois.
Extensiones de Galois
Definicin 12. Se dice que una extensin de campos F/K es de Galois cuando es normal y separable. Como F/K es normal, esto implica que
F/K es algebraica. Dada una extensin arbitraria de campos F/K, definimos su grupo de Galois, Gal (F/K), como el grupo de los K automorfis-
mos de F. Si suponemos que F/K es de Galois y que
F K
entonces podremos identificarGal (F/K) con:
| : F K es un Kmorfismo|
K = F
G
= e F () = ! e G. Entonces F: K s (G).
Teorema 3. ( Fundamental de la Teora de Galois) Sea F/K una extensin finita de Galois con G = Gal (F/K). Entonces :
(a) La funcin que a un cuerpo intermedio E le asocia el grupo H de los E - automorfismos de F, es una biyeccin del conjunto de los cuerpos
intermedios al conjunto de los subgrupos de G, cuyo inverso enva cada subgrupo de G al conjunto de sus puntos fijos.
(b) La extensin F/E es de Galois para todo cuerpo intermedio E.
2 Cuerpos Finitosrm.nb
(b) La extensin F/E es de Galois para todo cuerpo intermedio E.
(c) La extensin E/K es de Galois si y slo si el subgrupo asociado a E es normal en G.
Cuando esto sucede , :G Gal (E/K) dado por

E
es un morfismo suprayectivo de grupos con ncleo Gal (F/E), de manera que
Gal (E/K) = G/Gal (F/E).
(d) Si el cuerpo intermedio E est asociado al subgrupo H de G y e G, entonces E es un cuerpo intermedio asociado al subgrupo
H
1
de G.
(e) | F : K | = (G).
Teorema 4. (Steinitz) Una extensin finita F/K es simple si y slo si el nmero de campos intermedios es finito.
Teorema 5. (del elemento primitivo) Toda extensin separable y finita es simple.
Teorema 6. (Artin) Sea G un grupo finito de automorfismos de un campo F y sea:
K = F
G
. Entonces Ff K es una extensin finita de Galois con Gal (Ff K) = G.
3
Cuerpos finitos
Resultados bsicos
Definicin 13. Sea F un cuerpo finito, se llama caracterstica car(F) a ne tal que n.1=0.
donde 1 es la unidad de F y
n .1 = 1++1
n veces
Proposicin 1. Sea K un cuerpo finito. Entonces carac K es un nmero primo.
Dem. Si n*m*1 = 0 = (n*1) (m*1) = 0 contrariamente a que K es un dominio de integridad. El cuerpo primo de K es /p.
Proposicin 2. El orden de todo cuerpo finito es una potencia de la caracterstica.
Dem. Si K es un cuerpo con (K)= q y carac K = p, entonces la dimensin de K como espacio vectorial sobre

p
:= f p
es un entero n, es decir
K :
p
j = n,
por lo tanto si

1
, ,
n
es una base de K sobre
p
y u e K,
u = a
1

1
+ + a
n

n
, con a
1
, , a
n
e
p
,
perohay p
n
de estas sumas distintas consecuentemente q = p
n
.
Proposicin 3. Si F es un cuerpo finito con p
r
elementos, entonces F es un cuerpo de escisin del polinomio
X
p
r
-X
sobre su cuerpo primo.
Dem. Sea F
-
:= F\{0}. Entonces F
-
es un grupo multiplicativo finito ( De hecho un grupo cclico,
ver Corolario 7. del apndice ) con p
r
1 elementos.
Por lo tanto , es a
p
r
1
=1 para a e F
-
con a=0. Luego todo a e F, inclusive a=0, cumple la ecuacin a
p
r
= a. En otras palabras, cada a e F es una
raz del polinomio X
p
r
-X . Este polinomio tiene coeficientes1,-1 y 0 los cuales pertenecen al cuerpo primo.
Ahora X
p
r
-X tiene grado p
r
, luego tiene a lo sumo p
r
races distintas en un cuerpo cualquiera. Los elementos del cuerpo F son p
r
races de este
polinomio y y son distintas. En sntesis, este polinomio escinde en F[X]:
X
p
r
X = [
a eF
( X a)
Es evidente y es trivial que F es generado, sobre su cuerpo primo, por el conjunto de races
{a: a e F}, as que F es un cuerpo de escisin de X
p
r
-X.
..
Teorema 7.
Si q = p
r
es una potencia de un primo, existe un cuerpo finito, nico salvo isomorfismo, con q elementos.
Dem. Considrese el polinomio
X
p
r
X e
p
[x].
Por el teorema de Kronecker, hay una extensin
K
p
tal que f (x) escinde en K. Se puede suponer, sin perder generalidad, que K est generado sobre
p
por las races de f (x), de modo que es un
cuerpo de escisin para f (x) sobre
p
.Y K es nico salvo
p
-isomorfismo.La derivada de f (x) es
4 Cuerpos Finitosrm.nb
tal que f (x) escinde en K. Se puede suponer, sin perder generalidad, que K est generado sobre
p
por las races de f (x), de modo que es un
cuerpo de escisin para f (x) sobre
p
.Y K es nico salvo
p
-isomorfismo.La derivada de f (x) es
f ' (x) = p
r
X
p
r
1
1 = 1
en
p
[X]
Por lo tanto f (x) no tiene races mltiples.
Sea E , K el conjuntode las p
r
races distintas de f (x). Si , e E, entonces
()
p
r
=
p
r

p
r
= ,
as que e E ; tambin
()
p
r
=
p
r
= , as que e E.
(Observese que - = si p = 2) Adems, por el teorema binomial, es
( + )
p
r
=
p
r
+
p
r
1

p
r
1
+ +
p
r
p
r
1

p
r
1
+
p
r
1
=
p
r
+
p
r
= + ,
porque p
p
r
k
si k = 1, , p
r
1.
Por lo tanto + e E tambin. Se concluyeque E es un subcuerpode K con p
r
elementos.
Por la proposicin 3. se tiene que E = K.

Construccin de cuerpos finitos

Ahora abordaremos la construccin de cuerpos finitos. Si K es un cuerpofinito y (K) = p
ya sabemos que
p
tiene estructura de cuerpo. Construiremos un cuerpo K con (K) = p
n
y 1 < n e .
Sea K =
p
[X] ( f (x)) donde f (x) e
p
[X] es un polinomioirreduciblecon deg ( f (x)) = n.
Sabemos por que
p
[X] ( f (x)) es un cuerpo (Corolarios 8 y 9 del Apndice) adems siendo
g(x) e
p
[X] con deg (g (x)) > n, se tiene
g(x)=q(x)p(x)+r(x) donde r(x),q(x) e
p
[X] y deg(r(x))<n.
g(x)=q(x)p(x)+r(x) donde r(x),q(x) e
p
[X] y deg(r(x))<n.
Por lo tanto, todos los elementos de K, estarn representados por la clase de los polinomios con grado menor que n, es decir como
a
0
+ a
1
x++ a
n1
x
n1
+( f(x))
Obviamente hay p
n
de estas clases distintas, siendo claramente (K)=p
n
. El problema ms difcil para establecer esta construccin es hallar un
polinomio irreducible f(x)e
p
[X]. Pero antes de tratar este tema, veremos como hallar los elementos de K.
Una forma prctica de hallar los elementos de
p
[X] ( f (x)) = K , es utilizando numeracin en base p, para eso, primeroveamos un ejemplo.
Se quiere construir el cuerpode caracterstica p = 2,
con q = 2
3
.Los 8 polinomios que conformanK se los puede codificarde la siguiente manera (Queda sobreentendidoel ideal ( f (x))) :
Ord Cdigo Polinomio
0 000 0
1 001 1
3 010 x
3 011 x 1
4 100 x
2
5 101 x
2
1
6 110 x
2
x
7 111 x
2
x 1
Tabla 1.
5
Tabla 1.
Es decir de los 8 polinomios de K, si quisieramos escoger el 6 , conforme a la codificacin establecida, 6 = 110
2
, que se corresponde con x
2
+x. En
general para (K)=p
n
y 0s r< p
n
Si r = _
i=0
n1
p
i
a
i
se tiene f
r
(x) = _
i=0
n1
a
i
x
i
Observacin 3. Con esta construccin, solo hemos obtenido los elementos del cuerpo, pero no su estructura, Si bin aplicando las operaciones
mdulo p, podemos sumar estos elementos, pero su mltiplicacin depender del polinomio irreducible utilizado como ideal. Si quisiramos sumar
los elementos 5 y 7 de la tabla, la forma de proceder sera sumando bit a bit mdulo 2 (bitwise OR), los cdigos de cada elemento:
5 101 x
2
+1
7 111 x
2
+x +1
2 010 x
Tabla 2.
En lo que sigue veremoslo concernientea polinomios irreducibles de grado n en
p
[X],
para poder construir el cuerpo K =
p
[X] ( f (x)) , con (K) = p
n
.
Adems demostraremos el teorema del elemento primitivo en K, que nos permitir escoger un f(x) apropiado para que x+( f(x)) sea uno de los
elementos primitivos de K.
Factorizacin en mdulo primo
Ahora intentaremos determinar exactamente, cuando el nsimo polinomio ciclotmico expande sobre un mdulo primo particular. En lo que sigue,
asumimos que todo cuerpo tiene una clausura algebraica, luego cuando estemos en cuerpos finitos, los vamos a tomar como subcuerpos de F
p
.
Teorema 8.
! n 1, X
p
n
X = [
dfn
f
d
( X),
donde f
d
( X) es el producto de todos los polinomios irreducibles en F
p
[X], de grado d.
Dem. Sobre F
p
[X], X
p
n
X es relativamenteprimo con su derivada i.e.
| X
p
n
X, p
n
X
p
n
1
1] = 1,
entonces no hay races mltiples, por lo tanto es suficiente probar , si f (X) es un polinomio irreducible de grado d, entonces f (X) divide X
p
n
X sii
d divide a n.
Sea una raz de f ( X) y F = F
p
() una extensin de grado d, entonces F consiste de p
d
elementos y todos estos elementos satisfacen la ecuacin
X
p
d
X = 0
i.e. F es el cuerpode escicin para X
p
d
X. En efectoel grupo multiplicativode F es de orden
p
d
1 y luego cada X = 0 con X e F satisface X
p
d
1
= 1.
Supongamos d n , entonces p
d
1 divide a p
n
1 entonces X
p
d
X X
p
n
X. (Teorema14. del Apndice)
Por lo tanto es tambin raz de X
p
n
X, entonces, f (x) divide X
p
n
X.
RecprocamenteSupongamos f (x) divide X
p
n
X entonces
p
n
= 0.
Para cualquier elemento arbitrario a
1

d1
a
d
F, Se tiene
|a
1

d1
+ + a
d
]
p
n
= a
1
|
p
n
]
d1
+ + a
d
= a
1

d1
+ + a
d
,
por lo tanto, todo elemento de F satisface la ecuacin X
p
n
X 0,consecuentemente
X
p
d
X X
p
n
X lo que implica d n.

6 Cuerpos Finitosrm.nb

Teorema 9.
Sea F
q
un cuerpo finito con q elementos y caracterstica p, ne tal que p n. El n_simo polinomio ciclotmico T
n
(x), factoriza sobre F
q
como
producto de factores irreducibles , todos del mismo grado d, donde d es el orden de q mod n ( q
d
1 mod n).
Dem. Siendo p la caracterstica de F
q
, entonces p n implica (q,n)=1, esto garantiza la existencia de una raz primitiva nsima de la unidad sobre
F
q
.
Sea
n
una de ellas, entonces
n
e F
q
k sii
n
q
k
-
n
=0 que es verdadero sii q
k
1 (mod n). El mnimo entero positivo para lo que esto es cierto es d.
Luego
n
e F
q
d pero no a otro subcuerpo propio de F
q
d .
De esta manera, el polinomio mnimo de
n
sobre F
q
d tiene grado d. Siendo
n
una raz primitiva nsima cualquiera, el resultado se sigue fcilmente
porque podemos dividir T
n
(x) sucesivamente por los polinomios mnimos de la raz n_sima sobre F
q
d , i.e.
aunque toda raz nsima primitiva puede tener distintos polinomios mnimos, estos tienen el mismo orden en el cuerpo finito F
q
d , por lo tanto sus
polinomios mnimos tienen todos el mismo grado.

Corolario 1.
Sea n= p
d
-1, con p primo, entonces T
n
(x) factoriza en polinomios irreducibles sobre
p
[X], todos de grado d.
Haciendo q = p, p n y p
d
1 mod n. Quedando cumplidas las hiptesis del teorema, el resultado es imediato.

El automorfismo de Frobenius
Definicin 14. Sea F un cuerpo de caracterstica p=0. El endomorfismo de Frobenius : F F es la aplicacin definida por (a)= a
p
.
Observacin 4. Si a,be F.
(ab) = (ab)
p
= a
p
b
p
= (a) (b).
(a + b) = (a + b)
p
= _
i=0
p
p
i
a
pi
b
i
= a
p
+b
p
= (a) + (b)
La penltima igualdad surge pues p
p
i
cuando 0 < i < p
por ser F de caracterstica 0, los trminos centrales se anulan.
Adems, si (a) = (b) = (a) (b) = 0 = a
p
b
p
= (a b)
p
=a = b
Por lo tanto es inyectivo, y por ser F finito, tambin es sobreyectivo.En tal caso es un automorfismo.
Si ae F
p
con p primo, entonces a
p
= a, siendo F
p
=
p
y en virtud del pequeo teorema de Fermat.
Consecuentemente, si f (x) e
p
[X] y es una raz de f (x), haciendo
f ( ()) = a
0
+ () a
1
+ + ( ())
n
a
n
= a
0
+
p
a
1
+ + (
p
)
n
a
n

= a
0
+
p
a
1
+ + (
n
)
p
a
n

= (a
0
+ a
1
+ +
n
a
n
)
p

= 0
Luego (), tambin es una raz de f (x).
Proposicin 4.
Sea f (x) e
p
[X] un polinomio irreducible, con deg ( f (x)) = r. Dada una raz de f (x),
, (), ,
r1
(), conforma el juego completo de raices de f (x).
Sea F
p
() F
p
, se tiene F
p
() : F
p
j = r y |F
p
()] = p
r
, siendo |F
p
-
()] = p
r
1
7
Si d < r y fuera
p
d
= , entonces |
p
d
1
1] = 0, es decir |
p
d
1
1] = 0;
Luego es raz del polinomio X
p
d
1
1
y est en el grupo multiplicativodel cuerpode Escisin de X
p
d
X, y su polinomio
mnimo debe tener grado s d, contrariamente a que pmin () = f (x) con grado r > d.
Luego, (), ,
r1
() son todas distintas y comoson todas races de f (x) se cumple
lo enunciado.

Proposicin 5.
Si q = p
r
es una potencia de un primo, el grupo de automorfismos Aut | F
q
] del cuerpo F
q
es un grupo cclico de orden r, generado por el automorfismo de Frobenius.
Dem. Sea el automorfismode Frobenius de F
q
. Entonces
r
(a) = a
p
r
= a para todoa e F
q
,
lo cual dice que
r
= Id en Aut |F
q
]. Si fuera de ordens con s < r, entonces a
p
r
= a para todo
a e F
q
, de modoque F
q
contendra p
r
races distintas del polinomio X
p
s
X,
lo cual es imposible. Por lo tanto, el subgrupo cclicode Aut | F
q
] generadopor tiene r elementos.
Ahora el grupo multiplicativoF
p
-
es cclico, (Apndice Corolario7).
Si e F
p
-
es un generador de este grupo, entonces las potencias
| a
p
k
: k = 0, 1, , r 1| son distintas.
Sea g ( X) e F
p
[X] el polinomiomnimo de , cuyogrado divide F
q
: F
p
j = r.
Entonces para k = 0, 1, , r 1, es
g |
p
k
] = g |
k
()] =
k
(g ()) =
k
(0) = 0,
de modoque los
p
k
son r races distintas de g (x). Luegodeg (g (x)) = r y adems F
q
= F
p
().
Cada e Aut |F
q
] deja fijoel cuerpoprimo F
p
, as que Aut |F
q
] = Gal| F
q
F
p
]. En particular, queda determinadopor ().
Pero g ( ()) = (g ()) = (0) = 0 as que () es una raz de g(x).
Luego() =
p
k
=
k
() para algn k.
Se concluyeque el grupo cclicogeneradopor es todo Aut|F
q
].
Corolario 2.
Si q = p
r
es la potencia de un primo, la extensin F
q
F
p
es cclica y posee un elemento primitivo.
Dem. La extensin F
q
F
p
es obviamentefinita, de grador r y la proposicin anterior muestra que Gal|F
q
F
p
] = C
r
. Cualquier generador
del grupo cclico F
q
-
es un elementoprimitivode la extensin, pues F
q
= F
p
().
Adems F
q
es el cuerpode escisin sobre F
p
de del polinomiomnimo de , con races
, (), ,
r1
(),
por lo tanto F es normal, quedando establecidoque F
q
F
p
es una extensin cclica.

Observacin 5. Por lo visto en "Factorizacin en mdulo primo, Corolario 1.", sabemos que los polinomios ciclotmicos que factorizan al
polinomio,
X
p
n
1
1, son los T
d
(x), tales que,
d p
n
1 es decir T
d
(x) X
p
n
1
1 =d p
n
1, consecuentemente,
una condicin necesaria para que T
d
(x) factoriceen polinomios irreducibles de grado n es que d p
n
1
Proposicin 6.
8 Cuerpos Finitosrm.nb
Sea d p
n
1 = q1, con p primo, si d p
m
1, para todo m n con m = n.
Entonces T
d
(x) factoriza en polinomios irreducibles de grado n sobre F
p
[X].
Dem. Supongamos que T
d
(x) factoriza en polinomios de grado m < n como
d n yT
d
(x) factoriza en polinomios del mismo grado, luego se tiene que m d ypor lo tanto,
m n, sea f (x) T
d
(x) un polinomio irreducible sobre F
p
con deg (f (x)) = m,
si es una raz de f (x), y el automorfismo de frobenius, se tiene
, (), ,
m1
() son todas las races de f (x), Luego Gal |F () F
p
] = m,
es decir F () : F
p
j = m, entonces F () = F
q
con q = p
m
, pero todas las races de F
q
-
estn en
X
q1
1 = [
i q1
T
i
,
Por lo tanto T
d
(x) X
q1
1 y consecuentemente d q 1 = p
m
1, contrariamentea la iptesis
de partida, por suponer m < n,
por lo tanto m n y por ser m n , debe ser m = n, es decir T
d
(x) factoriza
en polinomios irreducibles de grado n sobre F
p
[X] que es a lo que queramos llegar.

Ejemplo 1. Como ejemplo a la proposicin 6, vamos a hallar los polinomios ciclotmicos,

que factorizanen polinomios irreducibles de grado 3 sobre
3
, Los factoresde 3
3
1 = 26, 3
2
1 = 8 y 3 1 = 2,
son respectivamente1, 2, 13, 26, 1, 2, 4, 8 y 1, 2 luego, los factoresde 26, que no dividan a 8 ni 2, son 13 y 26, de esto obtenemos :
T
26
(x) = |1 + 2 x + x
3
] |1 + 2 x + x
2
+ x
3
] |1 + 2 x
2
+ x
3
] |1 + x + 2 x
2
+ x
3
]
T
13
(x) = |2 + 2 x + x
3
] |2 + x
2
+ x
3
] |2 + x + x
2
+ x
3
] |2 + 2 x + 2 x
2
+ x
3
]
Orden de los elementos en
p
X f x
Definicin 15.
x := x+( f (x)) e
p
[X] ( f (x)) = K con x e
p
[X] y p primo,
f (x) es un polinomio irreducible de
p
[X] con deg( f (x)) = n > 1,
K = p
n
y K
-
= p
n
1 , T
n
:= T
n
(x) el nsimo polinomio ciclotmico
Teorema 10.
Sea e K y 1 s d s p
n
1 . Entonces ( ) = d si y solo si es raz de T
d
Dem.
( = ) Si () = d entonces
d
1 = 0, por lo tanto es raz de X
d
1, pero X
d
1 = [
i d
T
i
,
Si fuera raz de T
j
con j < d, entonces sera raz de X
j
1 = [
i j
T
i
,
contrariamentea ser () = d , por lo tanto debe ser raz de T
j
(x) comoqueramos demostrar.
( = ) Supongamos que es raz de T
j
, entonces es raz de X
d
1 = [
i d
T
i
,
peropara j < d, no es raz de T
j
(x), por lo tanto no puede ser raz de
X
j
1 = [
i j
T
i
, consecuentemente () = d.
.
Corolario 3.
9
Sean x y f (x) como los definimos arriba, entonces (x) = d si y solo si f (x) es factor de T
d
Dem.
( = ) si (x) = d, f (x) = f (x + ( f (x))) = f (x) + ( f (x)) = 0 ,
por lo tanto x es raz de f (x) y por el Teorema10. x es raz de T
d
.
Como vimos por el automorfismode Frobenius principalmenteen la Proposicn 4.
x, ,
n1
( x) son todas las races de f ( x) y como( p
n
, p
n
1) = 1 ,
(
m
( x)) = ( x
p
m
) = ( x) = d.
y nuevamenteaplicando el Teorema10. ,
m
( x) tambin es raz de T
d
luego
f (x) = [
i=0
n
|x
i
(x)] T
d
es decir f (x) es factor de T
d
comoqueramos demostrar.
( = ) Si f (x) es factor de T
d
, como x es raz de f (x) resulta por el Teorema10. (x) = d.
.
Corolario 4. (Teorema del elemento primitivo)
x es un elementoprimitivode
p
[X] ( f (x)) con dg ( f (x)) = n, si y solo si f (x) es factor de T
p
n
1
.
Dem. El resultado es inmediato del Corolario3., teniendoen cuenta (x) = p
n
1 = K
-
.
.
Clculo de polinomios irreducibles en
p
X
Teorema 11.
Si llamamos u
p
(n), a la cantidad de polinomios irreducibles de grado n, sobre
p
[X], entonces
u
p
(n) =
_
d n
(d) p
nfd
n
, donde es la funcin de Mbius
Dem.
X
p
n
X = [
d n
[
i=1
up (d)
f
d,i
(x), donde los f
d,i
(x) son los distintos polinomios de grado d.
Por conteode trminos tenemos :
(1) p
n
= _
d n
du
p
(d)
Aplicando a (1) la frmula de inversin de Mbius (Apndice Teorema19.) se tiene
nu
p
(n) = _
d n
(d) p
nfd
de donde obtenemos
u
p
(n) =
_
d n
(d) p
nfd
n
.

Ejemplo 2.
Como ejemplocalcularemos la cantidad de polinomios irreducibles sobre
7
[X],
para construir cuerpos de ecsisin del polinomio X
7
3
1
X.
10 Cuerpos Finitosrm.nb
Se tiene p = 7 y n = 3.
Los divisores de 3 son 1 y 3, (1) = 1, (3) = 1, por lo tanto
u
7
(3) =
7
3
7
3
= 112;
Como sabemos por el Teorema9. los polinomios ciclotmicos que factorizancomo
polinomios irreducibles de grado 3 sobre
7
[X], son
T
9
, T
18
, T
19
, T
38
, T
57
, T
114
, T
171
, T
342
,
si hacemos
= 9, 18, 19, 38, 57, 114, 171, 342,
se puede calcular :
u
7
(3) = _
de
(d)
3
= 2 + 2 + 6 + 6 + 12 + 12 + 36 + 36 = 112,
donde es la funcin cocientede Euler.
Definicin 16.
Llamaremos
p
n al cuerpo
p
[X] ( f (x)) con dg ( f (x)) = n.
Proposicin 7.
Sea e
p
n
-
, entonces =
p
n
1
p1
es un elemento de
p
-
.
Observacin 6.
Entendemos que
p
est sumergido en
p
n .
Dem.

p1
=
p
n
1
p1
p1
=
p
n
1
= 1,
perolas potencias del automorfismode Frobenius nos da todas las races del polinomiomnimo de
sobre
p
[X], es decir pmin() = X e
p
[X] = e
p
-
, comoqueramos demostrar.
.
Teorema 12.
e
p
n
-
es un elemento primitivo si y solo si
=
p
n
1
p1
=
h
es un elemento primitivo de
p
y en la secuencia
,
2
, ,
h
es el primer elemento de
p
.
Dem. Supongamos que es un elementoprimitivode
p
n
-
, por la proposicin anterior sabemos que
h
e
p
, adems
|
h
]
p1
=
p
n
1
= 1 y |
h
]
k
= 1 para 1 s k s p 1 por ser un elementoprimitivo,
consecuentementedebe ser
h
un elementoprimitivode
p
. por otra parte si
g <
p
n
1
p 1
y
g
e
p
, se tiene

g | p1]
= 1, y como g ( p 1) <
p
n
1
p 1
( p 1) = p
n
1,
11
absurdo ya que es por hiptesis un elementoprimitivode
p
n
-
eso por suponer la existencia
de un elementoenteroanterior a
h
.
Por lo tanto
h
es el primer elementode
p
, en la secuencia generada por .
Reciprocamente, supongamos
p
n
1
p1
=
h
es un elementoprimitivode
p
,
y es el primer elementode
p
que se halla en la secuencia ,
2
, ,
h
.
Supongamos que existe s s p
n
1 con
s
= 1, como1 e
p
debemos tener ms precisamente
h < s s p
n
1 con
s
= 1, luego podemos escribir
s = kh + r con r < h, por lo tanto

kh+r
= 1 =
kh

r
= 1, pero
kh
e
p
, luego
r
e
p
,
perocomo
r
es anterior a
h
en la secuencia generada por ,
debe ser r = 0 y s = kh, peropor ser
h
primitivoen
p
,
se tiene necesariamentek = p 1 y s =
p
n
1
p 1
( p 1) = p
n
1, perocomos es el ordende ,
se concluyeque es un elementoprimitivode
p
n
-
, con lo que queda demostradoel teorema.

Observacin 8.
La condicin |
h
] = p 1, para h =
p
n
1
p 1
,
es necesaria perono suficientepara que sea un elementoprimitivode
p
n
-
, ya que
puede darse que
h
sea un elementoprimitivode
p
, y que algunos elementos de

p
se hallen antes de
h
.
Definicin 17.
a
2
x
2
+a
1
x+a
0
:= a
2
x
2
+a
1
x+a
0
+( f (x))
Ejemplo 3. Para ilustrar esta situacin veremos lo siguiente.
T
3
(x) = x
2
+ x + 1 = f (x), Quedando irreducibleen
11
[X]
h =
11
2
1
11 1
= 12, por lo visto en el Teorema10., ((x)) = 3
Observacin 9. En lo que sigue, tengamos en cuenta que las operaciones con los enteros, sern mdulo 11.
(x + 3)
12
= x
11
+ 3
11

= |x
2
+ 3] (x + 3)
= 3 |x
2
+ x + 1 + 2] + 1
= 3 |x
2
+ x + 1] + 7
= ( f (x)) + 3 (fx) + 7
= ( f (x)) + 7
(7) = 10 en
11
, por lo tanto es un elementoprimitivode
11
-
.
Perohaciendolos clculos, obtenemos (x + 3)
4
= 3 Consecuentemente
(x + 3)
40
= 1, es decir x + 3 no es un elementoprimitivoen
11
2 ya que

11
2
-
= 120
Observacin 10.
12 Cuerpos Finitosrm.nb
Observacin 10.
Tengamos en cuenta que si e
p
n y ()
p
n
-
con (()) = r, se tiene

r
= 1 e
p
, eso garantiza que ()
p
= .
Proposicin 8.
si e
p
n y s =
k
, es el primer entero de la secuencia ,
2
,
entonces todo entero t de ( ), se lo puede expresar como t =
kh
, para algn h e
Dem. Si
u
e
p
con u > k, entonces u = kh + r para algn enteroh > 0, con r < k
por lo tanto
u
=
kh+r
=
kh

r
, como
kh
e
p
, entonces
r
e
p
,
comok es el menor enteropositivopara el cual
k
e
p
,
debe ser r = 0 y t =
kh
, comose quera demostrar.

13
Construccin de un cuerpo de orden p
n
En el ejemplosiguiente ilustraremos el uso de los resultados obtenidos en este trabajo construyendoun cuerpode orden
p
n
. Tambin hallaremos elementos primitivos y a partir de esto, construiremospolinomios irreducibles en
p
de grado n.
Los siguientes pasos nos orientarn en este cometido:
1. Hallar los polinomios ciclotmicos que factorizen en polinomios irreducibles en
p
de grado n
(a) Para eso hallaremos los enteros d p
n
1 y d p
m
1 ! m n y por la proposicin 6
sabemos que los factoresde los polinomios ciclotmicos T
d
(x) son polinomios
irreducibles de grado n.
(b) Elegiremos el T
d
(x) ms conveniente, sabiendo por el corolario3, que (x) = d.
2. Hallaremos un elementoprimitivoen
p
n
-
(a) Para eso testearemos elementos e
p
n
-
, tales que
h
sea primitivoen
p
y
b
}
p
para
d h, con h =
p
n
1
p 1
, conformelo establecenel teorema13 y la proposicin 8.
(b) Adems, tendremos en cuenta para calcular las potencias de , que (x) = d y el automorfismo de Frobenius.
3. A partir de , construiremosun polinomioprimitivode u (x) e
p
[X].
(a) Para eso sabemos, por la Proposicin 4, que , (), ,
n1
(), conformael juego completode raices de u (x).
(b) Adems, por ser elementoprimitivoen
p
n
-
, tendremos en virtud del teorema11 que
(c) u (x) e T
p
n
1
,
4. A partir de u (x), construiremosun cuerpo
p
[X] (u(x)),
y comprobaremosque x es un elementoprimitivoen dicho cuerpo. (Recordar que x = x + (u (x)) ).
(a) Para ese fin, utilizaremos lo expuesto en el punto 2. (a)
Ejemplo . Tomaremos p 3 y n 4, es decir p
n
1 = 80
1. Los divisores de 4 son {1, 2, 4}, tenemos que hallar a los divisores b | 80, tales que
no dividena los divisores 3 1 = 2 y 3
2
1 = 8, haciendolos clculos obtenemos
b e {5, 10, 16, 20, 40, 80}.
Por lo tanto los polinomios ciclotmicos que se factorizancomopolinomios irreducibles de grado
4 en
p
[X], sern
T
5
, T
10
, T
16
, T
20
, T
40
, T
80

PeroT
5
(x), ya es un polinomioirreduciblede grado 4, lo que nos simplifica los clculos.
T
5
(x) = 1 + x + x
2
+ x
3
+ x
4
, haciendo f (x) = T
5
(x),
construimos K =
3
[X] f ( f (x)), seguidamente hallaremos un elementoprimitivoen K, recordandoque x = x + ( f (x)) tiene orden5 en K.
2. Para hallar un elemento primitivo e K Hacemos
h =
3
4
1
3 1
= 40, siendo los divisores de h , 1, 2, 4, 5, 8, 10, 20, 40.
Testearemossi x + 1 e K, es un elementoprimitivo,
para eso primeramente debemos calcular (x + 1)
40
y ver si es primitivoen
3
. Tengamos en cuenta para realizar este clculo,
que el ordende x es 5 y adems las propiedades de la funcin de Frobenius.
(x + 1)
40
= (x + 1 + ( f (x)))
40
= (x + 1)
40
+ ( f (x))
14 Cuerpos Finitosrm.nb
En lo que sigue omitiremos la raya superior, y nos referiremosa x + 1 como x + 1,
siempre teniendoen cuenta que estamos trabajando con elementos de K, terminados los clculos volveremosa la notacin habitual.
Tenemos entonces
4 + 3 x + 3 x
2
+ 3 x
3
+ 3 x
4
= (x + 1)
27 +9 +4

= |x
2
+ 1] |x
4
+ 1] (x + 1)
4
= |x
2
+ 1] |x
4
+ 1] (x + 1)
4
= 4 + 3 x + 3 x
2
+ 3 x
3
+ 3 x
4
= 1
Pero1 no es un elementoprimitivoen
3
, comono se cumple la condicin necesaria,
intentamos con x + 2, realizandolos clculos necesarios, obtenemos que (x + 2)
40
= 2,
que es un elementoprimitivoen
3
, cumpliendosela condicin necesaria, comprobemosque (x + 2)
a
para
a e = 2, 3, 5, 8, 10, 20, no es un elementode
3
. Nuevamentehaciendolos clculos para estas potencias, obtenemos
(x + 2)
a
: a e =
|1 + x + x
2
, 2 + x
3
, 2 + x + x
2
, 1 + x + x
2
+ x
3
, x
2
+ x
3
, 1 + 2 x
2
+ 2 x
3
| =
Como podemos apreciar
3
=
Por lo tanto podemos concluir que = x + 2 es un elemento primitivo de K.
(en realidad (x + 2) + ( f(x)) ).
3. Con el elemento primitivo e K, aplicando el automorfismo de Frobenius hallamos
,
3
,
9
,
27
y calculamos
u( y) = ( y ) | y
3
] | y
9
] | y
27
]
Sabiendo que
|,
3
,
9
,
27
| = |2 + x, 2 + x
3
, 1 + 2 x + 2 x
2
+ 2 x
3
, 2 + x
2
|
Obtenemos despus de simplificar mdulo f (x)
u( y) = 2 + y + y
2
+ 2 y
3
+ y
4
4. Hagamos u (x) = 2 + x + x
2
+ 2 x
3
+ x
4
para construir F =
p
[X] (u(x)), que comosabemos por el Teorema7. F = K.
Comprobaremosque x e F, a quien llamaremos directamente x, es un elementoprimitivo.
Haciendo los clculos como vimos en el punto 2. tenemos
x
40
= 2, que es un elementoprimitivoen
p
, calculamos = x
a
: a e . (Como en 2.)
= |x, x
3
, 1 + 2 x
2
+ 2 x
3
, 2 x + x
2
|, teniendo
p
= O
Consecuentemente x , o con ms propiedad x, es un elementoprimitivode F.
Haciendo = x, podemos hallar todos los elementos de F = |
i
: 1 s i s 80|.
15
Apndice
Divisibilidad entre polinomios del tipo X
n
1
Teorema 13.
x
m
1f x
n
1 = mf n
( = ) si mf n sea n = hm
x
n
1
x
m
1
=
x
hm
1
x
m
1

=
(x
m
)
h
1
x
m
1

= _
i=0
h1
(x
m
)
i
. x
m
1f x
n
1
Reciprocamente supongamos x
m
1 f x
n
1
(x
m
1) = [
i=1
m
|x
m
i
] (1) Con
m
raz m_sima de la unidad
(x
n
1) = [
i=1
n
|x
n
i
] (2) Con
n
raz n_sima de la unidad
Por la hiptesis, todas las races de (1) deben hallarse en (2) particularmente
m
, es decir
k e :
m
=
n
k
= :
2 i
m = :
2 ki
n =
2 i
m
=
2 ki
n
= n = km
. mf n

Corolario 5.
GCD (x
m
1, x
n
1) = x
GCD(m,n)
1
Sea d = GCD(m, n) = d f n y d f m
de donde x
d
1f x
n
1 y x
d
1f x
m
1 Teor 13.
Supongamos que
k e : x
k
1f x
n
1 y x
k
1f x
m
1 entonces k f n y k f m (Teor 13.) = k f d (Propiedad GCD)
= x
k
1 x
d
1 = x
d
1 = GCD(x
m
1, x
n
1)

Grupos finitamente generados

Definicin 18.
Se dice que un grupo G es finitamente generado, cuando admite a un conjunto finito como sistema de generadores. Un grupo abeliano finita-
mente generado es finito, si y solo si todos los elementos de un sistema de generadores son de orden finito.
Observacin 11. dada una coleccin de subgrupos cclicos A
i
= ( a
i
) de un grupo abeliano A con 1 s is m, el grupo A es el producto directo de
sus subgrupos A
i
cuando se satisfacen las dos siguientes condiciones:
1) Para todo aeA, existen n
i
e tales que
a = n
1
a
1
+ + n
m
a
m
16 Cuerpos Finitosrm.nb
2) a = n
1
a
1
+ + n
m
a
m
= 0 con n
i
e = n
i
a
i
= 0 ! i.
Lema 0.
Sea A = ( g
1
, , g
r
) un grupo abeliano y sean c
1
, , c
r
e tales que gcd (c
1
, , c
r
) = 1.
Entonces existen h
1
, , h
r
e A tales que A = ( h
1
, , h
r
) y adems h
1
= c
1
g
1
++c
r
g
r
Procedemospor induccin en n = c
1
+ + c
r
, siendo claro el caso
n = 1, supongamos que n > 1 para tener al menos dos de los nmeros c
i
son positivos.
Escribamos c
1
c
2
> 0, de manera que gcd (c
1
c
2
, c
2
, , c
r
) = 1 y
(c
1
c
2
) + c
2
+ + c
r
< c
1
+ c
2
+ + c
r
. Dado que
A = ( g
1
, g
1
+ g
2
, g
3
, , g
r
), la hiptesis inductiva garantiza que existenelementos
h
1
, , h
r
e e A tales que
A = ( h
1
, , h
r
) donde
h1 = (c
1
c
2
) g
1
+ c
2
(g
1
+ g
2
) + + c
r
g
r
= c
1
g
1
+ + c
r
g
r

Teorema 14. Sea A un grupo abeliano tal que admita un sistema de generadores con r elementos. Entonces A es el producto directo de r
grupos cclicos.
Sea g
1
, , g
r
un sistema de generadores de A tal que (g
1
), , ( g
r
)
sea mnimo en el rden lexicogrficoentre todos los generadores de A con r elementos.
Se afirma que A = (g
1
) (g
r
).
Para ver esto, supongamos que existen a
1
, , a
r
e tales que a
1
g
1
+ + a
r
= 0
para todoi, tambin digamos que 0 s a
i
< ( g
i
).
Sea s el mnimo ndice i tal que a
i
= 0 y sea d = gcd(a
s
, , a
r
)
escribiendoa
i
= d b
i
para toda i, se tiene que gcd (b
s
, , b
r
) = 1,
por lo que el lema garantiza la existenciade un sistema de generadores de
( g
s
, g
s+1
, , g
s
) as : h
s
, h
s+1
, , h
r
con h
s
= b
s
g
s
+ + b
r
g
r
de este modo, d h
s
= 0 y tambin A = (g
1
, , g
s1
, h
s
, , h
r
) con la contradiccin de que
( h
s
) s d < ( g
s
)

Observacin 12. Si en el teorema anterior suponemos (A)> 1 y que el sistema de generadores dado tiene un nmero mnimo de elementos,
entonces obtenemos factores directos no triviales.
Teorema 15.
a) Todo grupo abeliano finito A es un producto directo de grupos cclicos
de rdenes potencias de primos.
b) Los rdenes de los factores directos son nicos.
c) Si m= p
1
n1
p
r
nr
con p
1
p
r
primos distintos con n
i
>0 para 1sisr, entonces el nmero de grupos abelianos de orden m no isomorfos entre
s es = (n
1
)= (n
r
) donde #(n) es el nmero de particiones de n.
Ej: #(4)=5 porque 4=3+1=2+2=2+1+1=1+1+1+1
Sabemos que A es el producto directo de sus subgrupos de Sylow, aplicamos el teorema 14. a cada uno de estos subgrupos para obtener a) como c)
es consecuencia inmediata de b), es suficiente ver que los rdenes de los factores directos de un grupo abeliano A, son nicos, suponiendo que
(A)= p
n
con p primo.
Sea :
p
k
p
k el morfismo por el que (a)=pa para toda a en el grupo cclico
p
k .
17
Es inmediatoque
|
p
k ] = |
p
k1 ] . Ms generalmente, si Ges un grupo abeliano de ordenuna potencia de p y
: GGes la multiplicacin por p, entonces es un morfismode grupos tal que
( (G)) = (G) f p
s
donde s es el nmerode factorescclicos de G.
El orden de (A) no depende de la descomposicin de A. Por ello vemos que dos descomposiciones cualesquiera de A deben tener el mismo nmero
de factores.
Generalizando este razonamiento para
i
(A), primero vemos que el orden de cada factor
i
(A) es p veces el orden de un factor correspondiente de

i+1
(A), para despus darnos cuenta de que podemos deducir los rdenes de los factores cclicos de A a partir de los distintos nmeros (
i
(A))

Teorema 16. Si A es un grupo abeliano finito, entonces A= A

1
A
r
con cada A
i
cclico de orden m
i
, donde
m
1
| m
2
||m
r

Dem. El Teorema 15. dice que A es un producto directo de grupos cclicos de rdenes potencia de primos.
Para cada primo p que divide al orden de A hay al menos un factor directo B
p
de A, de orden una mxima potencia de p. El producto directo de los
distintos B
p
al variar p, es un grupo cclico B, cuyo orden es el mnimo comn mltiplo de los divisores elementales de A. Adems, A es el
producto directo de B y de los restantes grupos cclicos de rdenes potencias de primos, cuyo mnimo comn mltiplo divide (B),por induccin en
(A),se obtiene una descomposicin de A como en el enunciado. Nos falta demostrar la unicidad de los rdenes de los factores de tal
descomposicin.
Supongamos que A= C
1
C
r
, con cada C
i
cclico de orden m
i
, donde m
1
| m
2
|| m
r
, entonces cada C
i
es el producto directo de sus subgrupos de
Sylow: y estos son cclicos. Aplicando la unicidad del teorema anterior, tenemos que los rdenes de estos subgrupos de Sylow son nicos. Ahora
bien, m
r
es el mcd de estos rdenes, m
r1
es el mcd de los rdenes que quedan despus de eliminar exactamente una potencia mxima, de p para
cada primo p que divida a m
r
y as sucesivamente.
De esta manera concluimos que los nmeros m
1
,m
2
,, m
r
son nicos.

Observacin 13. Los rdenes de los factores directos de A en este ltimo teorema. Se llaman factores invariantes de A.
Corolario 6. Sea G un grupo abeliano finito tal que toda ecuacin de forma dx=0 con 0<d, y de tenga cuanto ms d soluciones. Entonces
G es cclico.
Dem. Como G= G
1
G
r
, con cada G
i
cclico de orden n
i
con n
1
| n
2
|| n
r
, se ve que todo elemento de G es solucin de la ecuacin n
r
x=0, por
lo que G=Gr es cclico.

Observacin 14. En el siguente corolario usamos la notacin multiplicativa para el grupo abeliano que ah aparece.
Corolario 7. El grupo multiplicativo de todo campo finito es cclico.
Sean un campo finito y
-
el grupo multiplicativo de los elementos distintos de cero de . Entonces toda ecuacin x
d
=1 tiene cuanto ms, d
soluciones; por lo que se satisfacen las hiptesis del corolario anterior; as
-
es cclico.

Ideales
Observacin 15.
Utilizaremos los siguientes resultados para demostrar que los polinomios irreducibles en

p
[x] generan un cuerpocuando se cocientan.
a) Sea R un anillo conmutativocon unidad luego, un ideal M de R es maximal si y solo si Rf M es un cuerpo.
b) Si F es un cuerpo, F[X] es un dominiode ideales principales.
Proposicin 9. Sea F un cuerpo y f (x) e F[x],
entonces f (x) es irreducible, si y solo si ( f (x)) es un ideal maximal.
Dem. ( = ) Si f (x) es irreducible, supongamos que existe g (x) tal que ( f (x)) ( g (x)) , sin prdida de generalidad, podemos suponer que g (x) es
mnico pues siendo F un cuerpo ( g (x)) = ( a g (x)) para todo a e F, no nulo.
si u (x) e ( f(x)) = u (x) e ( g (x)) , en particular f (x) e ( g (x)) = v (x) e F[x] : v (x) g (x) = f (x), como f y g son mnicos, entonces debe ser v
(x) = 1 y f (x) = g (x), luego ( f(x)) = ( g (x)) .
. ( f(x)) es maximal.
( = ) Supongamos que ( f(x)) es maximal, si existe g (x) mnico tal que
18 Cuerpos Finitosrm.nb
Dem. ( = ) Si f (x) es irreducible, supongamos que existe g (x) tal que ( f (x)) ( g (x)) , sin prdida de generalidad, podemos suponer que g (x) es
mnico pues siendo F un cuerpo ( g (x)) = ( a g (x)) para todo a e F, no nulo.
si u (x) e ( f(x)) = u (x) e ( g (x)) , en particular f (x) e ( g (x)) = v (x) e F[x] : v (x) g (x) = f (x), como f y g son mnicos, entonces debe ser v
(x) = 1 y f (x) = g (x), luego ( f(x)) = ( g (x)) .
. ( f(x)) es maximal.
( = ) Supongamos que ( f(x)) es maximal, si existe g (x) mnico tal que
h (x) g (x) = f (x) = ( f(x)) ( g (x)) ,
pero entonces h (x) e F y por ser g (x) mnico, h (x) = 1 y g (x) = f (x), y por lo tanto f (x) es irreducible.

Corolario 8. Sea p e un nmero primo, entonces

F
p
[X] ( f (x))
es un cuerpo si y solo si ( f (x)) es irreducible en F
p
[X].
Dem. Es inmediato, a partir del resultado a) y la proposicin 9.

Corolario 9.
si I F
p
[X], se tiene que F
p
[X] I es un cuerpo si y solo si I = ( f (x)) para algn f (x) e F
p
[X], irreducible.
Para que F
p
[X] I sea un anillo, I debe ser un ideal. En virtud de (b) y la proposicin anterior, obtenemos el resultado enunciado.

Races primitivas de la unidad

Definicin 19. Una raz nsima de la unidad es un nmero complejo z que satisface la ecuacin z
n
-1=0, por el teorema fundamental del
lgebra, sabemos que hay n soluciones a esta ecuacin.
Definicin 20. una raz nsima de la unidad, se dice que es primitiva cuando su orden es n.
Observacin 16. Las races de la unidad en tienen la forma

n
= :
2 k i
2 , k=1,,n
Es claro que las
n
forman un grupo cclico de orden n, con la multiplicacin habitual. Uno de los
generadores de este grupo, es
n
= :
2 i
2 , a partir de este generador, las dems races primitivas nsimas de la unidad se obtienen haciendo

n
k
para 1sk <n y (k,n)=1, es decir hay (n) races nsimas primitivas. Donde (n) es la funcin de Euler que veremos ms adelante.
Polinomios ciclotmicos.
Definicin 21. El nsimo polinomio ciclotmico, T
n
(x), est conformado por el siguiente producto
T
n
(x) = [
(k,n)=1
0<k<n
|x
n
k
] , donde
n
= :
2 i
2
Algunos ejemplos de polinomios ciclotmicos son
T
1
(x) = x1
T
3
(x) = x
2
+x+1
A partir de la definicin, es claro que deg(T
n
(x))=(n), y adems surge la siguiente definicin alternattiva
(1) T
n
(x) =
x
n
1
]
dfn
|x
n
d
]
19
Teniendo en cuenta que si n = kr, entonces
n
k
=
r
, de (1) obtenemos
(2) T
n
(x) =
x
n
1
]dfn
d=n
T
d
(x)
Consecuentemente, se tiene
(3) x
n
1 = ]
dfn
T
d
(x)
Proposicin 10.
Si i, j e , entonces | T
i
(x), T
j
(x)] = 1 cuando i = j
Dem. haciendon = ij por (3) sabemos que
x
n
1 = [
dfn
T
d
(x), comoi y j dividen ambos a n, resulta que
T
i
(x), T
j
(x) se hallan entre los factoresde x
n
1, comoninguna raz de la unidad es cero y
(x
n
1)
'
= nx
n1
= 0 para x = 0, se tiene que x
n
1 no tiene races mltiples por lo que T
i
(x),
T
j
(x), no compartenraces y consecuentemente| T
i
(x), T
j
(x)] = 1, comoqueramos demostrar.

Proposicin 11. Los polinomios ciclotmicos son mnicos y adems

T
n
(x)e [X] ! ne .
Dem. Que los T
n
(x) son mnicos surge inmediatamente de la definicin, veremospor induccin
que son polinomios sobre los enteros.
T
1
(x) = x 1 e [X]
Supongamos que T
n
(x) e [X] para n > 1
Por (2) se tiene
T
n+1
(x) =
x
n
1
]dfn
d=n
T
d
(x)
e [X] y por el lema de Gaus, se sigue que T
n
(x) e [X]
Luego T
n
(x) e [X] ! n e , comose quera demostrar. .

Funciones Aritmticas
Definicin 22. Una funcin real o compleja definida sobre los naturales, es una funcin aritmtica. Es decir :
f :
g :
Son funciones aritmticas.
Observemos que este concepto se puede extender a las funciones de [X] sobre los enteros positivos, ya que si es trascendente sobre , [] =
[X].
Definicin 23. si n 1 la indicatriz de Euler (n), es el nmero de enteros positivos menores que n que son primos con n; as pues
(n) = _
'
k=1
n
1
Donde la " ' " indica que la suma se halla extendida sobre los k primos con n.
Teorema 17. Si n 1 tenemos
20 Cuerpos Finitosrm.nb
_
dfn
(d) = n
Si S designa el conjunto1, 2, , n, distribuimos los enteros de S en conjuntos disjuntos de la forma siguiente. Para cada divisor d de n, sea
A (d) = k : (k, n) = d, 1 s k s n.
Esto es A(d) contienelos elementos de S cuyomcd con n es d. Los conjuntos A(d) constituyenuna particin de S. Por consiguente,
si f (d) designa el nmerode enteros de A (d), tenemos
(2) _
dfn
f (d) = n
Pero(k, n) = d si, y slo si, (k f d, nf d) = 1, y 0 < k s n si, y slo si, 0 < k f d s nf d.
Por consiguiente, si hacemos q = k f d,
existe una correspondenciauno a uno entre los elementos de A (d) y los enteros q que satisfacen 0 < q s nf d, (q, nf d) = 1.
El nmerode tales q es (nf d). Por lo tanto f (d) = (nf d) y (2) nos conducea
_
dfn
(nf d) = n.
Peroesto es equivalentea la igualdad
_
dfn
(d) = n
puesto que d recorretodos los divisores de n o sea los nf d. Y esto completa la demostracin.

Definicin 24.
Si n e con n = p
1
a1
p
2
a2
p
k
ak
, definimos la funcin de Mbius de la siguente manera
(1) = 1
(n) =
(1)
k
si a
1
= a
2
= = a
k
= 1
0 en caso contrario
Proposicin 12.
_
dfn
(d) =
1
n
=
1 si n = 1
0 si n 1
Dem. Si n = 1
_
dfn
(d) = (1) = 1, para n > 1,
comopara las potencias mayoresque uno de los p
i
, se anula, entonces resulta
_
dfn
(d) = (1) + (p1) + + ( p
k
) + ( p
1
p
k
) + + ( p
k1
p
k
) + + ( p
1
p
k
)
= 1 +
k
1
(1) +
k
2
(1)
2
+ +
k
k
(1)
k

= (1 1)
k

= 0

Definicin 25. El producto de Dirichlet de dos funciones numricas f y g se establece como

f - g = _
dfn
f (d) g
n
d
= _
a.b=n
f (a) g (b).
Observacin 17. De la ltima igualdad, resulta de manera inmediata que f*g = g*f.
Para demostrar la propiedad distributiva hacemos en f*(g*h) , A = g*h
( f - A) (n) = _
ab=n
f (a) A (b) = _
ab=n
f (a) _
cd=b
g (c) h (c) = _
abc=n
f (a) g (b) h (c).
Si hacemos B = f*g llegaremos al mismo resultado con lo que obtendremos
f*A = B*h = f*(g*h) = (f*g)*h
21
Si hacemos B = f*g llegaremos al mismo resultado con lo que obtendremos
f*A = B*h = f*(g*h) = (f*g)*h
Definicin 26.
I (n) =
1
n
=
1 si n = 1
0 si n > 1
Observacin 18. Tengamos en cuenta que
( f - I) (n) = _
dfn
f (d) I
n
d
= _
dfn
f (d)
n
d
ya que
n
d
= 0 si d < n
Por lo tanto
I - f = f - I = f
Adems definimos la funcin unidad
u (n) = 1 ! n
Como vimos en (Ap. 15)
_
d n
(d) = I (n), por lo tanto -u = I, de donde = u
1
Teorema 18. Si f es una funcin numrica, tal que
f (n) = _
d n
g(d)
entonces se cumple
g(n) = _
d n
f (d)
n
d
Dem. f = g-u multiplicandopor se tiene f - = g-u- = g- I = g
pero f - (n) = _
d n
f (d)
n
d
comoqueramos demostrar.

22 Cuerpos Finitosrm.nb
Referencias
Jos Antonio Vargas Mendoza, lgebra Clsica, Segunda edicin, Publicaciones Electrnicas Sociedad Matemtica Mexicana.
Andrew Baker, Notes for 4H Galois Theory2002-3, Departament of Mathematics, University of Glasgow.
Joseph C. Vrilly; MA-660: Teora de Galois, Escuela de Matemtica, Universidad de Costa Rica, II Ciclo Lectivo2006.
Alex Samuel Bamunoba, CyclotomicPolynomials, African Institute for Mathematical Sciences (AIMS), May 2010
Jos Walter YsiQue Quesqun, Polinomios Ciclotmicos en Cuerpos K[x] y Races primitivas mdulo n, Tesis UNPRG, Agosto 2006.
David Arroyo Guardeo, Cuerpos finitos y aplicaciones, Enero de 2006.
William A. Adkins, Steven Weintraub; Algebra, An Approach via Module Theory, Springer-Verlag.
Serge Lang, Algebra; Universidad de Columbia, Nueva york, Versin espaola de Milagros Ancochea, Editorial Aguilar.
Tom M. Apostol, Introduccin a la Teora analtica de nmeros, Editorial Revert, S.A.
Anthony J. Pettofrezzo,Donald R. Byrkit, Introduccin a la Teora de los Nmeros, Editorial Prentice/Hall Internacional.
Eduardo H. Chiumiento; Estructuras Algebraicas, Trabajo Final, Abril de 2004.
23