CAMPOS

Definición. Sea k un conjunto con dos operaciones (funciones)

Suma: +: k×k → k
(α, β) 7→ +(α, β) =: α + β
y
Producto · : k×k → k
(α, β) 7→ ·(α, β) =: α · β

Diremos que (k, +, ·) es un campo si satisface lo siguiente:

(+.0. Cerradura: ∀α, β ∈ k, α + β ∈ k. Al dar la suma y el producto
como funciones cuyo contradominio es k ya estamos pidiendo que se cumpla la
cerradura).
+.1. Conmutatividad: ∀α, β ∈ k, α + β = β + α.
+.2. Asociatividad: ∀α, β, γ ∈ k, α + (β + γ) = (α + β) + γ
+.3. Neutro aditivo. ∃0k ∈ k, ∀α ∈ k [α + 0k = α (= 0k + α)]
+.4. Inverso aditivo. ∀α ∈ k, ∃δ ∈ k, [α + δ = 0k (=δ + α)]
(·.0. Cerradura: ∀α, β ∈ k, α · β ∈ k)
·.1. Conmutatividad: ∀α, β ∈ k, α · β = β · α.
·.2. Asociatividad. ∀α, β, γ ∈ k, α · (β · γ) = (α · β) · γ
·.3. Neutro multiplicativo. ∃1k ∈ k, ∀α ∈ k [α · 1k = α (=1k · α)]
·.4. Inverso multiplicativo. ∀α ∈ k, α 6= 0k , ∃λ ∈ k, [α · λ = 1k (=λ · α)]
a. Distributividad: ∀α, β, γ ∈ k, α · (β + γ) = (α · β) + (α · γ)
b. El neutro aditivo es distinto del neutro multiplicativo: 0k 6= 1k

Ejemplos y no ejemplos:
0. Sea Z el conjunto de los números enteros con su suma + y producto · usuales.
TAREA: Demostrar que (Z,+, ·) no es un campo.
n o
1. El conjunto de los números racionales Q:= pq ; p, q ∈ Z y q 6= 0 con su suma
y producto usuales, es un campo.
p pb +aq
a
q +Q b := qb y pq ·Q ab := pa
qb .
Donde el neutro aditivo es 0 = 01 , el neutro multiplicativo es 1 = 11 , el inverso
aditivo de ab es −a a
b = −b y si a 6= 0, entonces el inverso multiplicativo de b es
a

b
a.

2. El conjunto de los números reales R con su suma y producto usuales, es un

campo.
√  √
3. Sea Q[ 2] := α + β 2; α, β ∈ Q con las operaciones usuales de los números
√

reales. Entonces Q[ 2],+, · es un campo.
√ √
Donde el inverso multiplicativo de 2 es 12 2.

1
4. Sean (R,+R , ·R ) el campo de los números reales con su suma y producto
usuales.
Definimos el conjunto de los números complejos C = {(a, b); a, b ∈ R} con
su suma coordenada a coordenada:
(a, b) + (c, d) = (a +R c, b +R d)

y su producto: (a, b) · (c, d) = ([a ·R c] −R [b ·R d] , [a ·R d] +R [b ·R c]) (=(ac −

bd, ad + bc) si no hay confusión).
(C,+, ·) es un campo.

TAREA. Dar:

4.1. El neutro aditivo, el neutro multiplicativo.

4.2. El inverso aditivo de (a, b).
4.3. El inverso multiplicativo de (a, b) cuando (a, b) 6= (0, 0).

4.4. Observación: Como conjunto, los complejos se pueden representar como

R2 . Más aún, su suma es la de R2 .

4.5. Hay diferentes maneras de ver a los complejos. Les mandaré un archivo
para sólo complejos.

5. TAREA. Z2 := {0, 1} con la suma y producto siguientes:

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

es un campo.

6. TAREA. Sea Z3 = {0, 1, 2} los enteros módulo 3, con la suma + y el

producto ·:

+ 0 1 2 · 0 1 2
0 0 1 2 0 0 0 0
y
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1

Demostrar que (Z3 , +, ·) es un campo.

7. TAREA. Análogamente tenemos Z4 = {0, 1, 2, 3} el conjunto de los enteros

módulo 4, con su suma y producto usuales. Demostrar que Z4 no es campo.

2
8. Sea Zn = {0, 1, 2, ..., n − 1} el conjunto de los enteros módulo n con su suma
y producto usuales:

