Algo sobre

ampos nitos
*
Rafael F. Isaa s G.

27 de abril de 2019

El le tor tiene familiaridad on los ampos Q y R por sus estudios de se undaria y esperamos
que on el ampo C de los números omplejos por las le turas anteriores. Realmente existen
mu hísimos ejemplos de la estru tura de ampo de interés en las matemáti as; en esta se ión
introdu iremos los ampos nitos (o de Galois) de gran interés en los últimos tiempos, sobre
todo por sus apli a iones en informáti a. Aunque es posible y usual desarrollar el álgebra
lineal úni amente sobre el ampo de los nmeros reales es relativamente sen illo y amplía
nuestros horizontes, onsiderar otro tipo de ampos omo los que nos proponemos abordar.
Nuestro a er amiento será más intuitivo que formal y se guiará por analogía a la onstru ión
on los omplejos. Ini iamos re ordando los axiomas de ampo.

Axiomas de Campo.

Un ampo onsiste en un onjunto K ( uyos elementos llamaremos números o mejor es ala-

res ) dotado de dos opera iones +, · llamadas adi ión (o suma) y multipli a ión (o produ to)
respe tivamente, onjuntamente on dos elementos distinguidos 0, 1 ∈ K que deben umplir
los siguientes axiomas:
Siendo a, b, c, d ∈ K es alares ualesquiera se umple:

1. CLAUSURA: a=c y b=d impli a (a + b) = (c + d) y a·b=c·d

2. ASOCIATIVIDAD: (a + b) + c = a + (b + c) (a · b) · c = a · (b · c)

3. CONMUTATIVA: a+b= b+a a·b =b·a

4. MODULATIVA: a+0=a y a · 1 = a, adems 0 6= 1.

5. INVERSOS ADITIVOS: Existe (−a) tal que a + (−a) = 0

6. DISTRIBUTIVA: a · (b + c) = a · b + a · c

7. INVERSOS PARA EL PRODUCTO: Si a 6= 0 existe a−1 talque a · a−1 = a−1 · a = 1

NOTACIÓN:
En uanto nota ión debemos de ir que el punto de produ to en general se omite. Por otra
parte, se notará a−b al elemento a + (−b). El grasmo − se usará en dos sentidos: omo

* UIS

1
símbolo de dos argumentos que representa la resta y omo símbolo de un sólo argumento
que representa el inverso aditivo.
De los axiomas se deriva una gran antidad de propiedades mu has de las uales pueden
ser familiares; por ejemplo, que al multipli ar por 0 todo se anula, que toda e ua ión lineal
ax + b = c de una úni a variable ( on a 6= 0), tiene una úni a solu ión,et .
Ha emos notar que por este método axiomáti o no interesa la naturaleza de los elementos del
onjunto K, ni el signi ado de las opera iones, solamente se debe umplir on los axiomas.

Ejemplo 1. Como ya se dijo, los números reales R, los ra ionales Q y los omplejos C son
ampos on las opera iones usuales.

Ejemplo 2. El ampo más pequeño que se puede pensar debe tener por lo menos dos
elementos: el uno y el ero. Sea A = {0, 1} y denamos las opera iones + y · omo se indi an
en los uadros:

+ 0 1 · 0 1
0 0 1 0 0 0
1 1 0 1 0 1

Enton es se veri an todos los axiomas. La lausura se garantiza por la manera omo se
han denido las opera iones. La onmutativa para + se ve ha iendo todas las ombina iones
posibles, se ve que 0 + 1 = 1 = 1 + 0; 1 + 1 = 0 = 1 + 1; 0 + 0 = 0 = 0 + 0. As se prueban
todos los axiomas. Se pueden interpretar estas opera iones omo si el 0 representara los pares
y el 1 los impares. Enton es 1 + 1 = 0 porque impar mas impar da un par,así on los 7
resultados restantes.

