1° CLASE: ANILLOS Y CAMPOS

1.1 PRELIMINARES
Estructura de Grupo
Concepto de grupo

Sea G un conjunto y ⊤ una ley de composición interna en G. Se dice que

(G, ⊤) posee la estructura de grupo, si se cumplen:

G 1) ⊤ es asociativa:  a, b, c, en G, (a ⊤ b) ⊤ c = a ⊤ (b ⊤ c)
G 2) Existe e  G tal que: e ⊤ a = a  a ⊤ e = a;  a  G
G 3) Para cada a  G, existe a-1  G tal que a ⊤ a-1 = e  a-1 ⊤ a = e,
a-1  G, se llama el elemento inverso o simétrico de a.
Notas:
1) Siendo (G, ⊤) un grupo, Si además se cumple:

Para todo a, b G, a ⊤ b = b ⊤ a, entonces diremos que (G, ⊤) es un

grupo conmutativo o abeliano.
2) En un grupo, para a en G, también a-1 = a'
En grupos aditivos (G, +), para a en G se tiene a-1 = a' = -a
-a se llama el opuesto de a.
Ejemplo 1
Son grupos abelianos o conmutativos:
(ℤ, +); (ℚ, +); (ℝ, +); (ℂ, +)
Caso particular en (ℤ, +) se verifica:
G1)  a, b, c en ℤ, (a + b)+c =a + (b + c)
G2) Existe e = 0 ∈ ℤ / 0 + a = a y a+0 = a,  a ∈ ℤ
G3)  a ∈ ℤ, existe - a ∈ ℤ / (-a) + a = 0 ∧ a + (-a) = 0
G*) + es conmutativa en ℤ

Es decir, (ℤ, +) es un grupo abeliano

 Ejemplo 2

Considerando el conjunto de los números ℤ, definimos la

operación ⊤ como sigue:  a, b en ℤ; a ⊤ b = a + b + 1

Se verifica (ℤ, ⊤) es un grupo abeliano con neutro e = -1

Ejemplo 3

Para n = 4 en ℤ, sea ℤ4 = {[0], [1], [2], [3]}, el conjunto de los números enteros
residuales módulo 4.

En ℤ4 definimos la operación de adición (+):Para cada [a], [b] en ℤ4 se

define +: [a] + [b] = [r] donde r es el residuo de dividir a + b entre 4. Esta
operación lo indicamos en la siguiente tabla:
+ [0] [1] [2] [3]
[0] [0] [1] [2] [3]
[1] [1] [2] [3] [0]
[2] [2] [3] [0] [1]
[3] [3] [0] [1] [2]

Se verifica: (Z4, +) es un grupo abeliano; pues se cumple:

a. + es asociativa en ℤ4.
b. + es conmutativa en ℤ4.
c. El neutro aditivo en ℤ4 es e = [0 ].
d. Existencia de “inversos aditivos” u opuestos:
El opuesto de [0] es [0], pues [0] + [0] = [0]
El opuesto de [1] es [3], pues [1] + [3] = [0]
El opuesto de [2] es [2], pues [2] + [2] = [0]
El opuesto de [3] es [1], pues [3] + [1] = [0]
Luego escribiremos: -[0] = [0], -[1] = [3], -[2] = [2], -[3] = [1]
Así: -[1] = [3] Significa que el inverso aditivo de [1] es [3] en Z4.
Ejemplo 4

Dado n > 0 en ℤ. Considere ℤn = { [0], [1], [2], ..., [n-2], [n-1] } formado por los

enteros residuales módulo n. Definimos la operación de adición + en ℤn ;

Para cada [a] y [b] en ℤn: [a] + [b] = [a + b] = [ r ] donde r es el resto de

dividir a + b entre n.
Se verifica:

G1) Para cada [a], [b], [c] en ℤn

([a] + [b]) + [c] = [a +b] + [c] ( por definición. de suma de clases en ℤn)
= [(a +b) + c] , explicar el paso anterior

= [a + (b + c)] (+ es asociativa en ℕ)
= [a  + b + c]
= [a] + ([b] + [c])

o sea + es asociativa en ℤn

G*) Para todo [a], [b] en ℤn

[a] + [b] = [a + b] = [b + a] = [b] + [a]
o sea + es conmutativa

G2) Existe e = [0] en ℤn tal que

[a] + e = [a] + [0] = [a + 0] = [a], para cada [a] en ℤn

También e + [a] = [a] , pues + es conmutativa

G3) Dado cualquiera [a] en ℤn,

Si existe [b] de ℤn es el inverso aditivo de [a], si y sólo si

[a] + [b] = e = [0]

