1.

Demuestra de las siguientes ternas cuales son campos finitos

a. (ℱ4, +, ∙), ℱ4 = {0, 𝑎, 𝑏, 𝑐} y las operaciones (+ 𝑦 ∙) de la terna están definidas de la siguiente manera:

+ 0 A B C * 0 A B C

0 0 A B C 0 0 0 0 0

A A B C 0 A 0 A B C

B B C 0 A B 0 B 0 B
C C 0 A B C 0 C B A

1.- a+b=c ; a*b=b

2.- a+(b+3)= (a+b)+c -> c = c ; a*(b*c)= (a*b)*c -> b=b

3.- a+0=a ; a*a=a

4.- a+(-a)= 0 ; a*(a)^-1= a

5.- a+b=b+a -> c=c ; a*b=b*a ->b=b

6.- a*(b+c)=[(a*b)+(a*c)] -> a*(a)=[(b)+(c)] -> a=a

b. (ℤ5, +, ∙), ℤ5 = {0, 1, 2, 3, 4} y las operaciones (+ 𝑦 ∙) de la terna están definidas de la siguiente manera:

+ 0 1 2 3 4 * 0 1 2 3 4

0 0 1 2 3 4 0 0 0 0 0 0

1 1 2 3 4 0 1 0 1 2 3 4

2 2 3 4 0 1 2 0 2 4 1 3

3 3 4 0 1 2 3 0 3 1 4 2

4 4 0 1 2 3 4 0 4 3 2 1

1.- 1+2=3 ; 1*2=2

2.- 1+(2+3)= (1+2)+3 -> 3 = 3 ; 1*(2*3)= (1*2)*3 -> 1=1

3.- 1+0=1 ; 1*1=1

4.- 1+(-1)= 0 ; 1*(1)^-1= 1

5.- 1+2=2+1 -> 3=3 ; 1*2=2*1 -> 2=2

6.- 1*(2+3)=[(1*2)+(1*3)] -> 1*(0)=[(2)+(3)] -> 0=0

c. (ℤ10, +, ∙), ℤ10 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

+ 0 1 2 3 4 5 6 7 8 9 * 0 1 2 3 4 5 6 7 8 9
0 0 1 2 3 4 5 6 7 8 9 0 0 0 0 0 0 0 0 0 0 0
1 1 2 3 4 5 6 7 8 9 0 1 0 1 2 3 4 5 6 7 8 9
2 2 3 4 5 6 7 8 9 0 1 2 0 2 4 6 8 0 2 4 6 8
3 3 4 5 6 7 8 9 0 1 2 3 0 3 6 9 2 5 8 1 4 7
4 4 5 6 7 8 9 0 1 2 3 4 0 4 8 2 6 0 4 8 2 6
5 5 6 7 8 9 0 1 2 3 4 5 0 5 0 5 0 5 0 5 0 5
6 6 7 8 9 0 1 2 3 4 5 6 0 6 2 8 4 0 6 2 8 4
7 7 8 9 0 1 2 3 4 5 6 7 0 7 4 1 8 5 2 9 6 3
8 8 9 0 1 2 3 4 5 6 7 8 0 8 6 4 2 0 8 6 4 2
9 9 0 1 2 3 4 5 6 7 8 9 0 9 8 7 6 5 4 3 2 1

1.- 1+2=3 ; 1*2=2

2.- 1+(2+3)= (1+2)+3 -> 3 = 3 ; 1*(2*3)= (1*2)*3 -> 6=6

3.- 1+0=1 ; 1*1=1

4.- 1+(-1)= 0 ; 1*(1)^-1= 1

5.- 1+2=2+1 -> 3=3 ; 1*2=2*1 -> 2=2

6.- 1*(2+3)=[(1*2)+(1*3)] -> 1*(5)=[(2)+(3)] -> 5=5

d. (ℤ6, +, ∙), ℤ10 = {0, 1, 2, 3, 4, 5,}