Ejemplo 3. Sea A = {a, b, c, d} y se denen las opera iones así:

+ a b c d · a b c d
a a b c d a a a a a
b b c d a b a b c d
c c d a b c a c a c
d d a b c d a d c b

En este aso omo en el anterior, habría que demostrar ada propiedad observando todas
las posibilidades. Vemos que el papel del 0 es jugado por a mientras que b ha e el papel
del 1, pues son módulos para el produ to y la suma, respe tivamente. Ver que un elemento
tiene inverso aditivo es mirar en la la orrespondiente en la tabla de la suma, que aparez a
a (o sea el 0). Se nota enton es que todos los elementos tiene inverso aditivo, por ejemplo
−d = b. Para ver que todos los elementos (diferentes de a) tienen inverso multipli ativo se
ha e algo similar: en la la respe tiva del produ to se bus a el módulo multipli ativo que
es b y sorpresa! c no tiene inverso multipli ativo; por tanto esta estru tura NO forma un
ampo! Todos los demás axiomas se umplen, aunque on nuestros elementos demostrarlos
plenamente sería muy engorroso, sobretodo en lo on erniente a la aso iatividad de las dos
opera iones y a la distributiva.

Ejemplo 4. Cuando se toma omo onjunto A = 0, 1, 2, . . . m − 1 se pueden denir las ope-

ra iones suma y produ to omo en los enteros, teniendo en uenta que uando se pase de

2
m − 1 se toma el residuo al dividir por m. Así se forma la arimti a de residuos módulo
m, estru tura que notamos Zm . Cuando p es primo (es de ir no tiene divisores no trivia-
les) enton es Zp es ampo. Aunque no lo omprobaremos el le tor puede veri ar diferentes
asos. Cuando m no es primo Zm no forma un ampo pues hay elementos no nulos que no
tienen inverso multipli ativo, sin embargo las demás propiedades se umplen. Presentamos
las tablas del ampo Z7 :

+ 0 1 2 3 4 5 6 · 0 1 2 3 4 5 6
0 0 1 2 3 4 5 6 0 0 0 0 0 0 0 0
1 1 2 3 4 5 6 0 1 0 1 2 3 4 5 6
2 2 3 4 5 6 0 1 2 0 2 4 6 1 3 5
3 3 4 5 6 0 1 2 3 0 3 6 2 5 1 4
4 4 5 6 0 1 2 3 4 0 4 1 5 2 6 3
5 5 6 0 1 2 3 4 5 0 5 3 1 6 4 2
6 6 0 1 2 3 4 5 6 0 6 5 4 3 2 1