⇔ [a + b] = [0] ( a+b está en relación con 0)

⇔ a + b es múltiplo de n (investigar el paso anterior)

 ⇔ a + b = k n , con kℕ, luego es suficiente tomar k = 1

⇔ a + b = n, cuando k= 1

Resumiendo: Para cada [a] en ℤn, [b] de ℤn es el inverso aditivo de [a]

si se cumple la condición: a + b = n

Por lo tanto, hemos probado que (ℤn , +) es grupo abeliano.

Ejemplo 5

Dado el conjunto G = 1, 3, 5, 7 definimos la operación ⊤ en G por la

tabla
⊤ 1 3 5 7

1 1 3 5 7
3 3 1 7 5
5 5 7 1 3
7 7 5 3 1
Tenemos:
a) (G, ⊤) es un grupo abeliano
b) En este grupo se verifica: ∀a ∈ G, a-1 = a

Teoremas básicos sobre grupos

Teorema 1

En todo grupo (G, ⊤) el elemento neutro coincide con su inverso, es decir:

si e es neutro de G, entonces e = e-1
Demostración
Si e es neutro de G, se cumple e ⊤ a = a  a ⊤ e = a,  a  G
En particular, para a = e  G se tiene: e ⊤ e = e, entonces e-1 = e
 Teorema 2
Si (G, ⊤) es un grupo, entonces se verifican las siguientes propiedades:
a) El elemento e  G, es único.
b) a-1  G es único, para cada a  G.
c) (a-1)-1 = a, para cada a  G.

Demostración:
a) Si e1 y e, son neutros de G, entonces para cada a  G se tiene:
a⊤e=e⊤a=a ()
a ⊤ e1 = e1 ⊤ a = a ()
Haciendo a = e en (): e ⊤ e1 = e1 ⊤ e = e
Tomando a = e1 en (): e1 ⊤ e = e ⊤ e1 = e1
entonces e = e1
Es decir, el neutro de G es único.
b) Dado un elemento a  G. Supongamos que a-1 y b son los inversos de a en G,
entonces: a-1 ⊤ a = a ⊤a-1 = e (& ) y b⊤a=a⊤b=e (#)
Entonces: b=b⊤e (e es neutro de G)
= b ⊤ (a ⊤ a-1)

= (b ⊤ a) ⊤ a-1 (⊤ es asociativa)
= e ⊤ a-1
= a-1
Luego, b = a-1
Por consiguiente, el inverso de a es único en G.
c) Ejercicio para el lector

Teorema 3
Si (G, ⊤) es un grupo, entonces para todo a, b en G, a ⊤ b en G y se
cumple

(a ⊤ b)-1 = b-1 ⊤ a-1

Demostración
 Siendo (G, ⊤ ) un grupo, para todo a, b  G, a-1  G, b-1  G
Como se verifica:

(a ⊤ b) ⊤ (b-1 ⊤ a-1) = a ⊤ (b ⊤ b-1) ⊤ a-1 (⊤ es asociativa)

= a ⊤ e ⊤ a-1 (Condición de G3)
= a ⊤ a-1
=e

Entonces (b-1 ⊤ a-1) es el inverso de (a ⊤ b) por la derecha

También se verifica
(b-1 ⊤ a-1) ⊤ (a ⊤ b) = b-1 ⊤ ( a-1 ⊤ a )⊤ b
= b-1 ⊤ e⊤ b
= b-1 ⊤ b
=e

Entonces (b-1 ⊤ a-1) Es el inverso de (a ⊤ b) por la izquierda

Por lo tanto el inverso de (a ⊤ b) es (b-1 ⊤ a-1) en ese orden.

Corolario:
Como consecuencia del teorema anterior, también se puede aplicar para 3
elementos a1, a2. a3 del grupo (G, ⊤), es decir, se verifica:
El inverso de a1 ⊤ a2 ⊤ a3 es a3-1 ⊤ a2-1 ⊤ a1-1

Ejercicio:
Generalizar la igualdad para a1, a2. a3, a4, …, an-1, an (n elementos de G)

Sugerencia: Usar inducción en ℕ

Teorema 4
En todo grupo (G, ⊤) se cumplen la leyes de cancelación:
a⊤c=b⊤c  a=b (1)
c⊤a=c⊤b  a=b (2)
Demostración
 (1) Siendo (G, ⊤) un grupo, existe el neutro e G, y para c  G, existe
c-1 G , entonces usando la ley de monotonía con c-1 en la igualdad (1)
a ⊤ c = b ⊤ c  (a ⊤ c ) ⊤ c-1 = (b ⊤ c ) ⊤ c-1

 a ⊤ (c ⊤ c-1 ) = b ⊤ (c ⊤ c-1 )

 a⊤ e=b⊤e
 a =b