+ 0 1 2 3 4 5 * 0 1 2 3 4 5
0 0 1 2 3 4 5 0 0 0 0 0 0 0
1 1 2 3 4 5 0 1 0 1 2 3 4 5
2 2 3 4 5 0 1 2 0 2 4 0 2 4
3 3 4 5 0 1 2 3 0 3 0 3 0 3
4 4 5 0 1 2 3 4 0 4 2 0 4 2
5 5 0 1 2 3 4 5 0 5 4 3 2 1

1.- 1+2=3 ; 1*2=2

2.- 1+(2+3)= (1+2)+3 -> 3 = 3 ; 1*(2*3)= (1*2)*3 -> 0=0

3.- 1+0=1 ; 1*1=1

4.- 1+(-1)= 0 ; 1*(1)^-1= 1

5.- 1+2=2+1 -> 3=3 ; 1*2=2*1 -> 2=2

6.- 1*(2+3)=[(1*2)+(1*3)] -> 1*(5)=[(2)+(3)] -> 5=5

e. (ℤ11, +, ∙), ℤ10 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 𝑋}

+ 0 1 2 3 4 5 6 7 8 9 A * 0 1 2 3 4 5 6 7 8 9 A
0 0 1 2 3 4 5 6 7 8 9 A 0 0 0 0 0 0 0 0 0 0 0 0
1 1 2 3 4 5 6 7 8 9 A 0 1 0 1 2 3 4 5 6 7 8 9 X
2 2 3 4 5 6 7 8 9 A 0 1 2 0 2 4 6 8 X 1 3 5 7 9
3 3 4 5 6 7 8 9 A 0 1 2 3 0 3 6 9 1 4 7 X 2 5 8
4 4 5 6 7 8 9 A 0 1 2 3 4 0 4 8 1 5 9 2 6 X 3 7
5 5 6 7 8 9 A 0 1 2 3 4 5 0 5 X 4 9 3 8 2 7 1 6
6 6 7 8 9 A 0 1 2 3 4 5 6 0 6 1 7 2 8 3 9 4 X 5
7 7 8 9 A 0 1 2 3 4 5 6 7 0 7 3 X 6 2 9 5 1 8 4
8 8 9 A 0 1 2 3 4 5 6 7 8 0 8 5 2 X 7 4 1 9 6 3
9 9 A 0 1 2 3 4 5 6 7 8 9 0 9 7 5 3 1 X 8 6 4 2
A A 0 1 2 3 4 5 6 7 8 9 A 0 x 9 8 7 6 5 4 3 2 1

1.- 1+2=3 ; 1*2=2

2.- 1+(2+3)= (1+2)+3 -> 3 = 3 ; 1*(2*3)= (1*2)*3 -> 6=6

3.- 1+0=1 ; 1*1=1

4.- 1+(-1)= 0 ; 1*(1)^-1= 1

5.- 1+2=2+1 -> 3=3 ; 1*2=2*1 -> 2=2

6.- 1*(2+3)=[(1*2)+(1*3)] -> 1*(5)=[(2)+(3)] -> 5=5

2. Realiza una investigación completa sobre los campos finitos o campos de

Galois.
Un cuerpo finito, campo finito o campo de Galois es un cuerpo que contiene un número finito de elementos. Los
cuerpos finitos son importantes en teoría de números, geometría algebraica, teoría de Galois, y criptografía. Los
cuerpos finitos son totalmente conocidos.

Dado que todo cuerpo de característica 0 contiene a los racionales y es por lo tanto infinito, todos los campos
finitos tienen característica prima, y por lo tanto, su tamaño (o cardinalidad) es de la forma pn, para p primo y n >
0 entero (pues el campo es un espacio vectorial sobre el subcuerpo de cardinalidad p generado por el elemento
1). No es en general cierto, sin embargo, que todo cuerpo de característica prima sea finito.
Para un primo p, los enteros módulo p forman un cuerpo de p elementos, denotado por Z/pZ (pues su grupo
aditivo es isomorfo al grupo cíclico de p elementos), Fp, o GF(p); en algunos casos se usa Zp, aunque esta notación
es evitada por teoristas de los números, pues puede crear confusión con el anillo de los números p-ádicos. Todo
cuerpo con p elementos es isomorfo a éste.