Comprobar algunas propiedades puede ha erse por simple inspe ión, por ejemplo las on-
mutativas se omprueban al ver que las tablas son simétri as. Las propiedades no visibles
son las aso iativas y la distribuitiva. El inverso aditivo de t es 7−t (salvo si i = 0), a-
da elemento diferente de 0 tiene su inverso multipli ativo, por ejemplo podemos de ir que
3−1 = 5 ya que por 3 · 5 = 1. Realmente todas estas propiedades se derivan de la estru tura
de los números enteros. Nótese que los elementos 0, 1, 2, 4 tienen raí es uadradas mientras
que 3, 5, 6 no tienen.
Muy fre uentemente la aritméti a módulo m se ha e on todos los enteros pero trabajando
on una iguldad diferente: es la ongruen ia módulo m, que se simboliza ≡, as se tiene 3 ≡ 13
(mód 5), pero no 2 ≡ 4 (mód 5).
No es difí il, aunque no es nuestro interés, demostrar que siempre que p sea primo se obtiene,
omo en el ejemplo 4 un ampo Zp de p elmentos. Desde tiempos de Eu lides se sabe que
hay innitos primos, enton es tenemos innitos ampos nitos.
Estos ampos siempre se pueden ampliar obteniendo ampos de pk elementos. Además (esto
es algo mas difí il de demostrar) aquí están todos los ampos nitos. El siguiente ejemplo,
muestra ómo se ha en tales amplia iones que son análogas a la forma que se amplía R para
obtener C.
Ejemplo 5. El ejemplo 2 orresponde realmente a Z2 . La e ua ión x2 + x + 1 = 0 no tiene
solu ión en Z2 . Introdu imos enton es un elemento (`imaginario') que llamamos u y que
2
umple u + u + 1 = 0. También debemos introdu ir u + 1 (pues es imposible que u + 1 sea
igual a 0 o 1 o u) y no ne esitamos introdu ir más. Presentamos las tablas del nuevo ampo
que notamos Z2 [u]:

+ 0 1 u u+1 · 0 1 u u+1
0 0 1 u u+1 0 0 0 0 0
1 1 0 u+1 u 1 0 1 u u+1
u u u+1 0 1 u 0 u u+1 1
u+1 u+1 u 1 0 u+1 0 u+1 1 u

3
Para al ular por ejemplo el uadrado de u+1 ha emos así:

(u + 1)(u + 1) = u(u + 1) + 1(u + 1) = (u2 + u) + (u + 1) = (u2 + u + 1) + u = 0 + u = u

; hemos empleado úni amente las leyes de los ampos, lo que ya sabamos de Z2 y el he ho
2
de que u + u + 1 = 0.

Ejemplo 6. En el ejemplo 4 onstruimos las tablas de Z7 y anotamos que por ejemplo 6 no

tiene raiz uadrada. Introdu imos un elemento que llamamos i tal que omo en los omplejos,
i2 = −1 = 6. Obtenemos un ampo Z7 [i] de 49 elementos de la forma a + bi on a, b ∈ Z7 .
Ha er la tabla sería algo engorroso, pero podemos al ular por ejemplo:

(3 + 2i)(2 + i) = 3(2 + i) + 2i(2 + i) = (6 + 3i) + (4i + 2i2 ) = (6 + 2 · 6) + (4 + 3)i = 6 + 5 = 4

Ejer i ios

1. Sea X un onjunto y A el onjunto de todos los sub onjuntos de X . Enton es la ∪ e ∩

son opera iones denidas en A. Entendiendo la ∪ omo la suma y la ∩ omo produ to
uáles axiomas de ampo se umplen?

2. Los siguientes sistemas numéri os forman un ampo on la suma y el produ to usuales

(FALSO/VERDADERO):

(a) Los números reales R.

(b) Los números enteros Z.
( ) Z9 los enteros módulo 9.

(d) Z7 los enteros módulo 7.

(e) 2N los números naturales pares.

3. Complete la tabla de multipli a ión para que el onjunto A = {a, b, c, d, e} forme un

ampo:

+ a b c d e · a b c d e
a a b c d e a a a a a a
b b c e a d b a
c c e d b a c a
d d a b e c d a
e e d a c b e a b c d e

NOTA: e juega el papel de módulo para el produ to. Para averiguar, por ejemplo,
uánto es c · b se sabe que e + e = b enton es c · b = c(e + e) = c · e + c · e = c + c = d,
ahora omo e + b = c averigüe uánto es c · e y siga!

4. Explique por qué en un ampo nito on un número impar de elementos, sólo existen
2
dos elementos que umplen que x = 1 es de ir que ellos son su propio inverso. De
aquí se on luye ( ómo así?) el Teorema de Wilson: Si p es primo impar (p − 1)! deja
residuo p − 1 al ser dividido entre p. Este resultado no es nada trivial, asegura que
por ejemplo 52! al ser dividido por 53 deje residuo 52.

4
 5. Construir un ampo de 3 elementos, ampliarlo a uno on 9 elementos.

6. Construir un ampo de 5 elementos, ampliarlo a uno on 25 elementos.

7. En el ampo Z11 la e ua ión x2 = 10 no tiene solu ión. Sea u tal que u 2 = 2. Enton es
agregando u al ampo Z11 obtengo el ampo Z1 1[u] on 121 elementos. Cal ule (u +
2
1) + (5u + 6).

E ua iones lineales
Una propiedad de los ampos es que ualquier e ua ión de la forma ax + b = c on a 6= 0
tiene una úni a solu ión para la in ógnita x. Para resolver la men ionada e ua ión se usa que
todo elemento tiene inverso aditivo y los elementos no nulos tinen inversos multipli ativos.
Las solu iones a sistemas de e ua iones on 2 o 3 in ógnitas también pueden verse omo
lugares geométri os uando trabajamos on ampos nitos. Por ejemplo, para representar
las solu iones a la e ua ión 3x + 4y = 2 en Z7 podemos tomar un tablero on 49 puntos
de 7 las y 7 olumnas. Si x = 1 debemos resolver 3 + 4y = 2 que es lo mismo (sumando
4 a ambos lados) que 4y = 6 y multipli ando por 2 (que es el inverso multipli ativo de 4)
tenemos y = 5, así (1, 5) es un punto de la re ta. Así también (2, 6), (3, 0), (4, 1), (5, 2), (6, 3)
y (0, 4) son puntos de la re ta on e ua ión 3x + 4y = 2.

6 ⊙
5 ⊙
4⊙
3 ⊙
2 ⊙
1 ⊙
0 ⊙
0 1 2 3 4 5 6

Figura 1: Re ta 3x + 4y = 2 en Z7 × Z7

Ejemplo 7. Queremos en ontrar todos los enteros positivos m y n tales que

15n + 23m = 2372 (1)

omo 72 ≡ 3 (mód 23), ésto se puede tradu ir en términos de residuos en resolver:

15n ≡ 3 (mód 23) (2)

5
y nuestro problema es ahora despejar n de esta ongruen ia. Debemos pues, en ontrar el
inverso multipli ativo de 15 módulo 23. Observamos que 15 × 3 ≡ −1 (mód 23) por tanto
15 × (−3) ≡ 1 (mód 23) y tenemos que el inverso multipli ativo de 15 módulo 23 es 20.
Multipli ando por 20 (módulo 23) la e ua ión 2 obtenemos:

n ≡ 14 (mód 23) (3)

lo que quiere de ir que n = 23k +14 para k ∈ Z y remplazando esto en la e ua ión 1, tenemos
15(23k + 14) + 23m = 2372 (4)

de donde se dedu e que

23m = 2372 − 15(23k + 14) = 23(15k − 94) (5)

y tenemos las solu iones enteras a la e ua ión 1:

n = 23k + 14 (6)

m = −15k + 94 (7)

omo queremos solu iones positivas, tenemos que k = 0, 1, 2, 3, 4, 5, 6 y la siguiente tabla da

razón de las siete solu iones enteras positivas de la e ua ión 1:

0 1 2 3 4 5 6
n 14 37 60 83 106 129 152
m 94 79 64 49 34 19 4
Ejemplo 8. Trabajando en el ampo Z5 , halle todas las solu iones del sistema

2x + 2y + 4z = 1
3x + z = 2
2y = 3

El método de Gauss para resolver sistemas de e ua iones lineales se puede apli ar en ualquier
ampo.
     
2 2 4 1 2 2 4 1 2 2 4 1
 3 0 1 2 − −−−−−−→
f2 → f2 + f1  0 2 0 3 
−−−−−−−−→ 
f3 → f3 + 4f2 0 2 0 3 
0 2 0 3 0 2 0 3 0 0 0 0
Nuestro sistema ha quedado redu ido al sistema

2x + 2y + 4z = 1
2y = 3
Pero la e ua ión 2y = 3 es equivalente (multipli ando por 3) a: y =4 y el sistema queda
redu ido a las e ua iones:

x + 2z = 4
y =4

6
y ha iendo z = t (t es un parámetro en Z5 ) tenemos que las solu iones son de la forma
x = 4 + 3t; y = 4; z = t es de ir elementos de (Z5 )3 de la forma (4, 4, 0) + t(2, 0, 1), que son
exa tamente una re ta on 5 puntos: (4, 4, 0), (2, 4, 1), (0, 4, 2), (3, 4, 3) y (1, 4, 1). Esta es la
re ta que pasa por (2, 4, 0) on sentido (4, 0, 1).
Ahora vamos a ha er lo mismo en SAGE, primero introdu imos la matriz de sistema:

MMS=matrix(GF(5),[[2 , 2 , 4℄,[ 3 , 0 , 1℄, [0 , 2 , 0℄℄)

La matriz que llamamos MMS tiene oe ientes en el ampo GF(5) que es el ampo de Galois
de 5 elementos es de ir Z5 . Hay mu has formas de rear matri es en SAGE, aquí ha emos una
lista de 3 listas. Ahora reamos el ve tor de los términos independientes y se lo adjuntamos
a la matriz:

WV=ve tor(GF(5), [1, 2 , 3℄)

Mnue=MMS.augment(WV,subdivide=True)

Ahora la matriz Mnue es la matriz

 
2 2 4 1
 3 0 1 2 
0 2 0 3

y las opera iones entre las se ha en así:

Mnue.add_multiple_of_row(1,0,1)
Mnue.add_multiple_of_row(2,1,4)
Ahora la matriz Mnue es

 
2 2 4 1
 0 2 0 3 
0 0 0 0
.e helon_form() resuelve totalmente el sistema pues entrega la forma es alonada
la fun ión
usaríamos MMS.e helon_form() que produ e :

 
1 0 2 4
 0 1 0 4 
0 0 0 0
para hallar exa tamente todas las solu iones podemos emplear la fuerza bruta, es de ir rear
una lista uyos elementos son las solu iones bus adas. Primero reamos nuestro universo que
será (Z5 ) lo llamaremos TT:
3

TT= artesian_produ t([GF(5),GF(5),GF(5)℄)

y ahora nuestra lista:

RI=[uu for uu in TT if uu[0℄+2*uu[2℄==4 and uu[1℄==4℄

7
y tenemos que RI será la lista

[(0, 4, 2), (1, 4, 4), (2, 4, 1), (3, 4, 3), (4, 4, 0)]
Tambien se puede ver (Zp )3 omo un espa io ve torial:

FK=Ve torSpa e(GF(5),3)

Rff=[uu for uu in FK if uu[0℄+2*uu[2℄==4 and uu[1℄==4℄
Ejemplo 9. Ahora trabajaremos en un ampo de 25 elementos. Aunque el ampo Z5 se
puede ampliar de mu has maneras para onseguir un ampo de 25 elementos pues hay mu hos
polinomios de grado 2 sobre Z5 , todas esas maneras produ en ampos equivalentes (se di e
ampos isomorfos), por eso podemos hablar de el ampo de 25 elementos. En SAGE se
invo a on GF(25). Así:

KK.<u>=GF(25)
de imos que el ampo KK será Z5 [u] donde u será la raiz de un polinomio irredu ible de grado
2. Para averiguar el polinomio es ribimos harpoly(u) lo que nos indi a que u es tal que
u2 + 4u + 2 = 0 o omo quien di e u2 = u + 3. Esta raiz es primitiva, en uanto si ha emos sus
poten ias desde 1 a 24 obtenemos todos los elementos no nulos de KK. Esta es la enumera ión
de los elementos de KK:
0, u, u2 = u + 3, u3, . . . u24 = 1

Ejer i ios

1. Los elementos de (Z2 )n suelen es ribirse omo ódigos de n bits, es de ir ve tores

en uya nota ión se omiten los paréntesis y las omas. Por ejemplo 0101 ∈ (Z2 )4 y
01111 ∈ (Z2 )5 . Determine todos los xyzu ∈ (Z2 )4 que umplan el sistema:
x+y+u = 0
y+z+u =0
0000, 1011, 1110, 0101
2. En (Z5 )3 la re ta que ontiene a (1, 1, 1) y (3, 4, 1) ontiene 5 puntos. Determine los
otros tres:
(0, 2, 1), (2, 0, 1), (4, 3, 1)

Transforma iones lineales

Para representar las transforma iones lineales de (Zp )2 en (Zp )2 se utilizan, omo es natural,
matri es 2×2 on oe ientes en Zp . Para visualizar el efe to de una de estas transforma iones
podemos pintar dos ve es los planos respe tivos, etiquetamos los puntos a un lado y dibuja-
mos al otro lado dónde quedarán, es de ir sus imágenes. Como ejemplo, supongamos p = 7
2 2
y la trasforma ión T : (Zp ) −→ (Zp ) denida por T (x, y) = (2x + y, 3x + 4y) y uya matriz
 
2 1
es . Los puntos de la re ta 3x + 4y = 5 son (0, 3), (1, 4), (2, 5), (3, 6), (4, 0), (5, 1) se
3 4
señalan en el plano de la izquierda on las letras a, b, c, d, e, f respe tivamente. Las imágenes
por medio de T están dibujadas en el plano de la dere ha y forman una re ta horizontal.

8
 6 c 6
5 b 5
4 a 4
3 g 3
2 f 2 f d b g e c a

1 e 1
0 d 0
0 1 2 3 4 5 6 0 1 2 3 4 5 6

Figura 2: Transforma ión de la re ta 3x + 4y = 2 en Z7 × Z7

Geometría afín de (Zp)2

A eptemos que las re tas de (Zp )2 son solu iones de e ua iones lineales on dos in ógnitas
es de ir una re ta L será un onjunto de puntos de la forma:

L = {(x, y) ∈ Zp × Zp : ax + by = c}
donde a, b ∈ Zp no son ambos nulos. Primero debemos ver que L no es va ío, es más que
tiene por lo menos dos puntos(ejer i io).
Las herramientas de la geometría analíti a son válidas, por ejemplo dados los puntos P =
(x1 , y1 ) y Q = (x2 , y2) on y1 6= y2 , la re ta que ontiene a P y Q son los (x, y) que umplen
la e ua ión:
x − x1 x2 − x1
=
y − y1 y2 − y1
Por otra parte tal re ta es úni a, es de ir si tenemos:

a1 x1 + b1 y1 = c1
a1 x2 + b1 y2 = c1
a2 x1 + b2 y1 = c2
a2 x2 + b2 y2 = c2
se llega a :
b1 x2 − x1 b2
= − =−
a1 y2 − y1 a2
lo que impli a que a2 , b2 , c2 son múltiplos de a1 , b1 , c1 y por tanto ada una de las e ua iones:

a1 x + b1 y = c1
a2 x + b2 y = c2

9
tienen el mismo onjunto solu ión.
Conviene también observar que estas re tas son o lases de subespa ios de dimensión 1, es
2
de ir para L que está denida omo la sulu ión de una e ua ión existe un ve tor v ∈ (Zp )
2
no nulo y un punto p ∈ (Zp ) tal que:

L = {p + αv ∈ (Zp )2 : α ∈ Zp }

El subespa io de dimensión 1 son los múltiplos de v, al sumarles p se obtiene la o lase.

Es fá i ver que si se ja v (o el subespa io), al onsiderar las diferentes op iones para p se
obtiene una parti ión, es de ir si

L| = {p + αv ∈ (Zp )2 : α ∈ Zp }

y
L2 = {q + αv ∈ (Zp )2 : α ∈ Zp }
enton es o bien L1 = L2 o bien L1 ∩ L2 = ∅.

10