(2) La prueba es similar, se pide al lector indicar su estrategia.

Teorema 5: En todo grupo (G, ⊤) las ecuaciones

a⊤x=b ................... (I)
y⊤a=c ................... (II)
poseen soluciones únicas en G; para x, y en G.
Demostración de (I):
De a ⊤ x = b: como para a  G, existe a' = a-1  G. Operando con a-1 por
la izquierda en ambos miembros de ( I ) tenemos:
a ⊤ x = b  a-1 ⊤ (a ⊤ x) = a-1 ⊤ b

 (a-1 ⊤ a) ⊤ x = a-1 ⊤ b ( ⊤ es asociativa)

 e ⊤ x = a-1 ⊤ b
 x = a-1 ⊤ b

Luego, x = a-1 ⊤ b es solución en G de la ecuación (I)

Tarea : a) Haga un comentario de la unicidad de la solución para x de (I)
b) Pruebe también para la ecuación (II).

1.3.1Subgrupos

Definición.- Un subconjunto H no vacío de G es un subgrupo del grupo (G, ⊤),

si y solo si, H es un grupo respecto de la operación ⊤ en G, restringida sobre
H.
 Ejemplos:

1) Si (G, ⊤) es un grupo con neutro e, entonces H0 = {e} y H = G, son

subgrupos de G llamados subgrupos triviales de G. Veamos
a) Si H0 = {e} ( es de inmediato)
b) Para H = G: por la propiedad reflexiva de la inclusión tenemos

H = G ⊂ G ↦grupo
↧
grupo
O sea H = G es subgrupo de G

2) Dados los siguientes grupos aditivos: (ℤ, +), (ℚ, +), (ℝ +) y (ℂ, +).

Se cumple: ℤ  ℚ ⇒ ℤ es un subgrupo de ℚ.

ℚ  ℝ ⇒ ℚ es un subgrupo de ℝ.

ℝ  ℂ ⇒ ℝ es un subgrupo de ℂ.
Teoremas para subgrupos
Teorema 1.
Un subconjunto H no vacío de G, es un subgrupo de (G, ⊤) si y sólo si:
(1) Para todo a, b  H, a ⊤ b  H.
(2) Para todo a  H, a-1  H.
Teorema 2
Para que una parte no vacía H de un grupo ( G, ⊤) sea un subgrupo

de G es necesario y suficiente que:  a, b en H, a ⊤ b-1  H .... ()

Nota 1:
Si H es un subgrupo aditivo de (G, +). La condición suficiente ()
se escribe:  a, b  H  a + b-1 = a - b  H

Es decir:  a, b  H ⇒ a - b  H ........ (*)

Nota 2: Esta condición (*) lo usaremos en subespacios vectoriales
 1.2 ESTRUCTURA DE ANILLO
Concepto de Anillo
Dado A un conjunto no vacío, y denotamos con + y . las dos operaciones
internas en A. Se dice que la terna (A, +, .) tiene la estructura de anillo, si
se verifica las siguientes condiciones:
I) (A, +) es un grupo abeliano.
II) (A, .) es un semigrupo.
III) Distributividad:

∀ a, b, c en A, a.(b + c) = a.b + a.c y (b + c).a = b.a + c.a.

Notas:
 Un anillo A tiene elemento unidad, si existe 𝟏 en A tal que:
𝟏. a = a  a. 𝟏 = a,  a  A
 Un anillo (A, +, ) es anillo conmutativo, si y sólo si
a.b = b.a , para todo a, b en A
Ejemplos de anillos
Ejemplo 1
Dado ℤ con sus respectivas operaciones internas de adición “+” y
multiplicación “.”, usuales, se cumple (ℤ,+, .) tiene la estructura
de anillo conmutativo y con unidad
Pues se verifica:
I) (ℤ, +) es un grupo abeliano.
II) (ℤ, .) es un semigrupo, pues para todo a, b, c en ℤ ,se tiene:
(ab)c = a(bc)  a, b, c en ℤ.
III) Se verifican las leyes distributivas:
Para todo a, b y c en ℤ.
a(b + c) = ab + ac; y (b + c)a = ba + ca
Además, existe 𝟏 =1 en ℤ llamado elemento unidad tal que:
1a = a1 = a, para todo a en ℤ
 ∀a, b, en ℤ ⇒ab = ba
