CAMPOS

Jhonatan Steven Mora Rodrı́guez

Álgebra lineal
Universidad Distrital Francisco Jóse de Caldas
[email protected]

May 18, 2020

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 1 / 17

 Contenido

1 Campos

2 Campos finitos
Congruencias
Aritmética módulo n
Cuerpos de dimensión finita

3 Referencias

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 2 / 17

 Campos

Definición (Campo)
Un campo hA, +, ·i es un conjunto no vacı́o A junto con dos operaciones
binarias + y ·, que llamamos suma y multiplicación definidas en A tales
que satisfacen los siguientes axiomas:
Clausura para la suma: Para cada a y b en A, a + b ∈ A.
Asociatividad para la suma: Para cada a, b y c en A se satisface

a + (b + c) = (a + b) + c

Conmutatividad para la suma: Para cada a y b se satisface

a+b =b+a

Existencia del neutro Existe 0 ∈ A tal que a + 0 = 0 + a = a para

cada a ∈ A

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 3 / 17

 Campos

Definición (Campo)
Existencia del opuesto: para cada a ∈ A existe −a ∈ A tal que

a + (−a) = (−a) + a = 0

−a es llamado opuesto de a.
Clausura para el producto: Para cada a y b en A, ab ∈ A
Asociatividad para el producto: Para cada a, b y c en A se cumple:

a(bc) = (ab)c

Conmutatividad para el producto: Para cada a y b en A se cumple

ab = ba

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 4 / 17

 Campos

Definición (Campo)
Existencia de la unidad: Existe u ∈ A tal que para cada a ∈ A se
cumple
au = ua = a
Existencia del inverso: Para cada a 6= 0 en A existe a−1 tal que

aa−1 = a−1 a = u

a−1 ( 1a ) es llamado el inverso de a.

Ley distributiva: Para cada a, b y c en A se satisface:

a(b + c) = ab + ac

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 5 / 17

 Campos

Ejemplos
El conjunto {0} con la suma usual y el producto usual es un campo.
El conjunto de los números racionales Q junto con las operaciones
usuales es un campo.
El conjunto de los número reales R junto conlas operaciones usuales
es un campo.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 6 / 17

 Campos

Ejemplos
El conjunto de los números complejos

C = {a + ib | a, b ∈ R}

junto con las operaciones de suma definida por

(a1 + b1 i) + (a2 + b2 i) = a1 + a2 + (b1 + b2 )i

y producto definido por

(a1 + b1 i)(a2 + b2 i) = a1 a2 − b1 b2 + (a1 b2 + a2 b1 )i

es un campo.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 7 / 17

 Campos

Teorema (Propiedades de los campos)

Sea hA, +, ·i un campo, entonces se cumplen las siguientes propiedades.
El elemento neutro es único.
La unidad es única.
Si 0 = 1, entonces A = {0}.
a(−b) = (−a)b = −(ab)
(−a)(−b) = ab
Si a + c = b + c, entonces a = b
Si ac = bc y c 6= 0, entonces a = b
La ecuación ax + b = c tiene solución única si a 6= 0.
(−1)a = −a
Si ab = 0, entonces a = 0 o b = 0.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 8 / 17

 Campos

Ejercicio:
Demuestre o refute que el conjunto R2 con la suma

(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )

y producto

(x1 , y1 )(x2 , y2 ) = (x1 x2 − 2y1 y2 , x1 y2 + x2 y1 )

es un campo.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 9 / 17

 Congruencias

Recordemos que si a y b son enteros cualesquiera y n es un entero positivo.

Si n|(a − b) decimos que a y b son congruentes módulo n y escribimos

a≡b mod n

si a no es equivalente con b módulo n, escribimos

a 6≡ b mod n

entonces esta relación de congruencia módulo n define sobre el conjunto

de los número enteros una relación de equivalencia, es decir,
≡ es reflexiva, es decir, a ≡ a mod n,
≡ es simétrica, es decir, si a ≡ b mod n, entonces b ≡ a mod n,
≡ es transitiva, es decir, si a ≡ b mod n y b ≡ c mod n, entonces
a ≡ c mod n

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 10 / 17

 Congruencia

Ya que ≡ es una relación de equivalencia, entontes podemos particionar Z

en n conjuntos. Notemos cada una de esas particiones por:

0, 1, . . . , n − 1

Ahora definamos las siguientes operaciones

a+b :=a+b
a ∗ b : = ab

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 11 / 17

 Congruencia

Ya que ≡ es una relación de equivalencia, entontes podemos particionar Z

en n conjuntos. Notemos cada una de esas particiones por:

0, 1, . . . , n − 1

Ahora definamos las siguientes operaciones

a+b :=a+b
a ∗ b : = ab

¿Están bien definidas estas operaciones binarias?.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 11 / 17

 Aritmética módulo n

Se acostumbra a denotar al conjunto cociente Z/nZ por Zn , es decir,

Zn = {0, 1, . . . , n − 1}

La adición y la multiplicación en Zn tiene las propiedades

Asociativa
Conmutativa
Existe el neutro para la suma y la unidad para el producto.
Para cada elemento en Zn existe el opuesto
El producto es distributivo con respecto a la suma.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 12 / 17

 Aritmética módulo n

Se acostumbra a denotar al conjunto cociente Z/nZ por Zn , es decir,

Zn = {0, 1, . . . , n − 1}

La adición y la multiplicación en Zn tiene las propiedades

Asociativa
Conmutativa
Existe el neutro para la suma y la unidad para el producto.
Para cada elemento en Zn existe el opuesto
El producto es distributivo con respecto a la suma.
¿ Es la estructura hZn , +, ∗i un cuerpo?

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 12 / 17

 Arı́tmetica módulo n

Teorema
Zn es un cuerpo si y solo si n es un número primo.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 13 / 17

 Arı́tmetica módulo n

Teorema
Zn es un cuerpo si y solo si n es un número primo.

Ejemplo:
hZ2 , +, ∗i es un cuerpo donde

+ 0 1 * 0 1
0 0 1 0 0 0
1 1 0 1 0 1

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 13 / 17

 Aritmética módulo n

Ejemplo:
hZ3 , +, ∗i es un cuerpo donde

+ 0 1 2 * 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 14 / 17

 Aritmética módulo n

Ejemplo:
hZ3 , +, ∗i es un cuerpo donde

+ 0 1 2 * 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1

¿ Son los hZp , +, ∗i con p primo los únicos campos finitos?

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 14 / 17

 Cuerpos de dimensión finita

Teorema
Para cada entero positivo n y cada primo p existe un cuerpo Fpn con p n
elementos.

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 15 / 17

 Cuerpos de dimensión finita

Teorema
Para cada entero positivo n y cada primo p existe un cuerpo Fpn con p n
elementos.

Ejercicio:
Demuestre que el conjunto A = {0, 1, a, b} con las operaciones definidas
por las siguientes tablas:

+ 0 1 a b * 0 1 a b
0 0 1 a b 0 0 0 0 0
1 1 0 b a 1 0 1 a b
a a b 0 1 a 0 a b 1
b b a 1 0 b 0 b 1 a

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 15 / 17

 Referencias

John F. Frayleigh, Álgebra abstracta, 1a Edición, ADDISON-WESLEY

IBEROAMERICA, 1982

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 16 / 17

 GRACIAS

Jhonatan Steven Mora Rodrı́guez (UDISTRITAL) May 18, 2020 17 / 17