a +n b := a +Z b y a ·n b := a ·Z b

TAREA: Demostrar que si n no es un número primo, entonces Zn no es un

campo.
(Hint: Si n > 1 no es primo, entonces ∃m, t ∈ N − {1}, n = mt).

Más aún, (TRATEN DE PROBARLO):

[(Zn , +, ·) es campo] ⇔ [n es un número primo]

Observaciones. Sea (k, +, ·) un campo. Entonces

i. Por (+.3) ó (·.3), k 6= ∅, donde ∅ es el conjunto vacı́o.
ii. El neutro aditivo es único. Al que denotaremos por 0 ó 0k .
Demostración: Sean 0k , 00k ∈ k tales que ∀α ∈ k, α + 0k = α y α + 00k = α.
PD. 0k = 00k .
En particular, tenemos que
0k + 00k = 0k y 0k + 00k = 00k
Por lo tanto, 0k = 0k + 00k = 00k .
Por lo tanto, 0k = 00k .
ii. Ley de cancelación de la suma: ∀α, β, γ ∈ k, [α + β = α + γ] ⇒ [β = γ] .
Demostración. Sean α, β, γ ∈ k tales que α + β = α + γ
PD. β = γ
Como α ∈ k, por (+.4), ∃δ ∈ k, α + δ = 0.
Entonces
(+.2)
δ + (α + β) = δ + (α + γ) ⇒ (δ + α) + β = (δ + α) + γ
(+.3,+.4)
⇒ β = 0 + β = (δ + α) + β = (δ + α) + γ = 0 + γ = γ
⇒ β=γ


iii. ∀α ∈ k, α · 0k = 0k .
Demostración: Por (+.3), 0k + 0k = 0k . Entonces
(+.3)
0k + (α · 0k ) = α · 0k = α · (0k + 0k ) = (α · 0k ) + (α · 0k )
ley−canc
⇒ 0k = α · 0k .
iv.a. Sea α ∈ k, el inverso aditivo de α es único. Y lo denotaremos por −α.
Demostración: Sean α ∈ k y δ, δ 0 ∈ k tales que α + δ = 0k y α + δ 0 = 0k .
PD. δ = δ 0 .
Como α + δ = 0k = α + δ 0
Entonces α + δ = α + δ 0
Entonces (por (ii)), δ 0 = δ.

Otra demostración:

3
 (+.4) (+.3)
δ 0 + (α + δ) = δ 0 + 0k = δ 0
y
(+.2) (+.4) (+.3)
δ 0 + (α + δ) = (δ 0 + α) + δ = 0k + δ = δ
Por lo tanto, δ 0 = δ.

iv.b. ∀α ∈ k, −α = (−1k )α. (Es decir, el inverso aditivo de α es el producto del

inverso aditivo del 1k por α).
Demostración.
(·.3) dist. (iii)
α + [(−1k ) · α] = (1k · α) + [(−1k ) · α] = [(1k + (−1k )] · α = 0k · α = 0k .

TAREA. Demostrar:
i’. El neutro multiplicativo es único.
ii’.Ley de cancelación del producto. ∀α, β, γ ∈ k con α 6= 0, [(α · β = α · γ) ⇒ (β = γ)] .
iii’. Sea α ∈ k\{0}, el inverso multiplicativo de α es único y lo denotaremos
por α−1 .

SUBCAMPOS:
Definición. Sean (k, +k , ·k ) y (F, +F , ·F ) campos.
Diremos que (F, +F , ·F ) es subcampo de (k, +k , ·k ), que denotaremos por
F ≤ k (ó F ≤subcampo k) si:

≤ .1. F ⊆ k (Es decir, F es subconjunto de k).

≤ .2.∀α, β ∈ F , α +F β = α +k β.
≤ .3.∀α, β ∈ F , α ·F β = α ·k β.
≤ .4. 0F = 0k y 1F = 1k

Observación. En términos de funciones, lo que nos dicen ≤2 y ≤3 es lo sigu-

iente:
Las restricciones +F = +k |F F
F ×F y ·F = ·k |F ×F

Ejemplos: √
Sean (Q,+, ·) ≤subcampo (Q[ 2],+, ·) ≤subcampo (R,+, ·) ≤subcampo (C,+, ·)
con las operaciones usuales.