Ejemplo 2
Considerando A = ℤxℤ , se definen las operaciones internas
“+” y “  ”, como sigue:  (a, b) ℤxℤ   (c, d)  ℤxℤ
(a, b) + (c, d) = (a + c, b + d)  ()

(a, b) ∙ (c, d) = (a c, b d)  ()

SE VERIFICA: (ℤxℤ, +, ∙) es un anillo conmutativo y con unidad 𝟏 = (1, 1)

Ejemplo 3
Dado el conjunto de los enteros residuales ℤn = { [0], [1], …, [n-2], [n-1] }
Para cada [a], [b] en ℤn, definimos “+” y “.”:
[a] + [b] = [a + b] = [ r ]  ()
siendo r el resto de dividir a+b entre n
[a] . [b] = [a b] = [ t ]  ()
donde t es el resto de dividir a b entre n
I) En la parte de grupos, hemos visto que (ℤn, +) es un grupo abeliano.
II) (ℤn, .) es semigrupo:  [a], [b] y [c] en ℤn
([a] . [b]).[c] = [a b]. [c] = [(a b) c] = [a (b c)] = [a].[ b c] = [a] ([b] [c])
III) Distributivas:  [a], [b] y [c] en ℤn
([b] + [c]).[a] = [b + c]. [a]
= [(b + c)a]
= [ba+ ca]
= [ba] + [ca]
= [b].[a] + [c].[a]
También se verifica la otra distributividad por la izquierda
* [a], [b] en ℤn, se cumple [a].[b] = [a b] = [b a] = [b].[a]
o sea, la multiplicación es conmutativa en ℤn
 * ℤn posee elemento unidad 𝟏 = [1] y se cumple:
 [a] en ℤn, [1].[a] = [1a] = [a] = [a1] = [a].[1]
Por todo lo anterior, afirmamos que (ℤn, +, .) es un anillo conmutativo y
con unidad.
CASOS PARTICULARES: Para n = 4,5, 6, 7, 8, son anillos conmutativos
y con unidad: (ℤ4, +, .); (ℤ5, +, .); (ℤ6, +, .); (ℤ7, +, .); (ℤ8, +, .)
Ejemplo 4
Dado el conjunto ℚ de los números racionales con sus respectivas
operaciones internas de adición “+” y multiplicación “.”
𝑎
Afirmamos x ∈ ℚ ⇔ x = con a ∈ℤ ∧ b > 0 en ℤ
𝑏
𝑎 𝑐 𝑚
Sean x = , y= , z= en ℚ, definimos
𝑏 𝑑 𝑛
𝒂 𝒄 𝒂𝒅+𝒃𝒄 𝒂 𝒄 𝒂𝒄
x+y= + = ; x.y = . =
𝒃 𝒅 𝒃𝒅 𝒃 𝒅 𝒃𝒅
SE VERIFICA:
I) G1) Para cada x, y, z en ℚ
𝒂 𝒄 𝒎 𝒂𝒅+𝒃𝒄 𝒎
(x + y)+z = ( + )+ =( )+
𝒃 𝒅 𝒏 𝒃𝒅 𝒏
(𝒂𝒅+𝒃𝒄)𝒏+𝒃𝒅𝒎
=
𝒃𝒅𝒏
𝒂𝒅𝒏+𝒃𝒄𝒏+𝒃𝒅𝒎
=
𝒃𝒅𝒏
𝒂𝒅𝒏+𝒃(𝒄𝒏+𝒅𝒎)
=
𝒃𝒅𝒏
𝒂 𝒄𝒏+𝒅𝒎
= +
𝒃 𝒅𝒏
𝒂 𝒄 𝒎
= +( + )
𝒃 𝒅 𝒏
= x + (y + z)
G*) De la definición, es de inmediato + es conmutativa en ℚ
𝟎 𝒂 𝟎 𝒂 𝟎𝒃+𝒄𝒂 𝒄𝒂 𝒂
G2) Existe 0 = ∈ ℚ tal que 0 + = + = = =
𝐜 𝒃 𝒄 𝒃 𝒄𝒃 𝒄𝒃 𝒃
 𝒂