Si q = pn es una potencia de un primo, existe (salvo isomorfismo) exactamente un campo con q elementos,
denotado por Fq o GF(q). Se puede construir como sigue: encuéntrese un polinomio irreducible f(X) de grado n
con coeficientes en Fp, y defínase Fq = Fp[X] / , donde Fp[X] denota el anillo de todos los polinomios con
coeficientes en Fp, denota el ideal generado por f(X), y la barra diagonal indica el anillo cociente (definido de
forma similar al grupo cociente). El polinomio f(X) se puede hallar factorizando Xq-X sobre Fp. El campo Fq
contiene a (una copia de) Fp como subcampo.

Ejemplo
El polinomio f(X) = X2 + X + 1 es irreducible en F2, y F4 = F2[X] / puede representarse como el conjunto {0, 1, x,
x+1} donde la multiplicación queda definida por la ecuación x2 + x + 1 = 0. Por ejemplo, para hallar x^3, se
observa que x(x2 + x + 1) = 0, con lo cual x3 + x2 + x = 0, y x3 = -x2 - x = (x + 1)( - x) = 1; de forma equivalente,
habiendo observado que x^3 + x^2 + x = 0, se obtiene que x3 + (x2 + x + 1) = 1 con lo que x3 = 1, como antes.
Para encontrar un inverso multiplicativo de x en este campo, se debe encontrar un polinomio g(X) tal que X * g(X)
= 1 módulo X2 + X + 1; el polinomio g(X) = X + 1 cumple esta propiedad, de modo que 1/x = x + 1.
Obsérvese que el campo F4 no tiene relación con el anillo Z4 de enteros módulo 4. Para construir el campo F mod
27, se comienza con el polinomio irreducible (en F3) X^3 + X^2 + X - 1. Se tiene entonces Fmod27 = {ax^2 + bx + c
| a, b, c ∈ F3}, donde la multiplicación se define por x^3 + x^2 + x - 1 = 0.

Propiedades
Si F es un campo finito con q = pn elementos (con p primo), entonces
xq = x

para todo x ∈ F. Más aún, la función

f : F->F

definida por
f(x): = xp

es biyectiva y un homomorfismo, con lo cual es un automorfismo de F. Se la llama automorfismo de Frobenius, en

honor a Ferdinand Georg Frobenius.

El automorfismo de Frobenius tiene orden n, y por lo tanto el grupo cíclico generado por éste es el grupo
completo de automorfismos del campo.

El campo Fp^m contiene una copia de Fp n si y sólo si n divide a m. La razón para la dirección "si" es que hay
polinomios irreducibles de cualquier grado en Fp^m. Si se construyen los campos finitos de forma tal que Fp^n
esté efectivamente contenido en Fp^m siempre que n divida a m, se puede tomar la unión de todos esos campos;
ésta es también un campo de característica p, aunque infinito. Es la clausura algebraica de cada uno de los
campos Fp^n. Aun si no se construyen de esta manera los campos, se puede hablar de su clausura algebraica,
aunque su construcción es ahora más delicada.

aplicaciones
El grupo multiplicativo de todo cuerpo finito es cíclico. Esto significa que si F es un campo finito de q elementos,
siempre hay un elemento x ∈ F tal que F = { 0, 1, x, x2,..., xq-2 }. El elemento x no es único. Si se toma uno en
particular, entonces para todo a ≠ 0 en F hay un único n ∈ {0,..., q - 2} tal que a = xn. El valor de n para un dado a
se llama logaritmo discreto de a en base x. En la práctica, aunque calcular xn es relativamente trivial dado n,
encontrar n para un a dado es un proceso computacionalmente difícil, por lo que tiene muchas aplicaciones en
criptografía.