∀x= ∈ℚ
𝒃
𝑎 −𝑎
G3) ∀ x = ∈ℚ, existe –x = ∈ℚ tal que
𝑏 𝑏
𝑎 −𝑎 𝑎𝑏+𝑏(−𝑎) 0
x + (-x) = + = = =0
𝑏 𝑏 𝑏𝑏 𝑏𝑏
entonces (ℚ, +) es un grupo Abelino
II) Es de inmediato probar que la multiplicación es asociativa en ℚ,
o sea (ℚ, . ) es un semigrupo
III) ∀x, y, z ∈ℚ representados arriba
𝒂 𝒄 𝒎 𝒂 𝒄𝒏+𝒅𝒎 𝒂(𝒄𝒏+𝒅𝒎)
x.(y + z) = .( + )= . =
𝒃 𝒅 𝒏 𝒃 𝒅𝒏 𝒃𝒅𝒏
𝒂𝒄 𝒂𝒎
= +
𝒃𝒅 𝒃𝒏
= x. y + x.z
También se prueba (y + z)x. = y.x + z.x
Es de inmediato ver que x.y = y.x
𝟏
Además existe 𝟏 = ∈ℚ tal que 𝟏.x = x, ∀x ∈ℚ
𝟏

En consecuencia, (ℚ, +, . ) es un anillo conmutativo con unidad

Ejemplo 5
Dado ℝ el conjunto de números reales, por el estudio axiomático de ℝ, se
establece que (ℝ, +, . ) satisface los axiomas de anillo conmutativo y con
unidad.

Ejemplo 6
Denotamos con ℂ al conjunto de todos los z de la forma z = a + b i,
con aℝ, bℝ, i2 = -1
Para z = a + b i, w = c + d i en ℂ, definimos:
z + w = a + bi + c + di = (a +c) + (b +d)i
z . w = (a + bi).(c + di) = (ac - bd) + (ad +bc)i
Haciendo un resumen , se verifica:
I) (ℂ, +) es un grupo abeliano y su neutro aditivo es e = 0 + 0i
II) Veamos que (ℂ, .) es un semigrupo
para todo z = a + bi, w = c + di, u = p + qi en ℂ
(z.w).u = ((ac - bd) + (ad +bc)i). (p + qi)
= (ac - bd)p- (ad +bc)q + ((ac - bd)q +(ad +bc)p)i
= (acp - bdp - adq -bcq) + (acq - bdq +adp +bcp)i
z.(w.u) = (a + bi ). ((cp-dq) + (cq + dp)i)
= a(cp-dq)) -b(cq + dp) + (a(cq + dp)+ b(cp-dq))i
= (acp-adq -bcq -bdp) + (acq + a dp+ bcp- bdq))i
Observamos que los resultados en ambos son iguales,
Entonces (z.w).u = z. (w.u )
, o sea (ℂ, .) es un semigrupo
III) z. (w+u) = (a + bi). ((c+p) + (d +q)i)
= (a(c+p) - b(d+q) +(a(d+q) +b(c+p))i
= (ac + ap) - bd -bq) +(ad+ aq +bc+ bp)i
= (ac -bd)+ (ad + bc)i + (ap-bq) + (aq+bp)i
= z.w + z.u
También se prueba (w+u).z = w.z + u.z
G*) además z.w = w.z
Existe 𝟏 en ℂ, con 𝟏= 1+0i tal que 𝟏.z =z, z ℂ
Luego: (ℂ, +, .) es un anillo conmutativo con unidad, que
recibe el nombre de anillo de números complejos
1.4.1 Dominios Enteros
Definición.- Dado un anillo conmutativo (A, +, .). Un elemento a0 en A se
dice que es un divisor de cero, si existe un b0 en A tal que a.b= 0
Definición.- Se dice que un anillo conmutativo (A, +, .) es dominio de
integridad o dominio entero, si A no tiene divisores de cero, es decir, si se
verifica una de estas condiciones equivalentes:

∀a ≠0 ∧ b ≠0 en A ⇒ab≠0 (1)
ab = 0 ⇒a = 0 ∨ b =0 (2)
ab = 0 ∧ a ≠ 0 ⇒ b =0 (3)
Ejemplo1
El anillo de los números enteros (ℤ, +, . ) es un dominio entero, pues en ℤ
se verifica cualquiera de las tres proposiciones anteriores
Ejemplo 2
En el anillo de los enteros residuales módulo 6.
ℤ6 = {[0], [1], [2], [3], [4], [5]}
Tenemos que [3] es divisor de cero, pues [3]  [0] y existe [2]  0 en ℤ6, tal
que: [3][2] = [0]
Análogamente, [2] es un divisor de cero en ℤ6.
Entonces ℤ6 no es dominio entero o de integridad.
Ejemplo 3
Dado el anillo ℤ5 = {[0], [1], [2], [3], [4]}
Si se multiplican dos elementos cualesquiera diferentes de cero en ℤ5,
entonces su producto es diferente de cero.

Ejercicio: construir su tabla de la multiplicación en ℤ5

Ejercicio
Pruebe que el anillo (ℤn, +, .) es un dominio entero si y solo si, n es primo
2.3 CAMPOS
Anillo de división
Un anillo (A, +, .) con elemento unidad 𝟏 es un anillo de división, si y solo
si, todo elemento a ≠ 0 en A tiene inverso multiplicativo en A
Campos
(A,+, .) es un campo, si A es un anillo de división conmutativo.
Observación
En algunos textos, a los anillos de división se llaman: Cuerpo y al “Cuerpo
Conmutativo” se le denomina Campo.
Ejemplos:
1) Sean los anillos con unidad (ℚ, +, .) y (ℝ, +, .) respecto de las
operaciones usuales de adición y multiplicación.
a) En el caso de ℚ:
Hemos visto que ℚ es un anillo conmutativo y con unidad 1, además
𝑎
Para todo x≠0 en ℚ, x= , con a ≠ 0 y b > 0 en ℤ , entonces existe
𝑏
𝒃
x-1 = en ℚ tal que x.x-1 =1
𝒂

Entonces ℚ es un campo, llamado el campo de los números racionales

b) En el caso de ℝ:
En base a la axiomática usual de ℝ, también ℝ es un campo que
comúnmente se llama el campo de los números reales
2) El anillo (ℤ, +, .) no es campo, pues para 5 en ℤ, 5-1∉ ℤ
3) El anillo (ℤn, +,.) es campo , si y solo si, n es primo:

CASOS PARTICULARES: anillo (ℤ5, +,.) es un campo, pero (ℤ6, +,.) no

es campo
4) El campo ℂ de los números Complejos
Construcción de ℂ
Denotamos con ℝ2 al conjunto de los pares ordenados (a, b), a, b  ℝ.

En ℝ2 se define la relación ℛ, donde para (a, b) y (c, d) en ℝ2

(a, b) ℛ (c, d) ⇔(a, b) =(c, d) ⇔a = c ∧ b=d

Como esta relación ℛ es la relación de igualdad, entonces ℛ es de
equivalencia en ℝ2
Clase de equivalencia:
Dado un par (a, b) en ℝ2, su clase de equivalencia es
[(a, b)] = {(x, y) ∈ ℝ2 / (x, y) ℛ (a, b)}
= {(x, y) ∈ ℝ2 / (x, y) = (a, b)}
= {(x, y) ∈ ℝ2 / x =a ∧ y = b}
= {(a, b)}
Es decir, la clase de equivalencia de (a, b) es el conjunto
Unitario cuyo elemento es (a, b)
Conjunto cociente

El conjunto cociente de ℝ2 por la relación de equivalencia ℛ

se denota con ℂ, es decir ℝ2 / ℛ = ℂ, donde por definición

ℝ2 / ℛ ={[(a, b)] ⊂ ℝ2 / a, b ∈ℝ}

⇒ ℂ={ {(a, b)}⊂ ℝ2 / a, b ∈ℝ}

Afirmamos: z∈ℂ⇔z = {(a, b)}, con a, b ∈ℝ

Convenio: z∈ℂ⇔z = (a, b), con a, b ∈ℝ

Suma y producto
Dado ℂ el conjunto de todos los pares (a, b) donde: a, b  ℝ.
Para cada z = (a, b) y w = (c, d) en ℂ, definimos
z + w = (a, b) + (c, d) = (a + c, b + d)
z  w = (a, b)  (c, d) = (ac - bd, ad + bc)
Se verifica:
I) (ℂ, +) es grupo abeliano (de manera similar a (ℤxℤ, +):
El neutro aditivo es  = (0, 0) en ℂ
II) Para cada z = (a, b) y w = (c, d), u =(p, q) en ℂ
(z.w).u = (ac-bd, ad+bc).(p, q)
= ((ac-bd)p – ( ad+bc)q, (ac-bd)q+( ad+bc)p)
= (acp-bdp – adq-bcq, acq-bdq + adp+bcp)
z.(w.u) = (a, b).(cp-dq, cq+dp)
= (a (cp-dq)-b(cq+dp), a(cq+dp) + b(cp-dq))
= (acp-bdp – adq-bcq, acq-bdq+ adp+bcp)

⇒(z.w).u = z.(w.u)
III) z.(w+u) = (a, b).(c+p, d+q)
= (a(c+p)- b(d+q), a(d+q) + b(c+p))
= (ac+ ap- bd-bq, ad+aq + bc+bp))
=(ac-bd, ad+bc ) + (ap-bq, aq+bp)
= (a, b).(c, d) +(a, b).(p, q)
= z.w +z.u
También se verifica (w+u).z = w.z+u.z
Además:  z, w  ℂ, z.w = w.z ,
𝟏 = (1, 0) es la unidad de ℂ, pues (1, 0)  (a, b) = (a, b)

Para cada z≠∈ℂ, z = (a, b), con a  0  b  0 ⇒ a2 + b2  0

𝒂 −𝒃
se deduce que existe z-1 en ℂ, donde z-1 = ( 𝟐, )∈ ℂ
𝒂𝟐 +𝒃 𝒂𝟐 +𝒃𝟐
 Entonces, ℂ es un anillo conmutativo de división, esto nos
permite afirmar que (ℂ, +, .) es un campo.
El conjunto ℂ se llama el campo de los números complejos

Forma binomial
Dado z = (a, b)∈ℂ, llamamos i =(0, 1) y convenimos a =(a, 0)
entonces z = (a, 0) + (0, b)

⇒ z = (a, 0) + (b, 0)(0, 1)

⇒z = a + b i
Es la forma binomial del complejo z

Teorema
Si A es un dominio entero y finito, entonces (A, +, .) es un campo
Demostración
Como A es dominio entero, A es un anillo conmutativo y sin divisores de cero
Para que A sea un campo, sólo falta probar dos cosas:
(1) La existencia de 1  A (neutro multiplicativo)
(2) Para todo a  0 en A*, debe existir a-1  A* tal que a a-1 = 1

◈ Prueba de (1):

Sea A = {x1, x2, x3, …, xn } finito con A dominio entero

Para un elemento a  A, con a  0, definimos

aA = {ax1, ax2, ax3, …, axn }

Como los elementos de A son diferentes, también son diferente los de
aA, es decir
a xi  a xj , para i  j, si afirmamos lo contrario tendríamos
a xi = a xj  a xi - a xj = 0  a ( xi - xj ) = 0  a  0
 xi - xj = 0
 xi = xj
Esto contradice a que xi  xj
Como a  A, entonces A = aA, con esto a  aA
Existe xi0 en A, para a  A tal que a = axi0

∙ Veamos que xi0 es el neutro multiplicativo de A*

z  A  z  aA  z = a xi , con xi  A
 z xi0 = (a xi ) xi0 = a(xi . xi0 ) = a (xi0 xi ) = (a xi0 ) xi = a xi = z
 z xi0 = z
Significa entonces que xi0 = 1 es el neutro multiplicativo de A*

∙ Prueba de (2): Como xi0 = 1 es el neutro multiplicativo de A , además

A = aA  1 aA
Para a  0 en A = aA, existe xj en A* tal que
1 = a xj , entonces existe xj = a-1  A*
Con esto se completa la demostración para que el dominio entero (A, +, .)

sea un CAMPO

2.3.2 Subcampos
Definición.- Sean los campos (K, +, .) y (F, +, .). Si K ⊂ F, afirmamos K es
un subcampo de F, y F es una extensión del campo K.
Ejemplo
Sean los campos numéricos (ℚ, +, .); (ℝ, +, .) y (ℂ, +,  )

Como ℚ ⊂ℝ, entonces ℚ es un subcampo de ℝ

Como ℝ ⊂ ℂ, entonces ℝ es un subcampo de ℂ

Como ℚ ⊂ ℂ, entonces ℚ es un subcampo de ℂ

 Como ℝ ⊂ ℝ, entonces ℝ es un subcampo de ℝ

2.3.3 Campo de cocientes de un dominio entero

Objetivo: Construir un campo a través de un dominio entero

Sea (A, +, .) un dominio entero y A* = A - {0}

Para construir un dominio entero ℱ , hacemos el siguiente proceso:
1) En A x A* se define una relación ≅ con la siguiente condición
(a, b) ≅ (c, d) ⇔ ad = bc
Probaremos que esta relación es de equivalencia en A x A*
E1) a b = b a,  a, b en A, o sea (a, b) ≅ (a, b) ( ≅ es reflexiva)

E2) (a, b) ≅ (c, d) ⇔ a d = b.c

⇔da =cb
⇒ c b = da
⇒ (c, d) ≅ (a, b) (≅ es simétrica)
E3) (a, b) ≅ (c, d)  (c, d) ≅ (e, f), entonces

⇔ad=bccf=de

⇒ a d f = b c f ( monotonía de la multiplicación)

⇒ a d f = b d e ( por el principio de sustitución)

⇒af=be (pues d  0 y cancelación en el dominio entero A)

⇒ (a, b) ≅ (e, f) (≅ es transitiva)

Lo que prueba que ≅ es de equivalencia en A x A*
◈ Conjunto cociente:
Al conjunto cociente de A x A* por la relación de equivalencia ≅ lo
denotamos con ℱ = A x A* / ≅

u  ℱ ⇔ u = (a, b) , con a  A  b A*

2) Suma y producto de clases en ℱ :
Para cada (a, b) y (c, d) en ℱ , definimos
(a, b) + (c, d) = (a d + b c, b d)
(a, b) . (c, d) = (a c, b d)
◈ Probemos que (ℱ , + , , ) es un campo:
Para todo (a, b) ; (c, d); (m, n) en ℱ
I) G1) ((a, b)+ (c, d)) + (m, n) = (a d + b c, b d) + (m, n)
= ((a d + b c ) n + b d m, b d n)
= (a d n + b ( c n + d m), b d n)
= (a, b) + (c n + d m, d n)
= (a, b) + ((c, d) ) + (m, n))
o sea, + es asociativa en ℱ
G*) (a, b) + (c, d) = (a d + b c, b d)
= (c b + d a, d b) (comente el paso anterior)
= (c, d) + (a, b)
o sea, + es conmutativa en ℱ
G2) existe e = (0, c) en ℱ con c  0 en A tal que
e + (a, b) = (0, c) + (a, b) = (0 b + c a, c b) = (ca, c b) = (a, b)
G3) Para cada (a, b) en ℱ , existe (-a, b) en ℱ tal que
(a, b) + (-a, b) = (a b + b (-a), b b) = (0, b2) = e
Hemos probado que (ℱ, + ) es un grupo abeliano
II) Para cada (a, b) ; (c, d); (m, n) en ℱ
M1) ((a, b).(c, d)). (m, n) = (a c, b d). (m, n)
= (a (c m) , b (d n)
= (a, b) . (c m , d n)
= (a, b) . ((c, d) ) . (m, n))
o sea . es asociativa en ℱ
 M*) . es conmutativa en ℱ (de inmediato)
M2) Existe 1 = (c, c) en ℱ con c  0 en A tal que
1.(a, b) = (c, c). (a, b) = (c a, c b) = (a, b) (comente este paso)
M3) Para todo (a, b) en ℱ*, es a  0, b  0 en A, entonces existe
(a, b)-1 = (b, a) en ℱ* tal que
(a, b)-1 . (a, b) =(b, a) . (a, b) =(b a, a b) = (c, c) = 1
Hemos probado que (ℱ*, .) es grupo conmutativo
III) Veamos la propiedad distributiva: Para cada (a, b); (c, d); (m, n) en ℱ
(a, b).( (c, d) + (m, n)) = (a, b) . (c n + d m, d n))
= (a (c n + d m), b d n)
= (a c n + a d m, b d n)
= (a c b n + b d a m, b d b n) (comente)
= (a c, b d) + (a m, b n)
= (a, b) . (c, d) + (a, b) .(m, n)
También se prueba la otra propiedad distributiva
En consecuencia: de I) II) y III) (ℱ , + , , ) es un CAMPO

Teorema
Todo dominio entero A se puede sumergir dentro de un campo F a través de
un isomorfismo
Demostración

Para esto se define la función f: A  F, con f(a) = (a, 1)

A f f(A)

a [(a, 1)]
Veamos que f es un isomorfismo de A en f(A)

a) f(a+b) =(a+b, 1)

=(a, 1)+ (b, 1)
= f(a) + f(b)
b) f(a.b) =(a .b, 1)

=(a, 1). (b, 1)

= f(a) . f(b)

c) Por la definición de f, ∀(a, 1) en F, existe a en A /(a, 1)= f(a)

Es decir f es suryectiva

d) f(a) = f(b) ⇒(a, 1) = (b, 1)

⇒ (a, 1) ≅ (b, 1)
⇒ a .1 = 1. b
⇒a =b (f es inyectiva)
Como f es un isomorfismo de A en f(A), este hecho nos permite afirmar que
A ⊂ F.

2.3.4 Campos ordenados

Definición: Un campo (K, +, .) es ordenado si se pude definir una relación
de orden  en K.
Ejemplo

Los campos (ℚ, +, .) y (ℝ, +, .) son ordenados con la relación 

Nota
Si (K, +, ., ) es un campo ordenado, donde 0 es el neutro aditivo de K y 1
es su neutro multiplicativo, tenemos:

Para cada x  0 en K, se cumple x2  0 … (λ)

 Ejercicio
Pruebe que el campo (ℂ, +, .) de los números complejos no es ordenado,
Veamos:

Si x  0 en ℂ debe cumplirse que x2  0, sin embargo

Si x = i  0 en ℂ, entonces x2 = i2  -1  0, o sea i2  0

Contradice a la condición (λ)

Luego: ℂ no es ordenado con la relación .