1

NOTAS DE
ÁLGEBRA SUPERIOR II

Angel Lara, Isidro Morales

2

Angel Lara, Isidro Morales

Índice general

1. Preliminares 5
1.1. Cálculo combinatorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2. Estructuras algebraicas 13
2.1. Los números enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3. Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4. El anillo Zn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.5. Campos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

3. Sistemas de ecuaciones lineales 37

3.1. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2. Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.3. Matrices por bloques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

4. Los números complejos 65

4.1. Definición de los números complejos . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.2. Forma polar de los números complejos . . . . . . . . . . . . . . . . . . . . . . . 73

5. Polinomios 79
5.1. El anillo de los polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.2. Divisibilidad de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

Índice alfabético 92

Bibliografı́a 93

3
4 ÍNDICE GENERAL

Angel Lara, Isidro Morales

Capı́tulo 1

Preliminares

1.1. Cálculo combinatorio

En muchas áreas de las matemáticas es necesario saber el número de objetos de un conjunto
determinado. En particular, en la teorı́a de probabilidades es fundamental conocer la probabilidad
de que ocurra un cierto evento.

Definición 1.1.1. Sea n ∈ N, el factorial de n se define como n! = 1 · 2 · · · (n − 1) · n. Además

se define 0! = 1.

Observe que si m < n, se cumple que n! = m! · (m + 1) · · · (n − 1) · n, en particular se

tiene n! = (n − 1)! · n. Consideremos dos objetos distintos x1 y x2 , la forma en que se pueden
acomodar son dos, a saber
x1 , x2 y x2 , x1
Si ahora tenemos tres objetos x1 , x2 y x3 , entonces las formas de acomodarlos son seis, las cuales
son explı́citamente
x1 , x2 , x3 x2 , x1 , x3 x3 , x1 , x2
x1 , x3 , x2 x2 , x3 , x1 x3 , x2 , x1

Teorema 1.1.2 (Permutaciones de n objetos). Sean x1 , x2 , . . . , xn objetos distintos. Entonces

las formas distintas como se pueden acomodar los objetos son exactamente n!.

Demostración. La demostración será por inducción. El caso n = 1 es claro. Supongamos válido

el resultado para n = k, es decir, si tenemos x1 , x2 , . . . , xk objetos distintos, entonces las formas
distintas como se pueden acomodar son k!. Sean k + 1 objetos distintos x1 , x2 , . . . , xk , xk+1 . El
elemento xk+1 puede estar en la primera posición, en la segunda posición, . . . o en la k + 1
posición. De forma gráfica

xk+1 , , , ,..., , posición 1

, xk+1 , , ,..., , posición 2

..
.
, ,..., , xk+1 , , posición k
, ,..., , , xk+1 , posición k + 1

5
 6 CAPÍTULO 1. Preliminares

En la gráfica de arriba los guiones representan espacios que se llenan con los k objetos restantes.
En cada una de las posiciones tenemos k objetos, que por la hipótesis de inducción, se pueden
acomodar de k! formas. Entonces en total hay k + 1 posiciones con k! formas cada una, esto
quiere decir que hay
{z· · · + k!} = k!(k + 1) = (k + 1)!.
|k! + k! +
(k+1)−veces

formas de acomodar los objetos x1 , x2 , . . . , xk , xk+1 . Esto demuestra la propiedad para n = k+1.
Por el principio de inducción matemática el resultado es cierto para todo n ∈ N.
En ocasiones es interesante obtener la forma en que se pueden acomodar n objetos distintos
por medio de secciones. En la demostración anterior lo que hicimos en el paso n = k + 1 fue
seccionar los k + 1 objetos en dos pedazos: uno de tamaño 1 y el otro de tamaño k.
Consideremos k < n. Si tenemos n objetos los podemos seccionar en dos pedazos, uno de
tamaño k y otro de tamaño n − k. Las formas en como podemos acomodar los k objetos son
k!, y la forma en como podemos acomodar los n − k objetos son (n − k)!. Para tener todas las
posibles combinaciones, es necesario considerar todos los grupos de k elementos del total de n
n


elementos. Denotemos por k al número de subconjuntos de tamaño k que se pueden obtener
de los n elementos. Tenemos entonces que
 
n
n! = k!(n − k)!
k

Una consecuencia de lo anterior es que el número de subconjuntos de tamaño k que se pueden

obtener de un total de n elementos es
 
n n!
= .
k k!(n − k)!

Antes de continuar, recordamos que los números naturales los definimos como N = {1, 2, 3, . . .}
y además N0 = N ∪ {0}.

Teorema 1.1.3. Sean k, n ∈ N0 con k ≤ n. El número de subconjuntos de tamaño k que se

pueden obtener de los n elementos son
 
n n!
= ,
k k!(n − k)!

a nk se le llama el coeficiente binomial de k en n.

Uno de los ejemplos tı́picos e importantes de inducción matemática es el binomio de Newton.

Una pregunta interesante que se hace comunmente en técnicas de conteo, es saber cuantos
subconjuntos de tamaño k se pueden hacer de un total de n elementos. Ya vimos que la respuesta
a esa pregunta la da el coeficiente binomial.
Por ejemplo, el número de subconjuntos con un sólo elemento de un total de n son exactamente
n, el número de subconjuntos con n elemento de un total de n, sólo es un conjunto. El lector
puede comprobar rápidamente estas afirmaciones. Otros ejemplos particulares son
         
n n n n n (n − 1)n
= 1, = 1, = n, = n, = .
0 n n−1 1 2 2

Angel Lara, Isidro Morales

[Link]́lculo combinatorio 7

Existe una relación entre los coeficientes binomiales, pero para motivar un poco tal resultado
recordaremos el triangulo de Pascal (si, el mismo que se ve en la preparatoria). El triángulo
de Pascal esta definido como
fila 0 1
fila 1 1 1
fila 2 1 2 1
fila 3 1 3 3 1
fila 4 1 4 6 4 1
.. .. .. ..
. . . .
La forma de construir la fila n-ésima es la siguiente: Empezamos con un uno, el siguiente término
es el resultado de sumar el número de la izquierda y la derecha de la fila n − 1, el proceso se
repite y se finaliza con un uno. Por ejemplo 1 + 3 = 4, 3 + 3 = 6, 1 + (n − 1) = n, etc. El lector
se habrá dado cuenta de lo siguiente
       
3 3 3 3
= 1, = 3, = 3, = 1,
0 1 2 3
y también que
(a + b)3 = 1a3 b0 + 3a2 b1 + 3a1 b2 + 1a0 b3 .
De forma parecida
         
4 4 4 4 4
= 1, = 4, = 6, = 4, = 1,
0 1 2 3 4
y
(a + b)4 = 1a4 b0 + 4a3 b1 + 6a2 b2 + 4a1 b3 + 1a0 b4 .
Lo anterior establece que en general se deben de cumplir los dos siguientes teoremas
Teorema 1.1.4 (Propiedad de Pascal). Sean k, n ∈ N con k ≤ n − 1, entonces
     
n−1 n−1 n
+ = . (1.1)
k−1 k k
Demostración.
   
n−1 n−1 (n − 1)! (n − 1)!
+ =
+
k−1 k (k − 1)! n − 1 − (k − 1) ! k!(n − 1 − k)!
(n − 1)! (n − 1)!
= +
(k − 1)!(n − k)! k!(n − k − 1)!
(n − 1)!·n · k (n − 1)!·n · (n − k)
= +
n · k·(k − 1)!(n − k)! k!(n − k − 1)!·(n − k) · n
n!·k n!·(n − k)
= +
n·k!(n − k)! k!(n − k)!·n
 
n! k n−k
= +
k!(n − k)! n n
 
n! n
= = .
k!(n − k)! k

Angel Lara, Isidro Morales

 8 CAPÍTULO 1. Preliminares

Teorema 1.1.5 (Binomio de Newton). Sean a, b ∈ R y n ∈ N0 , entonces

n  
n
X n n−k k
(a + b) = a b . (1.2)
k=0
k

Demostración. Denotemos por P (n) la igualdad (1.2). Si n = 0 tenemos

0    
X 0 0−k k 0 0−0 0
a b = a b = 1.
k=0
k 0

Supongamos que P (n) es cierta y verifiquemos que P (n + 1) también se cumple. De las

propiedades de los números reales

(a + b)n+1 = (a + b)(a + b)n

" n   #
X n
(Hipótesis) = (a + b) an−k bk
k=0
k
n
X n  n  
n−k k
X n n−k k
= a a b +b a b
k=0
k k=0
k
n   n  
X n n+1−k k X n n−k k+1
(Distributividad) = a b + a b
k=0
k k=0
k
n
X n   n−1  
n+1 n+1−k k
X n n−k k+1
(Separando término) = a + a b + a b + bn+1
k=1
k k=0
k
n   n  
n+1
X n n+1−k k X n
(Cambio de indice) = a + a b + an+1−k bk + bn+1
k=1
k k=1
k − 1
n    
X n n
(Juntando sumas) = an+1 + + an+1−k bk + bn+1
k=1
k k − 1
n  
n+1
X n + 1 n+1−k k
(Ecuación (1.1)) = a + a b + bn+1
k=1
k
n+1  
X n + 1 n+1−k k
(Juntando términos) = a b .
k=0
k

Lo anterior prueba la veracidad de P (n + 1). Pon inducción concluimos que P (n) es cierta
para todo número n ∈ N0 .
En el caso cuando a y b son números reales no negativos, la suma del lado derecho de (1.2)
consta de términos no negativos y por lo cual, se tiene directamente el siguente resultado.
Teorema 1.1.6. Sean a, b ∈ R números no negativos, entonces para cualquier j, n ∈ N0 tales
que 0 ≤ j ≤ n, se cumple la desigualdad
j  
X n n−k k
a b ≤ (a + b)n .
k=0
k

Angel Lara, Isidro Morales

[Link]́lculo combinatorio 9

En particular se tiene
 
n n−j j
a b ≤ (a + b)n y an + nan−1 b ≤ (a + b)n .
j

Definición 1.1.7. Sea n ∈ N. Definimos In como In = {1, 2, . . . , n}. Además decimos que el
conjunto A tiene n elementos (es finito) si existe una función biyectiva f : In −→ A. En este
caso se escribe
A = {a1 , a2 , . . . , an }.
Definición 1.1.8. Sean n, m ∈ N0 y A un conjunto con n elementos. Las ordenaciones con
repetición de n elementos tomadas de m en m, se define como el conjunto de las funciones de
Im en el conjunto de esos n elementos. Al número total de ellas lo denotamos por ORnm .
Las ordenaciones con repetición son el conjunto {f : Im −→ A | f es función} y ORnm es el
número de sus elementos.
Definición 1.1.9. Sean n, m ∈ N0 y A un conjunto con n elementos. Las ordenaciones (o
también ordenaciones sin repetición) de n elementos tomadas de m en m, se define como el
conjunto de las funciones inyectivas de Im en el conjunto de esos n elementos. Al número total
de ellas lo denotamos por Onm .
Las ordenaciones sin repetición son el conjunto {f : Im −→ A | f es función inyectiva} y
Onm es el número de sus elementos.
Definición 1.1.10. Las ordenaciones de n elementos tomados de n en n (es decir n = m), se
llaman permutaciones de n elementos. Las permutaciones son las funciones biyectivas de A
en A, y al número de todas ellas se le denota por Pn .
En el teorema 1.1.2 ya demostramos que Pn = n!, pero un poco más adelante lo daremos
como una consecuencia de las combinaciones.
Definición 1.1.11. Sean n, m ∈ N0 y A un conjunto con n elementos. Las combinaciones de
n elementos tomadas de m en m, se define como los subconjuntos con m elementos del conjunto
de esos n elementos. Al número total de ellos lo denotamos por Cnm .
Las combinaciones de n elementos tomadas de m en m, es el conjunto

{B ⊆ A | B tiene exactamente m elementos}

y Cnm es el número de sus elementos.

Note que si n < m, entonces Onm = 0 y Cnm = 0. De esto, para las ordenaciones sin
repetición y las combinaciones, consideramos sólo m ≤ n. Para las ordenaciones con y sin
repetición, consideramos m ≥ 1.
Proposición 1.1.12. Si A es un conjunto con m elementos y B es un conjunto con n elementos,
entonces el número de maneras de escoger un elemento de A y un elemento de B es m·n, teniendo
en cuenta que la elección del elemento de B no depende del elemento de A seleccionado.
Proposición 1.1.13. Sea n ∈ N y A = {a1 , a2 , . . . , an } un conjunto con n elementos. Entonces
hay n(n − 1) parejas ordenadas (ai , aj ) de elementos tales que ai ̸= aj .

Angel Lara, Isidro Morales

 10 CAPÍTULO 1. Preliminares

Teorema 1.1.14. Sean n, m ∈ N, entonces ORnm = nm .

Demostración. La demostración será por inducción matemática en m. Si m = 1, entonces
tenemos exactamente n funciones, las cuales son explı́citamente f1 , . . . , fn dadas por fi (1) = ai ,
para i = 1, . . . , n. Por lo tanto ORn1 = n = n1 .
Supongamos que si n, m ∈ N, entonces ORnm = nm . Veamos el resultado para m + 1. Cada
función f : Im+1 −→ A es una extensión de una función g : Im −→ A, ası́ que es suficiente contar
de cuantas maneras podemos extender una función g : Im −→ A a una función f : Im+1 −→ A.
Al elemento m + 1 se le puede asignar los valores a1 , . . . , an , por lo cual tenemos n formas de
extender la función g : Im −→ A. De la proposición 1.1.12 tenemos que

ORnm+1 = n· ORnm = n·nm = nm+1 .

Teorema 1.1.15. Sean n, m ∈ N, con 1 ≤ m ≤ n. Entonces

n!
Onm = n·(n − 1) · · · (n − m + 1) = .
(n − m)!
Demostración. La demostración será por inducción en m. Sea m = 1 y A un conjunto con n
elementos. Tenemos exactamente n funciones inyectivas, las cuales son exactamente f1 , . . . , fn
n!
dadas por fi (1) = ai , para i = 1, . . . , n. Por lo tanto On1 = n = .
(n − 1)!
Supongamos que si n, m ∈ N, son tales que 1 ≤ m ≤ n, entonces Onm = (n−m)! n!
. Veamos
el resultado para m + 1, para ello sea A un conjunto de n elementos y 1 ≤ m + 1 ≤ n. Cada
función inyectiva f : Im+1 −→ A es una extensión de una función inyectiva g : Im −→ A, ası́ que
es suficiente contar de cuantas maneras podemos extender una función inyectiva g : Im −→ A
a una función inyectiva f : Im+1 −→ A.
Para que la función f sea inyectiva, al elemento m + 1 sólo se le puede asignar valores en
A \ {g(1), . . . , g(m)}, por lo cual tenemos n − m formas de extender la función g : Im −→ A.
De la proposición 1.1.12 tenemos que
n! n! n!
Onm+1 = (n − m)· Onm = (n − m)· = = .
(n − m)! (n − m − 1)! (n − (m + 1))!

Corolario 1.1.16. Pn = n!.

n! n!
Demostración. Por definición Pn = Onn = = = n!.
(n − n)! 0!
n!
Teorema 1.1.17. Sean n, m ∈ N0 , con 0 ≤ m ≤ n. Entonces Cnm = .
m!(n − m)!
Demostración. Denotemos por O las ordenaciones de n elementos tomadas de m en m, y por
C a las combinaciones de n elementos tomadas de m en m, es decir

O = {f : Im −→ A | f es función inyectiva}
C = {B ⊆ A | B tiene exactamente m elementos}

Angel Lara, Isidro Morales

[Link]́lculo combinatorio 11

Observe que si f ∈ O entonces Im (f ) ⊆ A. Definamos la función Φ : O −→ C como

Φ(f ) = Im (f ). En este caso podemos escribir

f (1) = a1 , . . . , f (m) = am ,

es decir, Im (f ) = {a1 , . . . , am } y el conjunto Im (f ) consta de elementos distintos por que f

es inyectiva. Cada función g ∈ O tal que Im (g) = Im (f ), es una permutación de a1 , . . . , am .
Recı́procamente, cada permutación de a1 , . . . , am define una función inyectiva g : Im −→ A tal
que Im (g) = {a1 , . . . , am }, y por lo tanto por cada subconjunto B de A con m elementos hay
Pm = m! funciones inyectivas de Im en A cuya imagen es B. Entonces Onm = m!· Cnm , por lo
cual
1 n n!
Cnm = Om = .
m! m!(n − m)!

Angel Lara, Isidro Morales

12 CAPÍTULO 1. Preliminares

Angel Lara, Isidro Morales

Capı́tulo 2

Estructuras algebraicas

2.1. Los números enteros

En esta sección vamos a explotar muchas de las propiedades de los números enteros, muchas
de las cuales ya eran conocidad desde cursos anteriores, pero pues como ya lo ha visto el lector
en su primer semestre en actuarı́a, será con otro punto de vista.
Recordemos que los conjunto de números enteros y números naturales esta dado por

Z = {. . . , −2, −1, 0, 1, 2 . . .} y N = {1, 2, 3, . . .},

respectivamente. Definimos también el conjunto N0 como N0 = N∪{0}. Para algunas definiciones

y proposiciones que se darán más adelante usasaremos el Principio del buen orden sobre
los números naturales, el cual dice que todo subconjunto no vacı́o de los números naturales (o
también de N0 ) tiene primer elemento (elemento mı́nimo). Matemáticamente, este enunciado
se expresa de la siguiente forma:

Axioma 2.1.1 (Principio del buen orden). Si S ⊆ N con S ̸= ∅, entonces existe n0 ∈ S tal
que n0 ≤ n, para toda n ∈ S.

El axioma anterior se puede ampliar un poco para “secciones” de números enteros. De forma
más precisa tenemos el siguiente resultado.

Proposición 2.1.2 (Principio del buen orden). Sea m ∈ Z, si S ⊆ {n ∈ Z : n ≥ m} es

un conjunto con S ̸= ∅, entonces existe n0 ∈ S tal que n0 ≤ n, para toda n ∈ S.

Demostración. Definamos el conjunto A = {n − m + 1 : n ∈ S}. Como S ̸= ∅ tenemos

automaticamente que A ̸= ∅. Si n ∈ S entonces n − m ≥ 0, por lo cual n − m + 1 ∈ N. Esto
quiere decir que A ⊆ N. Por el axioma 2.1.1 existe k0 ∈ A elemento mı́nimo. De la forma de
los elementos de A existe n0 ∈ S tal que k0 = n0 − m + 1, y además se cumple que

n0 − m + 1 = k0 ≤ n − m + 1, ∀ n ∈ S.

De esto n0 ≤ n, para todo n ∈ S.

En el desarrollo de estas notas usaremos indistintamente el axioma 2.1.1 o la proposición

2.1.2, sólo se debe de tener cuidado de comprender cuál de los dos resultados se está aplicando.

13
 14 CAPÍTULO 2. Estructuras algebraicas

El lector recordará de sus cursos de primaria y secundaria la forma en que se realizaba una
división, la cual puede ser exacta o no. Por ejemplo, cuando dividimos el número 13 entre 4,
tenemos un cociente de 3 y un resto de 1, pues 13 es igual al producto de 3 por 4 más 1. Esta
idea de dividir se trabajará con el siguiente resultado, que como estamos acostumbrados, define
de manera formal lo que platicamos con el 13 y el 4.
Teorema 2.1.3 (Algoritmo de Euclides). Sean m y n dos enteros con m > 0. Entonces
existen q, r ∈ Z con 0 ≤ r < m, tales que n = qm + r.
Demostración. Definamos S = {n − tm ≥ 0 : t ∈ Z}. Observemos que si t0 = −|n| entonces
n − t0 m = n + |n|m ≥ n + |n| ≥ 0, esto quiere decir que S ̸= ∅ (de hecho si t es un entero
grande negativo, entonces S tiene elementos positivos). Por el principio del buen orden S tiene
elemento mı́nimo, el cual lo denotamos por r. Como r ∈ S entonces r ≥ 0 y r = n − qm para
algún q ∈ Z. Veamos que r < m. En caso de que n − qm = r ≥ m, se tendrı́a n − (q + 1)m ≥ 0
y con ello que n − (q + 1)m ∈ S. Puesto que −m < 0 se tiene

n − (q + 1)m = n − qm − m < n − qm = r.

Esto contradice que r sea el elemento mı́nimo de S, por lo cual 0 ≤ r < m.

El algoritmo de Euclides básicamente establece que n es un múltiplo de m, o bien n queda
estrictamente entre dos multiplos consecutivos de m. Aquı́ la noción de multiplo es como el
lector lo recuerda desde su educación básica, es decir, n es múltiplo de m si existe k ∈ Z tal
que n = km. A q se le conoce como el cociente y r como el residuo de la división de n entre
m. De la mano del concepto de múltiplo se tiene el concepto de divisor.
Definición 2.1.4. Sean m y n dos enteros con m ̸= 0. Se dice que m divide a n si existe k ∈ Z
tal que n = km. Esto se escribe como m | n.
n
De foma usual, la definición de que m | n significa que la fracción es un número entero.
m
Algunas variantes de que m | n son: m es factor de n, m es divisor de n, o n es múltiplo
de m. Para indicar que m no divide a n se escribe m ∤ n. Supongamos que m > 0, entonces
por el algoritmo de Euclides existen q, r ∈ Z con 0 ≤ r < m, tales que n = qm + r. En este
caso m | n si y sólo si r = 0. Esto quiere decir que m ∤ n si y sólo si n = qm + r para algunos
q, r ∈ Z con 0 < r < m. Tenemos ahora unas propiedades básicas de los divisores.
Proposición 2.1.5. Sean m, n y q tres enteros. Entonces
(a) 1 | n para toda n.

(b) m | 0.

(c) Si m | n y n | q entonces m | q.

(d) Si m | n y m | q entonces m | (rn + sq) para todo r, s ∈ Z.

(e) Si m | 1, entonces m = 1 o m = −1.

(f) Si m | n y n | m, entonces m = n o m = −n.

(g) Si n ̸= 0 y m | n, entonces |m| ≤ |n|. En particular si m, n ∈ N se tiene m ≤ n.

Angel Lara, Isidro Morales

[Link] números enteros 15

Demostración. Varias de las propiedades son fáciles de verificar, ası́ que sólo veremos las que
no sean tan evidentes.
c) Como m | n y n | q entonces existen k1 , k2 ∈ Z tales que n = k1 m y q = k2 n, al sustituir
n tenemos q = k2 (k1 m) = (k2 k1 )m, por lo que m | q.
d) Por hipótesis m | n y m | q entonces existen k1 , k2 ∈ Z tales que n = k1 m y q = k2 m.
Multiplicamos la primera igualdad por r y la segunda por s para tener

rn = rk1 m y sq = sk2 m,

y al sumar las ecuaciones tenemos rn + sq = (rk1 + sk2 )m, por lo que m | (rn + sq).
f) Nuevamente como m | n y n | m, existen k1 , k2 ∈ Z tales que n = k1 m y m = k2 n. Al
sustituir m se tiene n = k1 (k2 n), y como n ̸= 0, entonces k1 k2 = 1. Ası́ k2 = ±1 por lo que
m = n o m = −n.
g) Como m | n existe k ∈ Z tal que n = km. Puesto que n ̸= 0 entonces k ̸= 0 y por lo
tanto |n| = |k||m| ≥ |m|.

Ejemplo 2.1.6. Sean a, b ∈ Z y n ∈ N.

1. Si a ̸= b, entonces a − b | an − bn .

2. Si a ̸= −b y n es impar, entonces a + b | an + bn .

3. Si a ̸= b y m es un divisor de n, entonces am − bm | an − bn .

Demostración. 1) Se sigue de la fórmula an − bn = (a − b)(an−1 + an−2 b + · · · + abn−2 + bn−1 ).

2) Como n es impar, entonces bn = −(−b)n , se aplica la fórmula de arriba.
3) De la hipótesis xiste k ∈ N tal que n = km, por lo que an − bn = (am )k − (bm )k . Basta
aplicar la fórmula del inciso 1) a los números am y bm .

Corolario 2.1.7 (Algoritmo de Euclides). Sean m y n dos enteros con m > 0, entonces la
descomposición del teorema 2.1.3 es única, es decir, existen únicos q, r ∈ Z con 0 ≤ r < m,
tales que n = qm + r.

Demostración. Supongamos que existen otros enteros q1 , r1 ∈ Z con 0 ≤ r1 < m, tales que
n = q1 m + r1 . Tenemos pues que

n = qm + r, con 0 ≤ r < m,
n = q1 m + r1 , con 0 ≤ r1 < m.

De las condiciones del lado derecho de arriba, se cumple que |r − r1 | < m. Al restar la
segunda ecuación a la primera tenemos que 0 = m(q − q1 ) + (r − r1 ), o de forma equivalente
m(q1 − q) = (r − r1 ). Lo anterior significa que m | (r − r1 ), por lo que si r ̸= r1 de la proposición
2.1.5 inciso g) se tendrı́a que |m| ≤ |r − r1 |, lo cual no es posible. Ası́ r = r1 . Ahora, como
m > 0 y m(q1 − q) = 0, necesariamente q = q1 .

Unos de los conceptos de interés en los números enteros es el siguiente: dados una cantidad
finita de enteros, ¿cuál es el factor común más grande que tienen dichos números?. La definición
que se damos a continuación es para dos enteros, pero se puede generalizar para una cantidad
finita de ellos.

Angel Lara, Isidro Morales

 16 CAPÍTULO 2. Estructuras algebraicas

Definición 2.1.8 (Máximo común divisor). Sean m y n dos enteros no ambos cero. Su
máximo común divisor es un entero c con la siguientes propiedades:

(i) c > 0.

(ii) c | m y c | n.

(iii) Si d es un entero tal que d | m y d | n, entonces d | c.

En este caso se escribe c = mcd (m, n) o c = (m, n).

En el teorema siguiente probaremos que el máximo común divisor de dos números enteros
siempre existe. La propiedad (II) signifca que c debe ser un divisor de los enteros m y n,
y (III) dice que c es el máximo de los divisores comunes de m y n. Note que el entero −c
también cumple (II) y (III), pero para poder tomar el máximo en cuestión de orden, tomamos
los divisores positivos.

Teorema 2.1.9. Si m y n no son ambos cero, entonces su máximo común divisor c = (m, n)
existe, es único y además existen r0 , s0 ∈ Z tales que c = r0 m + s0 n.

Demostración. Definamos S = {rm + sn > 0 : r, s ∈ Z}. Si tomamos r = m y s = n entonces

rm + sn = m2 + n2 > 0, por lo que S ̸= ∅. Por el principio del buen orden existe c ∈ N elemento
mı́nimo de S. Por la forma de los elementos de S, existen r0 , s0 ∈ Z tales que c = r0 m + s0 n.
Veamos que c cumple las condiciones de la definición 2.1.8.
Como c ∈ S entonces c > 0. Si d | m y d | n, de la proposición 2.1.5 inciso (d), d | (r0 m+s0 n),
es decir d | c. Por el algoritmo de Euclides existen q, r ∈ Z con 0 ≤ r < c, tales que m = qc + r.
Veamos que neceariamente r = 0. Supongamos que 0 < r < c, como

m = qc + r = q(r0 m + s0 n) + r

entonces
r = (1 − qr0 )m − qs0 n ∈ S,
lo cual no es posible por que c es el elemento mı́nimo de S. Ası́ r = 0 y c | m. De forma análoga
c | n.
Veamos ahora la unicidad. Supongamos que t es otro entero que cumple las condiciones de
la definición 2.1.8. Por (II) d | m y d | n, entonces d | (r0 m + s0 n), es decir d | c. Como c | m
y c | n, de (III) c | t. De la proposición 2.1.5 inciso (f), t = c o t = −c, pero como t y c son
positivos, necesariamente t = c.

En el teorema anterior se pide que m y n no sean ambos cero, pues en el caso cuando
los dos son cero, cualquier número natural serı́a un divisor común de ambos. Cuando se tiene
k = rm + sn, se dice que k es una combinación lineal de m y n. √
El lector recordará que en su primer semestre vió la demostración de que 2 es un número
irracional, y en el proceso se uso el hecho de que una fracción de dos enteros se podı́an simplificar
hasta no tener divisores en común. En lo que sigue daremos mayor detalle a esas afirmaciones.

Definición 2.1.10. Sean m y n dos números enteros, se dice que m y n son primos relativos
si mcd (m, n) = 1.

Angel Lara, Isidro Morales

[Link] números enteros 17

La definición de primos relativos básicamente dice que m y n no tiene ningún factor en

común (de números naturales), salvo el trivial.
Teorema 2.1.11. Sean m y n enteros. Entonces m y n son primos relativos, si y sólo si existen
r0 , s0 ∈ Z tales que 1 = r0 m + s0 n.
Demostración. ⇒) Si m y n son primos relativos, del teorema 2.1.9 xisten r0 , s0 ∈ Z tales que
1 = r0 m + s0 n.
⇐) Denotemos por c = mcd (m, n), Como c | m y c | n entonces c | r0 m + s0 n, esto quiere
decir que c | 1, y por tanto c = 1.
Corolario 2.1.12. Sean m y n primos relativos y supongamos que m | (nt), entonces m | t.
Demostración. Del teorema 2.1.11 existen r0 , s0 ∈ Z tales que 1 = r0 m + s0 n. Al multiplicar
por t se tiene
t = r0 mt + s0 nt.
Como m | (nt) entonces m | (s0 nt), además es claro que m | (r0 mt). De la proposición 2.1.5
m | t.
Corolario 2.1.13. Si m y k son primos relativos a n, entonces mk y n son también primos
relativos.
Demostración. Al igual que antes, del teorema 2.1.11 existen r0 , s0 ∈ Z tales que 1 = r0 m+s0 n.
Al multiplicar por k se tiene
k = r0 mk + s0 nk.
Denotemos d = mcd (mk, n), entonces d | mk y d | n, por lo que d | (r0 mk + s0 nk). Esto quiere
decir que d | k, puesto que n y k son primos relativos, entonces d = 1 (pues 1 = r1 n + s1 k para
algunos enteros r1 y s1 ). Del teorema 2.1.11 mk y n son primos relativos.
Una consecuencia directa del corolario anterior es que si m y n son primos relativos, entonces
mi y n también son primos relativos, para cualquier i ∈ N. esta afirmación se puede validar
usando inducción matemática sobre i.
Ejemplo 2.1.14. Sea f (x) = a0 + a1 x + · · · + an−1 xn−1 + an xn un polinomio con coeficientes
r
enteros. Demostrar que si es una raı́z de f, con r y s primos relativos, entonces r | a0 y s | an .
s
r
Demostración. Como es una raı́z de f se cumple que
s
r r  r n−1  r n
0=f = a0 + a1 + · · · + an−1 + an ,
s s s s
al multiplicar por sn se tiene
0 = a0 sn + a1 rsn−1 + · · · + an−1 rn−1 s + an rn ,
por lo cual al despejar
a0 sn = r(−a1 sn−1 − · · · − an−1 rn−2 s − an rn−1 )
an rn = s(−a0 sn−1 + a1 rsn−2 + · · · − an−1 rn−1 )
Esto implica que r | a0 sn y s | an rn , y puesto que r y s son primos relativos, entonces de los
corolarios 2.1.13 y 2.1.12 tenemos que r | a0 y s | an .

Angel Lara, Isidro Morales

 18 CAPÍTULO 2. Estructuras algebraicas

Un concepto muy importante en los números enteros es el de número primo, y un resultado

fundamental es el que todo entero es producto de números primos. En lo que sigue demostraremos
ese resultado.
Definición 2.1.15. Un entero p > 1 es un número primo (o simplemente primo) si para
todo n ∈ Z, p | n o bien p y n son primos relativos.
Intuitivamente, la definición anterior significa que p es o no es un factor de a, cosa que
desde los cursos básicos sabemos que es cierto. La definición de número primo que tiene el
lector en mente es: p > 1 es un número primo si sus únicos divisores son el 1 y p mismo, lo que
también equivale a decir que para todo 1 < k < p se tiene que k ∤ p. El siguiente resultado nos
da una equivalencia de no ser primo en base a la definición que estamos dando y la definición
anterior de primo.
Proposición 2.1.16. Sea p > 1. Los siguientes enunciados son equivalentes:
(a) Existe un entero k con 1 < k < p y tal que k | p.
(b) Existe un entero n tal que p ∤ n y p, n no son primos relativos.
Demostración. (a) ⇒ (b) Tomemos n = k, entonces p ∤ n, pues en caso de que p | n existirı́a
s ∈ N tal que k = sp ≥ p, lo cual no es posible. Además (p, n) = k > 1.
(b) ⇒ (a) Denotemos k = mcd (p, n), por la hipótesis k > 1. Como k | p existe s ∈ N tal que
p = sk. Veamos que necesariamente s > 1. Si s = 1, entonces p = k, y en este caso tendrı́amos
que p = k | n, lo cual serı́a una contradicción a la hipótesis. Esto quiere decir que s > 1 y por
lo cual p = sk > k.
La proposición anterior es una equivalencia de no ser primo con la nueva definición y
con la definición anterior, que el lector tenı́a ya del concepto de número primo. Esto implica
automaticamente que las definiciones de ser primo son equivalentes.
Teorema 2.1.17. Sea p un número primo y n1 , . . . , nk números enteros. Si p | (n1 · · · nk )
entonces existe 1 ≤ i ≤ k tal que p | ni .
Demostración. Procedamos por inducción en k. Para k = 1 el resultado es claro.
Supongamos pues que para cualesquiera enteros n1 , . . . , nk tales que p | (n1 · · · nk ), existe
1 ≤ i ≤ k tal que p | ni . (H.I.)
Sean ahora n1 , . . . , nk , nk+1 enteros tales que p | (n1 · · · nk nk+1 ). Si p | nk+1 el teorema ha
queda probado. Supongamos que p ∤ nk+1 , entonces como p | (n1 · · · nk )nk+1 del corolario 2.1.12
p | (n1 · · · nk ), y de la hipótesis de inducción existe 1 ≤ i ≤ k tal que p | ni .
√
Ejemplo 2.1.18. Demostrar que si p es un número primo, entonces p es un número irracional.
√
Demostración. Supongamos que p fuese un número racional, entonces existirı́an números
√
naturales a, b tales que p = ab . Podemos suponer que a y b son primos relativos, pues en caso
contrario se pueden extraer los factores en común. Como
 a 2
p= tenemos que a2 = b2 p,
b
y esto quiere decir a su vez que p | a2 . Por el teorema 2.1.17 p | a. Como a = kp para algún
k ∈ N, entonces (kp)2 = b2 p, por lo que kp = b2 . Nuevamente esto último implicarı́a que p | b
y por lo cual b = rp, para algún r ∈ N. Lo anterior dirı́a que a y b tienen como factor común a
p, lo cual no es posible por que supusimos que a y b son primos relativos.

Angel Lara, Isidro Morales

[Link] números enteros 19

Teorema 2.1.19. Si n es un entero con n > 1, entonces n es primo o bien es producto de

primos.

Demostración. La demostración será por contradicción. Supongamos que existe m > 1 que no
es primo y que tampoco es producto de primos. Definamos

A = {n > 1 : n no es primo y que tampoco es producto de primos}.

De la suposición hecha tenemos que A ̸= ∅. Por el principio del buen orden existe m elemento
mı́nimo de A. Como m no es primo, de la proposición 2.1.16 existe un entero k con 1 < k < m
y tal que k | m. De lo anterior existe 1 < r < m tal que m = kr (note que si r = 1 o r = m
implicarı́a que k = m o k = 1), y puesto que m es el elemento mı́nimo de A se debe tener
necesariamente que k ∈ / Ayr∈ / A, lo anterior implica que k y r son primos o productos de
primos, en cualquier caso m = kr deberı́a ser producto de primos, lo cual no es posible por que
m ∈ A.

Teorema 2.1.20 (Fundamental de la aritmética). Sea n es un entero con n > 1. Entonces

existe una única manera de escribir n de la forma

n = pa11 pa22 · · · pakk ,

donde p1 < p2 < · · · < pk son primos y los exponentes a1 , a2 , . . . , ak son enteros positivos.

Demostración. Del teorema 2.1.19 n debe ser un primo o producto de primos, entonces sólo se
debe verificar que la factorización de n es única. Supongamos que existe un entero n > 1 que
tiene dos factorizaciones distintas y denotemos

A = {k > 1 : k tiene dos o más factorizaciones distintas}.

Por la suposición hecha n ∈ A y por lo cual A ̸= ∅. Denotemos por c ∈ A el elemento mı́nimo

de A y supongamos que

c = pa11 pa22 · · · pakk y c = q1b1 q2b2 · · · qm

bm
,

donde p1 < p2 < · · · < pk y q1 < q2 < · · · < qk , y a1 , a2 , . . . , ak , b1 , b2 , . . . , bm son enteros

positivos. Como p1 | pa11 pa22 · · · pakk = c, entonces p1 | q1b1 q2b2 · · · qm
bm
, del teorema 2.1.17 existe
bi
1 ≤ i ≤ m tal que p1 | qi . Nuevamente del teorema 2.1.17 p1 | qi , lo que implica que p1 = qi .
De forma análoga existe 1 ≤ j ≤ k tal que q1 = pj . De esto

p1 ≤ pj = q1 ≤ qi = p1 , es decir p1 = q1 .
c
Ahora r = = pa11 −1 pa22 · · · pakk < c entonces r ∈
/ A (por que c es el elemento mı́nimo de A) y
p1
por lo cual r se puede factorizar de forma única, luego de la igualdad

r = pa11 −1 pa22 · · · pakk = q1b1 −1 q2b2 · · · qm

bm

necesariamente k = m, p2 = q2 , . . . , pk = qk y a1 − 1 = b1 − 1, a2 = b2 , . . . , ak = bk . Esto
implicarı́a que los primos y exponentes de la factorización de c son únicos, lo cual no es posible
pues c ∈ A (recordemos que los elementos de A no tienen representación única).

Angel Lara, Isidro Morales

 20 CAPÍTULO 2. Estructuras algebraicas

Teorema
√ 2.1.21. Sea n es un entero con n > 1. Supongamos que para todo primo p con
p ≤ n, se tiene que p ∤ n. Entonces n es primo.
Demostración. Supongamos que n no es un número primo, de la proposición 2.1.16 existe un
entero k con 1 < k < n y tal que k | n. Como n = mk, también tenemos que 1 < m < n. Por
el teorema fundamental de la aritmética k y m son producto de primos, digamos

k = k1 · · · kt
y m = m1 · · · ms .
√
Cada uno
√ de los primos k i y mj son estrictamente mayores a
√ √ n, pues los primos menores o
igual a n no dividen a n. Esto implica que k > n y m > n, por lo que
√ √
n = mk > n n = n,

lo cual no es posible. Ası́ n es primo.

 
p
Ejemplo 2.1.22. Demostrar que si p es un número primo, entonces p divide a para todo
k
0 < k < p.
 
p
Demostración. Sea k tal que 0 < k < p, tenemos que es un número natural y
k
 
p p! p(p − 1) · · · (p − k + 1)
= = .
k k!(p − k)! k!
De esto se sigue que
   
p p
p(p − 1) · · · (p − k + 1) = k! y p | k! .
k k
Como k < p, entonces ningún factor del número k! puede ser p, por lo cual p y k! son primos
p
relativos. Del corolario 2.1.12 se sigue que p .
k
Análogamente al concepto de máximo común divisor, es de interes responder a la siguiente
pregunta: ¿cuál es el menor multiplo común entre dos números enteros?.
Definición 2.1.23 (Mı́nimo común múltiplo). Sean m y n dos enteros distintos de cero.
Su mı́nimo común múltiplo es un entero c con la siguientes propiedades:
(i) c > 0.

(ii) m | c y n | c.

(iii) Si d es un entero tal que m | d y n | d, entonces c | d.

En este caso se escribe c = [m, n] o c = mcm (m, n).
Observemos que si m y n son enteros distintos de cero, el número natural |mn| cumple
(I) y (II) de la definición anterior, pero no necesariamente cumple (III), pues podrı́a haber un
número más pequeño que el.

Angel Lara, Isidro Morales

[Link] números enteros 21

Proposición 2.1.24. Sean m y n dos enteros distintos de cero, entonces mcm (m, n) existe y
es único.
Demostración. Existencia. Consideremos primero el caso particular cuando mcd (m, n) = 1.
En este caso definimos c = |mn| y veamos que c cumple lo pedido. (I) y (II) son claras, vemos
la propiedad (III). Si d es un entero tal que m | d y n | d, entonces existen r, s ∈ Z tal que
d = rm y d = sn, por lo que m | sn. Como mcd (m, n) = 1, del corolario 2.1.12 m | s, por lo
que existe t ∈ Z tal que s = tm. Esto implica que d = tmn y por tanto c | d.
En el caso cuando m y n no son primos relativos definimos
m n
α = mcd (m, n), m′ = y n′ = .
α α
Del ejercicio 2.6.1 m′ y n′ son primos relativos, por lo que c′ = |m′ n′ | cumple los tres incisos
|mn|
de la definición 2.1.23. Tomemos ahora c = . Claramente c cumple (I) y (II), para la parte
α
(III) sea d es un entero tal que m | d y n | d. De lo anterior se cumple que
m d n d
m′ = y n′ = ,
α α α α
lo que implica que
|mn| ′ d
= c ,
α2 α
por lo cual
|mn|
c= d.
α
Unicidad. Sea c1 un entero que cumpla los tres incisos de la definición 2.1.23. Como m | c1
y n | c1 , entonces c | c1 . De la misma forma c1 | c, por lo cual c = c1 .
Observe que de la demostración de la proposición anterior tenemos automaticamente que
|mn| |mn|
mcm (m, n) = o con la otra notación, [m, n] = .
mcd (m, n) (m, n)
Sean m y n dos números naturales, del teorema fundamental de la aritmética sabemos que
existen únicos primos p1 < p2 < · · · < pk y q1 < q2 < · · · < pr , y únicos exponentes positivos
a1 , a2 , . . . , ak y b1 , b2 , . . . , br tales que

m = pa11 pa22 · · · pakk y n = q1b1 q2b2 · · · qrbr .

En un principio los primos pi no tienen que ser igual a algún primo qj . Si incluimos los primos
fatantes qj con exponente cero a la expresión de m, y viceversa, no alteramos su valor y
tendremos una notación estandar para los dos números m y n.
Teorema 2.1.25. Sean m y n dos números naturales, sabemos que existen únicos primos
p1 < p2 < · · · < pk y únicos exponentes no negativos a1 , a2 , . . . , ak y b1 , b2 , . . . , bk tales que

m = pa11 pa22 · · · pakk y n = pb11 pb22 · · · pbkk .

Entonces:

Angel Lara, Isidro Morales

 22 CAPÍTULO 2. Estructuras algebraicas

1. mcd (m, n) = pα1 1 pα2 2 · · · pαk k , donde αi = mı́n{ai , bi }, para i = 1, . . . , k.

2. mcm (m, n) = pβ1 1 pβ2 2 · · · pβkk , donde βi = máx{ai , bi }, para i = 1, . . . , k.

Demostración. 1) Definamos c = pα1 1 pα2 2 · · · pαk k , es claro que c cumple (I) y (II) de la definición
de máximo común divisor. Sea d ∈ N tal que d | m y d | n. Entonces existen r, s ∈ Z tal que

pa11 pa22 · · · pakk = m = rd y pb11 pb22 · · · pbkk = n = sd,

esto quiere decir que el número de primos en la expresión de d tiene que ser menor o igual que
la de m y n. Si d = pe11 pe22 · · · pekk , con e1 , . . . , ek ∈ N0 , tenemos que ai ≥ ei y bi ≥ ei , para todo
i = 1, . . . , k, por lo que αi = mı́n{ai , bi } ≥ ei , para todo i = 1, . . . , k. Ası́ c | d.
2) De lo último comentado en la proposición 2.1.24 tenemos directamente

mn pa11 +b1 pa22 +b2 · · · pkak +bk

mcm (m, n) = = α1 α2 αk = pβ1 1 pβ2 2 · · · pβkk .
mcd (m, n) p1 p2 · · · pk

Ejemplo 2.1.26 (Método de la casita). Mostraremos mediante un ejemplo el procediemiento

básico que se hacı́a para encontrar el máximo común divisor y el mı́nimo común múltiplo.
Consideremos m = 600 y n = 980. Observemos que

m = 23 · 3 · 52 y n = 22 · 5 · 72

De acuerdo al teorema anterior tenemos que

mcd (m, n) = 22 · 30 · 51 · 70 = 20,

mcm (m, n) = 23 · 31 · 52 · 72 = 29, 400.

El método de la casita para encontrar el máximo común divisor es obtener factores primos en
común, y el proceso termina cuando ya no hay factores comunes. El método de la casita para
encontrar el mı́nimo común múltiplo es obtener factores primos, no importa si se comparten o
no. El proceso termina cuando ya no hay factores.

600 980 2
300 490 2
150 245 2
600 980 2
75 49 3
300 490 2
mcd mcm 25 49 5
150 245 5
5 49 5
30 49
1 49 7
1 7 7
1 1

donde obtenemos exactamente lo del teorema anterior.

Angel Lara, Isidro Morales

[Link] 23

2.2. Grupos
Una de las estructuras algebraicas más simples es el concepto de grupo, pero a pesar de la
simplicidad que tiene, muchas de las definiciones que daremos será en base a los grupos.

Definición 2.2.1. Sea G un conjunto no vacı́o y ∗ : G × G −→ G una operación. Decimos que

G es un grupo si se cumple que:

(a) (Asociatividad) Para todos a, b, c ∈ G se tiene a ∗ (b ∗ c) = (a ∗ b) ∗ c.

(b) (Existencia de neutro) Existe un elemento especial e ∈ G tal que a ∗ e = e ∗ a = a, para

todo a ∈ G.

(c) (Existencia de inverso) Para todos a ∈ G existe b ∈ G tal que a ∗ b = b ∗ a = e. En este

caso se denota b = a−1 .

En algunos textos se pide que la operación ∗ sea cerrada, es decir que a ∗ b ∈ G para todo
a, b ∈ G, pero en nuestro caso esto se pide de un inicio. Puesto que a un mismo conjunto G se
le pueden asociar distintas operaciones, entonces en ocaciones decimos que la pareja (G, ∗) es
un grupo, para resaltar la operación que se está considerando.

Ejemplo 2.2.2. Consideremos a Z con la suma usual (en este caso G = Z y ∗ = +), entonces
tenemos que a + (b + c) = (a + b) + c, para todo a, b, c ∈ Z. En este caso e = 0 es el elemento
neutro pues a + 0 = 0 + a = a para cada a ∈ Z, y además para cada a ∈ Z existe −a ∈ Z tal
que a + (−a) = (−a) + a = 0.

Ejemplo 2.2.3. Un poco más general que el ejemplo anterior, tomemos G = R2 y ∗ = + la

suma de vectores en R2 . Del curso de geometrı́a I sabemos que a + (b + c) = (a + b) + a, para
todo a, b, c ∈ R2 . En este caso e = 0 es el elemento neutro y si a ∈ R2 el vector −1a cumple
que a + (−1a) = 0.

Ejemplo 2.2.4. Definamos G = R+ \ {0} y ∗ = ·, el producto usual de números reales. En este

caso de la asociatividad de la multiplicación se cumple la propiedad (a) de la definición de grupo.
Tenemos además que el elemento neutro es e = 1 y el elemento b que cumple a · b = b · a = 1
es el inverso multiplicativo de a.

Ejemplo 2.2.5. Consideremos el conjunto G = {f : R −→ R | f (x) = ax + b, a ̸= 0}. G

consiste de todas las rectas cuya pendiente es distinta de cero. En G definimos la operación
∗ como f ∗ g = f ◦ g, es decir ∗ es la composición de funciones. Si f, g ∈ G están dadas por
f (x) = ax + b y g(x) = cx + d respectivamente, entonces

(f ◦ g)(x) = a(cx + d) + b = acx + ad + b,

donde ac ̸= 0. Esto quiere decir que ∗ es una operación cerrada. Como la composición de
funciones es asociativa, tenemos que f ∗ (g ∗ h) = (f ∗ g) ∗ h, para toda f, g, h ∈ G. En est
caso la función identidad I ∈ G es el neutro para la composición. Si f (x) = ax + b con a ̸= 0,
entonces f es invertible y en este caso el inverso bajo la operación ∗ es la función inversa f −1 .

Angel Lara, Isidro Morales

 24 CAPÍTULO 2. Estructuras algebraicas

Ejemplo 2.2.6. Sean a1 , . . . , an reales distintos y definamos el conjunto X = {a1 , . . . , an }.

Definimos también el conjunto G como

G = {f : X −→ X | f es biyectiva}.

Como en el ejemplo previo, en G definimos la operación ∗ como f ∗ g = f ◦ g. Como la

composición de funciones biyectivas es biyectiva, entonces G es cerrado bajo la composición. El
neutro para ∗ es la función identidad IX y el inverso para ∗ es la función inversa de f ∈ G.
Como se puede apreciar en los ejemplos anteriores, la operación ∗ puede ser una suma o
un producto. Cuando la operación es una suma, el inveso a−1 se denota por −a y se dice
que es inverso aditivo. Cuando estamos con una multiplicación usamos la misma notación
establecida a−1 , y en este caso se dice inverso multiplicativo.
Definición 2.2.7. Sea (G, ∗) un grupo.
1. Decimos que el grupo G es finito si como conjunto consiste de un número finito de
elementos.

2. Decimos que G es un grupo abeliano si a ∗ b = b ∗ a para todo a, b ∈ G.

Los ejemplos 2.2.2, 2.2.3, 2.2.4 son ejemplos de grupos abelianos que no son finitos. Los
grupos de los ejemplos 2.2.5 y 2.2.6 son no abelianos (el del ejemplo 2.2.6 es abeliano sólo
cuando n ≤ 2). El grupo del ejemplo 2.2.6 es un grupo finito, de hecho el número de elementos
es la cantidad de permutaciones de X, las cuales son n!.
Sea (G, ∗) un grupo con elemento neutro e. Como es costumbre para la operación de un
elemento consigo mismo una cantidad finita de veces, se define an = a · · ∗ a}, a0 = e y
| ∗ ·{z
n−veces
a−n = (a−1 )n . Con esta definición las leyes de los exponentes son válidas, más precisamente
(am )n = amn y am ∗ an = am+n . En el caso de que ∗ sea una suma, se tiene an = na y
a−n = n(−a) = −na.
Proposición 2.2.8. Sea (G, ∗) un grupo, y sean a, b, c ∈ G, entonces:
1. El elemento neutro es único.

2. El inverso de a, a−1 es único.

3. Si a ∗ b = a ∗ c, entonces b = c.

4. Si b ∗ a = c ∗ a, entonces b = c.

−1
5. a−1 = a.

6. (a ∗ b)−1 = b−1 ∗ a−1 .

Demostración. 1) Supongamos que e y e1 son elementos neutros, entonces por la propiedad del
neutro e1 = e1 ∗ e = e.
3) por la propiedad del inverso existe α ∈ G tal que a ∗ α = α ∗ a = e, entonces de la
igualdad a ∗ b = a ∗ c y la asociatividad se tiene que

b = e ∗ b = (α ∗ a) ∗ b = α ∗ (a ∗ b) = α ∗ (a ∗ c) = (α ∗ a) ∗ c = e ∗ c = c.

Angel Lara, Isidro Morales

[Link] 25

4) es parecido al anterior. 2) es consecuencia de 3 pues si α, β ∈ G son tales que a∗α = e = a∗β,

entonces α = β.
5) se sigue de la unicidad del inverso, pues a−1 ∗ a = e.
6) Como
(a ∗ b) ∗ (b−1 ∗ a−1 ) = a ∗ (b ∗ b−1 ) ∗ a−1 = a ∗ a−1 = e,
entonces de la unicidad del inverso (a ∗ b)−1 = b−1 ∗ a−1 .

Definición 2.2.9. Un subconjunto no vacı́o H de un grupo (G, ∗) se llama subgrupo de G, si

(H, ∗) es también un grupo.

Todo grupo G tiene dos grupos obvios, G y {e}. Estos son los subgrupos triviales de G.
Antes de dar ejemplos de subgrupos damos una equivalencia de la definición 2.2.9.

Proposición 2.2.10. Un subconjunto no vacı́o H del grupo (G, ∗) es un subgrupo, si y sólo

si, H es cerrado respecto a ∗ y para cada a ∈ H implica que a−1 ∈ H.

Demostración. ⇒) Es directo de la definición de que (H, ∗) es un grupo.

⇐) Como H ̸= ∅ existe un elemento b ∈ H, además como la operación ∗ es cerrada en H
se tiene que e = b ∗ b−1 ∈ H, esto quiere decir que el elemento neutro en H es el mismo que
el de G. Como H ⊆ G entonces la propiedad a de la definición 2.2.1 se cumple también para
elementos de H. Como e ∈ H, entonces b también se satisface. La propiedad c se cumple por
hipótesis.

Ejemplo 2.2.11. Definamos G = R+ \ {0}, la operación ∗ como ∗ = · y H = {2n : n ∈ Z}.

En el ejemplo 2.2.4 vimos que (G, ∗) es un grupo. Veamos que H es subgrupo de G.

Demostración. Aplicaremos la proposición 2.2.10 para comprobar que H es un subgrupo de G.

Si a, b ∈ H entonces existem n, m ∈ Z tal que a = 2n y b = 2m , entonces a ∗ b = 2n+m ∈ H.
Además como a ∗ 2−n = 2n ∗ 2−n = 1 y −n ∈ Z, entonces a−1 = 2−n ∈ H.

Ejemplo 2.2.12. En el ejemplo 2.2.5 vimos que G = {f : R −→ R | f (x) = ax + b, a ̸= 0} es

un grupo con la operación ∗ dada por f ∗ g = f ◦ g. Definamos los conjuntos

H1 = {f : R −→ R | f (x) = ax, a ̸= 0}
H2 = {f : R −→ R | f (x) = x + b}
H3 = {f : R −→ R | f (x) = ax + b, a ̸= 0, a, b ∈ Q}
H4 = {f : R −→ R | f (x) = ax + a, a ̸= 0}

Demostremos que H1 , H2 , H3 son subgrupos de G y que H4 no lo es.

Demostración. La identidad en cada uno de los subconjuntos H1 , H2 , H3 es la función identidad

I, también los conjuntos H1 , H2 , H3 son cerrados bajo inversos inversos, pues si f1 ∈ H1 , f2 ∈
H2 , f3 ∈ H3 son dadas por f1 (x) = ax, f2 (x) = x + b, f3 (x) = ax + b, respectivamente, se tiene
que
1 1 −b
f1−1 (x) = x, f2−1 (x) = x − b, f3−1 (x) = x +
a a a
las cuales cumplen que f1−1 ∈ H1 , f2−1 ∈ H2 , f3−1 ∈ H3 .

Angel Lara, Isidro Morales

 26 CAPÍTULO 2. Estructuras algebraicas

Ahora si denotamos g1 (x) = a1 x, g2 (x) = x + b2 , g3 (x) = a3 x + b3 , tenemos

(f1 ◦ g1 )(x) = a(a1 x) = (aa1 )x

(f2 ◦ g2 )(x) = (x + b2 ) + b = x + (b2 + b)
(f3 ◦ g3 )(x) = a(a3 x + b3 ) + b = (aa3 )x + ab3 + b

esto quiere decir que H1 , H2 , H3 son cerrados bajo ∗. Ası́ H1 , H2 , H3 son subgrupos de G.
Si H4 fuese un subgrupo de G, se deberı́a tener que I ∈ H4 , pero esto claramente no es
posible.

2.3. Anillos
La siguiente definición está motivada de las propiedades de los números enteros junto con
las operaciones suma y producto.
Definición 2.3.1. Sea A un conjunto no vacı́o. Se dice que A es un anillo si tiene dos
operaciones (una suma y un producto) + : A × A −→ A y · : A × A −→ A que satisfacen lo
siguiente:
(a) (Conmutatividad) Para todos a, b ∈ A se tiene a + b = b + a.

(b) (Asociatividad) Para todos a, b, c ∈ A se tiene que a + (b + c) = (a + b) + c.

(c) (Existencia de neutro) Existe 0 ∈ A tal que a + 0 = 0 + a = a.

(d) (Existencia de inverso) Para todos a ∈ A existe b ∈ A tal que a + b = b + a = 0. En este

caso se denota b = −a.

(e) (Asociatividad) Para todos a, b, c ∈ A se tiene que a · (b · c) = (a · b) · c.

(f) (Distributividad) Para todos a, b, c ∈ A se cumple que

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

Como en el caso de grupos, desde un inicio se pide que las operaciones sean cerradas con
respecto a las operaciones + y ·. Observe que según la definición de anillo, se debe tener que
(A, +) debe ser un grupo abeliano cuyo neutro se denota por 0, pero con la multiplicación no
se pide más que la asociatividad y el lazo común con la suma, que es la distributividad. Para
resaltar la dependencia de las operaciones se dice que (A, +, ·) es un anillo.
Definición 2.3.2. Sea (A, +, ·) un anillo.
1. Si existe i ∈ A tal que a · i = i · a = a, para todo a ∈ A, se dice que A es un anillo con
unidad, es costumbre denotar i = 1 y en general se pide que 1 ̸= 0.

2. Suponga que (A, +, ·) es un anillo con unidad 1. Se dice que (A, +, ·) es un anillo con
división si para cada a ∈ A con a ̸= 0 existe b ∈ A tal que a · b = b · a = 1. En este caso
se escribe b = a−1 .

Angel Lara, Isidro Morales

[Link] 27

3. Se dice que (A, +, ·) es un anillo abeliano si a · b = b · a, para todo a, b ∈ A.

4. Un anillo abeliano (A, +, ·) se dice dominio entero si a · b = 0, implica que a = 0 o

b = 0.
Ejemplo 2.3.3. Consideremos a Z con la suma y producto usual. En este caso (Z, +, ·) es un
anillo abeliano con unidad, pero no es anillo de división. En este caso Z es dominio entero.
Ejemplo 2.3.4. Consideremos ahora el conjunto A = {f : R −→ R | f (x) = ax, a ∈ R}. A
consiste de todas las rectas del plano con ordenada 0. En A definimos la operación + como
la suma usual de funciones y · como f · g = f ◦ g. No es mucho trabajo ver que + y · son
operaciones cerradas. En este caso el neutro de la suma es la función constante cero, además
ya sabemos que la composición de funciones es asociativa.
Si f, g, h ∈ A están dadas por f (x) = a1 x, g(x) = a2 x y h(x) = a3 x respectivamente,
entonces

f ◦ (g + h)(x) = a1 ((a2 + a3 )x) = a1 (a2 x) + a1 (a3 x) = (f ◦ g)(x) + (f ◦ h)(x)

((g + h) ◦ f )(x) = (a2 + a3 )(a1 x) = a2 (a1 x) + a3 (a1 x) = (g ◦ f )(x) + (h ◦ f )(x)

Esto quiere decir que f ◦ (g + h) = f ◦ g + f ◦ h y (g + h) ◦ f = g ◦ f + h ◦ f. En este caso

la función identidad I ∈ A es el neutro multiplicativo. Además A es un anillo abeliano con
división, y es también un dominio entero.
Ejemplo 2.3.5. Definamos A = {f : [0, 1] −→ R | f es continua}. En A definimos la suma y
multiplicación usual de funciones, es decir

(f + g)(x) = f (x) + g(x) y (f · g)(x) = f (x)g(x), ∀ x ∈ [0, 1].

Como la suma y multiplicación de funciones continuas es nuevamente una función continua,

entonces las operaciones + y · son cerradas. Además de la misma definición de las operaciones,
y de las propiedades de los números reales, entonces (A, +, ·) es un anillo abeliano. En este caso
el neutro aditivo es la función constante cero y el neutro multiplicativo es la función constante
1. En este caso el anillo no es un dominio entero.
Proposición 2.3.6. Sea (A, +, ·) un anillo y a, b ∈ A, tenemos que
1. a · 0 = 0 · a = 0.

2. a · (−b) = (−a) · b = −(a · b).

3. (−a) · (−b) = a · b.

4. Si 1 ∈ A, entonces (−1) · a = −a.

5. (a + b)2 = a2 + a · b + b · a + b2 .
Demostración. 1) Como 0 = 0 + 0, entonces a · 0 = a · (0 + 0) = a · 0 + a · 0, por lo que al
cancelar a · 0 se tiene a · 0 = 0.
2) a·b+a·(−b) = a(b+(−b)) = a·0 = 0, por la unicidad del inverso aditivo −(a·b) = a·(−b).
3) De la parte 2 tenemos (−a) · (−b) = −((−a) · b) = −(−(a · b)) = ab.
4) Aplicamos 2 para tener (−1) · a = −(1 · a) = −a.

Angel Lara, Isidro Morales

 28 CAPÍTULO 2. Estructuras algebraicas

5) Aplicamos las dos propiedades distributivas

(a + b)2 = (a + b) · (a + b) = a · (a + b) + b · (a + b) = a2 + a · b + b · a + b2 .

Definición 2.3.7. Un anillo (A, +, ·) se dice que es Booleano si a2 = a, para toda a ∈ A.

Proposición 2.3.8. Todo anillo Booleano es conmutativo.
Demostración. De la definición para todo a, b ∈ A tenemos que
a2 = a, b2 = b, (a + b)2 = a + b
y de la proposición 2.3.6 (a + b)2 = a2 + a · b + b · a + b2 . De esto se tiene
a + b = a + a · b + b · a + b y a · b + b · a = 0.
Nuevamente de la proposición 2.3.6
0 = a · (a · b + b · a) = a2 · b + a · b · a = a · b + a · b · a
0 = (a · b + b · a) · a = a · b · a + b · a2 = a · b · a + b · a
por lo que a · b + a · b · a = a · b · a + b · a, lo que implica que a · b = b · a.

2.4. El anillo Zn
Vamos ahora a definir un anillo muy importante en álgebra. Recordemos que una relación R
en X se dice que es una relación de equivalencia si es reflexiva, simétrica y transitiva. Además
R induce una partición de X. Recı́procamente, toda partición B de X, induce una relación de
equivalencia en X.
Sea n un número natural. En Z definimos la relación ∼ como: a ∼ b si y sólo si n | b − a.
Del teorema 2.1.5 se tienen las siguentes propiedades:
1. (Reflexividad) Para todo a ∈ Z tenemos que a ∼ a.
2. (Simetrı́a) Si a ∼ b entonces b ∼ a.
3. (Transitividad) Si a ∼ b y bRc entonces a ∼ c.
Las propiedades anteriores quieren decir que ∼ es una relación de equivalencia en Z. Cuando
a se relaciona con b se dice que a es congruente con b módulo n, y en este caso se escribe
a ≡ b (mod n).
Las clases de equivalencia del entero a se define como
[a] = {x ∈ Z : a ∼ x} = {x ∈ Z : a ≡ x (mod n)}
y el espacio cociente es
Z/ ∼= {[a] : a ∈ Z}.
Vamos a escribir las propiedades de ∼ como módulos y otras dos propiedades que usaremos
más adelante para poder definir dos operaciones de clases.

Angel Lara, Isidro Morales

[Link] anillo Zn 29

Proposición 2.4.1. Sea n ∈ N y a, b, c, d ∈ Z cuatro números enteros.

1. Para todo a ∈ Z tenemos que a ≡ a (mod n).

2. Si a ≡ b (mod n) entonces b ≡ a (mod n).

3. Si a ≡ b (mod n) y b ≡ c (mod n) entonces a ≡ c (mod n).

4. Si a ≡ b (mod n) y c ≡ d (mod n), entonces (a + c) ≡ (b + d) (mod n).

5. Si a ≡ b (mod n) y c ≡ d (mod n), entonces (ac) ≡ (bd) (mod n).

Demostración. 4) Como n | b − a y n | d − c, entonces n | (d − c) + (b − a) = (b + d) − (a + c),

por lo que (a + c) ≡ (b + d) (mod n).
5) Nuevamente como n | b − a y n | d − c, existen enteros k1 y k2 tales que b − a = k1 n y
d − c = k2 n. Al multiplicar la primera igualdad por d y la segunda por a tenemos

db − da = dk1 n y ad − ac = ak2 n,

por lo que al sumarlas se tiene que db − ac = (dk1 + ak2 )n. Ası́ (ac) ≡ (bd) (mod n).

Ejemplo 2.4.2. Consideremos el caso particular cuando n = 2. En este caso si a ≡ b (mod 2)

se tiene que 2 | b − a, por lo que existe k ∈ Z tal que b − a = 2k. Lo anterior implica que la
diferencia b − a debe ser un número par, por lo tanto a y b deben ser ambos pares o ambos
impares. De lo comentado anteriormente todos los pares están en la misma clase y todos los
impares están en otra clase, luego

[0] = {x ∈ Z : x es par} y [1] = {x ∈ Z : x es impar}.

Ası́ también Z/ ∼= {[0], [1]}.

Ejemplo 2.4.3. Demostrar que si a, b ∈ Z y p es primo, entonces (a + b)p ≡ (ap + bp ) (mod p).

Demostración. Del teorema del binomio tenemos

n   n−1  
p
X p i p−i p
X p i p−i
(a + b) = ab =a + a b + bp .
i=0
i i=1
i
 
p
Del ejemplo 2.1.22 p , para todo 0 < i < p, luego
i
 
p i p−i
a b ≡ 0 (mod p), ∀ 0 < i < p.
i

De la proposición 2.4.1 inciso 4 tenemos

n−1  
p
X
p p i p−i
(a + b) = a + a b + bp ≡ (ap + bp ) (mod p).
i=1
i

Angel Lara, Isidro Morales

 30 CAPÍTULO 2. Estructuras algebraicas

Ejemplo 2.4.4. Demostrar que todo número entero es divisible por 3 si y sólo si la suma de
sus cifras es divisible por 3.

Demostración. Sea a ∈ Z. Si expresamos a en téminos de sus cifras a = ak ak−1 · · · a1 a0 , entonces

de la definición de la base 10

a = ak 10k + ak−1 10k−1 + · · · + a1 10 + a0 .

Como 10 ≡ 1 (mod 3), de la proposición 2.4.1 inciso 5 102 ≡ 1 (mod 3), y de forma inductiva
10i ≡ 1 (mod 3), para todo i ∈ N. De esto ai 10i ≡ ai (mod 3), y nuevamente de la proposición
2.4.1 inciso 4 tenemos

a = (ak 10k + · · · + a1 10 + a0 ) ≡ (ak + · · · + a1 + a0 ) (mod 3).

Si 3 | a significa que a ≡ 0 (mod 3), y por transitividad (ak + · · · + a1 + a0 ) ≡ 0 (mod 3), esto
implica que 3 | (ak + · · · + a1 + a0 ).

Lo que veremos ahora es que en general las clases de equivalencia consisten de números
enteros con el mismo residuo y el espacio cociente Z/ ∼ es {[0], [1], . . . , [n − 1]}.

Proposición 2.4.5. Sea n ∈ N y a, b ∈ Z. Por el algoritmo de Euclides sabemos que a = q1 n+r1

y b = q2 n + r2 , para algunos enteros q1 , q2 , r1 , r2 , con 0 ≤ r1 < n y 0 ≤ r2 < n. Entonces
a ≡ b (mod n) si y sólo si r1 = r2 .

Demostración. De la hipótesis b − a = (q2 − q1 )n + (r2 − r1 ), por lo que n | b − a si y sólo si

n | r2 − r1 . Puesto que n | r2 − r1 si y sólo si n | |r2 − r1 |, y además −n < r2 − r1 < n (esto
equivale a que 0 ≤ |r2 − r1 | < n), entonces n | r2 − r1 si y sólo si r2 = r1 .

Proposición 2.4.6. Sea n ∈ N, entonces

Z/ ∼= {[0], [1], . . . , [n − 1]}.

Demostración. Sea a ∈ Z, por el algoritmo de Euclides existen q, r ∈ Z con 0 ≤ r < n, tal que
a = qn + r. Esto quiere decir que a ∈ [r], por lo que Z/ ∼⊆ {[0], [1], . . . , [n − 1]}. Sólo resta
ver que las clases [0], [1], . . . , [n − 1] son distintas. Sean r1 , r2 ∈ {0, 1, . . . , n − 1} con r1 ̸= r2 y
supongamos que [r1 ] ∩ [r2 ] ̸= ∅. Entonces existe a ∈ Z tal que r1 ≡ a (mod n) y a ≡ r2 (mod n),
por transitividad r1 ≡ r2 (mod n), pero esto no es posible pues |r1 − r2 | < n. Ası́ necesariamente
[r1 ] ∩ [r2 ] = ∅ y por lo tanto
Z/ ∼= {[0], [1], . . . , [n − 1]}.

Recordamos al lector que el espacio cosciente Z/ ∼ consta de conjuntos (Z/ ∼ es un

subconjunto del potencia de Z), pero a pesar de ello hay dos operaciones naturales entre clases.
¿Cuáles son esas operaciones? Son la heredadas por la suma y producto de los números enteros,
pero se hace por medio de los representantes de las clases.

Definición 2.4.7. En Z/ ∼ definimos las funciones (operaciones) ⊕ : Z/ ∼ ×Z/ ∼−→ Z/ ∼

y ⊙ : Z/ ∼ ×Z/ ∼−→ Z/ ∼ como [a] ⊕ [b] = [a + b] y [a] ⊙ [b] = [a · b].

Angel Lara, Isidro Morales

[Link] anillo Zn 31

Notemos que estas definiciones dependen fuertemente de los representantes de las clases,
entonces es necesario comprobar que efectivamente definen funciones, es decir, se debe comprobar
que están bien definidas. 
Condiremos por ejemplo la partición de R dada por H = (−∞, 0), {0}, (0, ∞) . Recordemos
que toda partición induce una relación de equivalencia. En este caso [3] = [12] = (0, ∞) y
también [−1] = [−15] = (−∞, 0). Si tomamos las operaciones de la definición 2.4.7 se tendrı́a

[−1] ⊕ [12] = [−1 + 12] = [11] = (0, ∞)

y
[−15] ⊕ [3] = [−15 + 3] = [−12] = (−∞, 0),
por lo que la suma no estarı́a bien definida.
Veamos que las operaciones ⊕ y ⊙ en Z/ ∼, están bien definidas. Sean a, a′ representantes
de la clase [a] y b, b′ representantes de la clase [b]. Tenemos que

a′ ≡ a (mod n) y b′ ≡ b (mod n),

de la proposición 2.4.1 incisos 4 y 5 tenemos

(a′ + b′ ) ≡ (a + b) (mod n) y (a′ b′ ) ≡ (ab) (mod n).

Esto quiere decir que [a′ + b′ ] = [a + b] y [a′ b′ ] = [ab], y por lo tanto las operaciones ⊕ y ⊙ están
bien definidas.

Definición 2.4.8. Sea n ∈ N, a Z/ ∼ junto con las operaciones ⊕ y ⊙ se le denota por Zn .

En forma corta Zn = (Z/ ∼, ⊕, ⊙).

Teorema 2.4.9. Zn es un anillo abeliano con unidad. El neutro aditivo es 0 = [0] y el elemento
unidad es 1 = [1].

Demostración. Sean [a], [b], [c] ∈ Zn . De la conmutatividad de los enteros tenemos que

[a] ⊕ [b] = [a + b] = [b + a] = [b] ⊕ [a].

De manera similar, por la asociatividad de los números enteros

[a] ⊕ ([b] ⊕ [c]) = [a] ⊕ [b + c] = [a + (b + c)] = [(a + b) + c] = [a + b] ⊕ [c] = ([a] ⊕ [b]) ⊕ [c].

Las propiedades c y d de la definición de anillo se siguen fácilmente tomando 0 = [0] y las

propiedad del neutro aditivo en Z.
De la distributividad de los números enteros tenemos

[a] ⊙ ([b] ⊕ [c]) = [a] ⊙ [b + c] = [ab + ac] = [ab] ⊕ [ac] = ([a] ⊙ [b]) ⊕ ([a] ⊙ [c])
([b] ⊕ [c]) ⊙ [a] = [b + c] ⊙ [a] = [ba + ca] = [ba] ⊕ [ca] = ([b] ⊙ [a]) ⊕ ([c] ⊙ [a])

Finalmente [a] ⊙ 1 = [a1] = [a] y 1[a] = [1a] = [a].

Angel Lara, Isidro Morales

 32 CAPÍTULO 2. Estructuras algebraicas

El teorema anterior dice que el conjunto Zn tiene las mismas propiedades algebraicas de los
números enteros. De hecho, de estas propiedades de anillo, en algunos textos escriben [a] = a o
[a] = a, y las operaciones ⊕ y ⊙ como + y ·, respectivamente. Al igual que en Z, puede pasar
que [a] no tenga inversos multiplicativos, de hecho podemos tener cosas más extrañas.
Consideremos por ejemplo Z4 = {[0], [1], [2], [3]}. Denotemos [a] = a. Tenemos
2 · 2 = 4 = 0,
pero 2 ̸= 0. Más generalmente, si m = 2k + 1 se tiene
2m = 22k+1 = (22 )k · 2 = 4k · 2 = 0k · 2 = 0,
y si m = 2k
2m = 22k = (22 )k = 4k = 0k = 0,
Esto significa que 2m = 0, para todo m ∈ N.
Ejemplo 2.4.10. Demostrar que todo número entero es divisible por 3 si y sólo si la suma de
sus cifras es divisible por 3.
Demostración. Consideremos Z3 = {[0], [1], [2]}, y expresemos a a en su expansión base 10,
a = ak 10k + ak−1 10k−1 + · · · + a1 10 + a0 .
Como [10t ] = [10]t = [1]t = [1t ] = [1], para toda t ∈ N, entonces
[a] = [ak 10k + ak−1 10k−1 + · · · + a1 10 + a0 ]
= [ak ] · [10k ] + [ak−1 ] · [10k−1 ] + · · · + [a1 ] · [10] + [a0 ]
= [ak ] · [1] + [ak−1 ] · [1] + · · · + [a1 ] · [1] + [a0 ]
= [ak + ak−1 + · · · + a1 + a0 ]
Ası́ [a] = [0] si y sólo si [ak + ak−1 + · · · + a1 + a0 ] = [0].
Proposición 2.4.11. Sea n un número natural.
1. Si a ∈ Z es primo relativo a n, entonces existe b ∈ Z tal que ab ≡ 1 (mod n).
2. Si a y b son dos enteros tales que ab ≡ 1 (mod n), entonces a y n son primos relativos.
Demostración. 1) Del teorema 2.1.11 existen b, s ∈ Z tal que 1 = ba + sn, luego
[1] = [ba + sn] = [ba] ⊕ [sn] = [ba] ⊕ [sn] = [ba]
y por lo cual existe b ∈ Z tal que ab ≡ 1 (mod n).
2) De forma parecida, como [ab] = [1] entonces [ab − 1] = [0], por lo que n | (ab − 1). Ası́
existe k ∈ Z tal que ab − 1 = kn, o equivalentemente ab + (−k)n = 1. Nuevamente del teorema
2.1.11 a y n son primos relativos.
Nota 2.4.12. Sea p > 1 un número primo y consideremos Zp . Si a ∈ Z es primo relativo a p,
de la proposición anterior existe b ∈ Z tal que
[1] = [ab] = [a] ⊙ [b], [b] ̸= 0.
Puesto que 1, . . . , p − 1 son primos relativos a p, entonces cualquier elemento [a] ∈ Zp tiene
inverso multiplicativo.

Angel Lara, Isidro Morales

[Link] 33

2.5. Campos
El lector ya conoce las propiedades de campo de los números reales, las cuales se definieron
en el curso de cálculo I. Todas las propiedades que el lector sabı́a en a preparatoria fueron
justificadas en dicho curso. Ası́ como como los reales positivos forman un grupo y los números
enteros forman un anillo, surge entonces una pregunta natural: ¿Se tendrán otros conjuntos
que cumplan las propiedades de campo de los números reales? Como se ha comentado antes la
respuesta a esta pregunta es afirmativa.

Definición 2.5.1. Sea C un conjunto no vacı́o. Se dice que C es un campo si tiene dos
operaciones (una suma y un producto) + : C × C −→ C y · : C × C −→ C que satisfacen las
siguientes propiedades.

1. (Conmutatividad) Para todos a, b ∈ C se tiene a + b = b + a.

2. (Asociatividad) Para todos a, b, c ∈ C se tiene que a + (b + c) = (a + b) + c.

3. (Existencia de neutro aditivo) Existe 0 ∈ C tal que a + 0 = 0 + a = a, para todo

a ∈ C.

4. (Existencia de inverso aditivo) Para todos a ∈ C existe b ∈ C tal que a+b = b+a = 0.
En este caso se denota b = −a.

5. (Conmutatividad) Para todos a, b ∈ C se tiene a · b = b · a.

6. (Asociatividad) Para todos a, b, c ∈ A se tiene que a · (b · c) = (a · b) · c.

7. (Existencia de neutro multiplicativo) Existe 1 ∈ C con 1 ̸= 0, tal que a·1 = 1·a = a,

para todo a ∈ C.

8. (Existencia de inverso multiplicativo) Para todo a ∈ C con a ̸= 0, existe b ∈ C tal

que a · b = b · a = 1. En este caso se denota b = a−1 .

9. (Distributividad) Para todos a, b, c ∈ C se cumple que

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

Como ya se ha mencionado para otras estructuras, para resaltar la dependencia de las

operaciones, el campo C se escribe (C, +, ·). Como es de esperarse, nuestro primer ejemplo de
campo serán los números reales.
De la definición de campo, (C, +, ·) es un anillo de división abeliano con unidad, y se
tiene además la propiedad distribitiva. Como (C, +) y (C, ·) son grupos abelianos, todas las
propiedades que demostramos en la sección de grupos y anillos, se puede usar aquı́.

Ejemplo 2.5.2. Consideremos a los números reales con sus operaciones usuales. Entonces
(R, +, ·) es un campo. Puesto que los números racionales son cerrados bajo la suma y la
multiplicación, y preservan las mismas propiedades algebraicas de R, entonces (Q, +, ·) también
es un campo.

Angel Lara, Isidro Morales

 34 CAPÍTULO 2. Estructuras algebraicas

Ejemplo 2.5.3. Consideremos ahora el conjunto C = {f : R −→ R | f (x) = ax, a ∈ R}. C

consiste de todas las rectas del plano con ordenada 0. En C definimos la operación + como la
suma usual de funciones y · como la composición f · g = f ◦ g. En el ejemplo 2.3.4 se vió que
+ y · son operaciones cerradas, el neutro de la suma es la función constante cero, la operación
· es asociativa, el neutro multiplicativo es la función identidad I, y se cumple la propiedad
distributiva. Para comprobar que (C, +, ·) es un campo sólo falta verificar 5 y 8.
Sean f, g ∈ C dadas por f (x) = ax y g(x) = bx respectivamente, entonces

(f ◦ g)(x) = a(bx) = b(ax) = (g ◦ f )(x), ∀ x ∈ R,

Por lo cual f ◦ g = g ◦ f. Si f ∈ C es tal que f ̸= 0, entonces existe x0 ∈ R tal que f (x0 ) ̸= 0,

esto implica que ax0 ̸= 0 y por lo cual a ̸= 0. Esto quiere decir que f es invertible y su inversa
es f −1 (x) = a1 x.

Ejemplo 2.5.4 (El campo Zp ). Ya hemos demostrado que Zn es un anillo. De la conmutatividad

en la multiplicación de los números enteros [a] ⊙ [b] = [ab] = [ba] = [b] ⊙ [a], lo cual quiere decir
que la multiplicación de Zn es conmutativa. También ya hemos visto que [a] ⊙ [1] = [a1] = [a].
La única propiedad que falta para que Zn sea un campo es que cualquier elemento [a] ̸= 0,
tenga inverso multiplicativo. Lamentablemente esto no siempre se tiene, por ejemplo en Z6 se
tiene
[2] ⊙ [0] = [0], [2] ⊙ [1] = [2], [2] ⊙ [2] = [4],

[2] ⊙ [3] = [0], [2] ⊙ [4] = [2], [2] ⊙ [5] = [4],

esto quiere decir que [2] no tiene inverso multiplicativo en Z6
Cuando n = p es un número primo, la cosa es distinta. De la nota 2.4.12 cada elemento
[1], . . . , [p − 1] tiene inverso multiplicativo. Ası́ Zp es un campo.

Podrı́a pensarse que hay una gran variedad de campos, y en efecto es ası́ je je, pero se
prueba (aquı́ no serı́a prudente demostrarlo) que cualquier campo es isomorfo a un subcampo
de los números complejos. ¿Qué son los números complejos? El lector, como unos servidores,
tendrán el gusto de conocerlos y trabajar un poco con ellos.

Definición 2.5.5. Un subconjunto no vacı́o X de un campo (C, +, ·) se llama subcampo de C,

si (X, +, ·) es también un campo.

Ejemplo 2.5.6. Consideremos el campo de los números reales (R, +, ·). Claramente el subcojunto
de los números racionales es cerrados bajo la suma y el producto de reales, entonces Q es un
subcampo de los números reales.

Ejemplo 2.5.7. Consideremos nuevamente el campo de los números reales (R, +, ·). Definamos
ahora el conjunto √
X2 = {x + y 2 : x, y ∈ Q}.
√ √
Sean a y b elementos de X2 , entonces a y b son de la forma a = x1 + y1 2 y b = x2 + y2 2,
para ciertos racionales x1 , y1 , x2 , y2 . De la suma y multiplicación de números reales tenemos que
√ √ √
a + b = (x1 + y1 2) + (x2 + y2 2) = (x1 + x2 ) + (y1 + y2 ) 2

Angel Lara, Isidro Morales

2.6. Ejercicios 35

y
√ √
ab = (x1 + y1 2)(x2 + y2 2)
√ √
= x1 x2 + x1 y2 2 + x2 y1 2 + 2y1 y2
√
= (x1 x2 + 2y1 y2 ) + (x1 y2 + x2 y1 ) 2,
√ √
por lo cual las operaciones + y · son cerradas en X2 . En este caso 0 = 0 + 0 2 y 1 = 1 + 0 2
son los neutros aditivo y multiplicativo, respectivamente. El inverso multiplicativo de a es
x1 y1 √
a−1 = − 2 2.
x21 − 2y1 x1 − 2y12
2

Es fácil verificar las demás propiedades de campo para los elementos de X2 . Ası́ X2 es un
subcampo de R. Note además que Q es a su vez un subcampo propio de X2 .

2.6. Ejercicios
m
Ejercicio 2.6.1. Sean m y n números enteros no cero. Si c = mcd (m, n) demuestre que y
c
n
son primos relativos.
c
Ejercicio 2.6.2. Sea a un número natural. Demuestre que mcd (am, an) = a mcd (m, n).

Ejercicio 2.6.3. Demostrar que si n | a y m | a, y además m y n son primos relativos, entonces

(mn) | a.

Ejercicio 2.6.4. Demostrar por inducción matemática que 3 | (n3 − n), para toda n ∈ N.

Ejercicio 2.6.5. Sea p > 1 un número primo. Demostrar que p | (np − n), para toda n ∈ N.
Sugerencia: Use el teorema del binomio.

Ejercicio 2.6.6. Sean m y n números enteros distintos de cero. Demuestre que mcd (m, n) =
|m| si y sólo si m | n.

Ejercicio 2.6.7. Sean m y n dos enteros con m > 0. Por el algoritmo de Euclides existen
q, r ∈ Z con 0 ≤ r < m, tales que n = qm + r. Demuestre que mcd (m, n) = mcd (m, r)

Ejercicio 2.6.8. Sean m, n, a tres números enteros distintos de cero. Demostrar que

mcm (am, an) = |a| mcm (m, n).

Ejercicio 2.6.9. Sea G = {f : [−3, 2] −→ R | f es continua}.

1. Demuestre que (G, +) es un grupo, donde + es la suma usual de funciones.

2. Defina W = {f ∈ G | f ([−1, 1]) = {0}}. Demuestre que W es un subgrupo de G.

Angel Lara, Isidro Morales

36 CAPÍTULO 2. Estructuras algebraicas

Angel Lara, Isidro Morales

Capı́tulo 3

Sistemas de ecuaciones lineales

3.1. Matrices
Los sistemas de ecuaciones lineales aparecen en muchos planteamientos de problemas que
tienen que ver con relaciones entre varias variables. El lector recordará los sistemas clásicos de
2 × 2, como por ejemplo
2x − 3y = 7 (3.1)
x + 4y = −2 (3.2)
El punto del sistema anterior es encontrar a x y y que cumplan simultaneamente las dos
ecuaciones anteriores. Uno de los métodos usados para resolver el sistema anterior es el de
sustitución. Al despejar x de la segunda ecuación (3.2) resulta que x = −2 − 4y, y al sustituir
en la primera ecuación (3.1) tenemos
2(−2 − 4y) − 3y = 7,
de donde y = −1. Al sustituir este valor en la ecuación x = −2 − 4y, resulta que x = 2. Otro
método de solución del sistema de ecuaciones es el de eliminación, el cual nos interesa un poco
más pues es el que se generalizará en la teorı́a siguiente. Al multiplicar la ecuación (3.1) por 4
y la ecuación (3.2) por 3 se tiene
8x − 12y = 28
3x + 12y = −6
Al sumar las ecuaciones se tiene 11x = 22, por lo cual x = 2, y de aquı́ y = −1. Vamos
comentar un poco este proceso. Lo que se hizo fue multiplicar la fila (3.1) por 4, la fila (3.2)
por 3 y sumar, para dar una ecuación equivalente donde ya se puede conocer el valor de alguna
de las indeterminadas. Por lo tanto, el sistema original es equivalente al sistema
11x = 22
x + 4y = −2
o también al sistema
2x − 3y = 7
11x = 22

37
 38 CAPÍTULO 3. Sistemas de ecuaciones lineales

Los sitemas 3 × 3 involucran un poco más de trabajo, pero se puede seguir el mismo método
que antes. Consideremos por ejemplo el sitema lineal

x − 2y + 4z = 11 (3.3)
2x + y − 3z = −5 (3.4)
−3x + 2y + z = −3 (3.5)

Multiplicamos la ecuación (3.4) por 3, la ecuación (3.5) por 2 y las sumamos, tenemos pues
7y − 7z = −21, y por lo cual el sistema equivalente

x − 2y + 4z = 11 (3.6)
2x + y − 3z = −5 (3.7)
7y − 7z = −21 (3.8)

Multiplicamos la ecuación (3.6) por −2, y le sumamos la ecuación (3.7), el resultado es este
caso es 5y − 11z = −27, y por lo cual el sistema equivale al sistema

x − 2y + 4z = 11 (3.9)
5y − 11z = −27 (3.10)
7y − 7z = −21 (3.11)

Multiplicamos la ecuación (3.10) por 7, la ecuación (3.11) por −5 y sumamos, se tiene pues
−42z = −84, y por lo cual el sistema equivalente

x − 2y + 4z = 11
5y − 11z = −27
−42z = −84

De este sistema ya se pueden conocer los valores de z, después y y por último x, que en este
caso son x = 1, y = −1, z = 2. Realizando un paso más se tiene
5x − 2z = 1
5y − 11z = −27
z = 2
Eliminando ahora los términos −11z y 4z tenemos el sistema reducido
5x = 5
5y = −5
z= 2
En todos los cálculos que hicimos anteriormente, las variables no tienen mucha relevacia, pues
siempre mantuvimos su posición original. Entonces podemos quitar tales variables y trabajar
sólo con los coeficientes en un arreglo en el cual operamos de la forma anterior para “reducirlo”
y encontrar el valor de las indeterminadas. Implı́citamente en el ejemplo anterior tenemos que
considerar el arreglo  
1 −2 4 11
 2 1 −3 −5 
−3 2 1 −3

Angel Lara, Isidro Morales

[Link] 39

y le realizamos las operaciones siguientes:

Multiplicamos la fila dos por 3, la fila tres por 2, las sumamos y el resultado lo ponemos en
la fila tres  
1 −2 4 11
 2 1 −3 −5 
0 7 −7 −21
Multiplicamos la fila uno por −2, le sumamos la fila dos y el resultado lo escribimos en la fila
dos  
1 −2 4 11
 0 5 −11 −27 
0 7 −7 −21
Multiplicamos la fila dos por 7, la fila tres por 5 y el resultado lo escribimos en la fila tres
 
1 −2 4 11
 0 5 −11 −27 
0 0 −42 −84

Dividimos la fila tres por −42  

1 −2 4 11
 0 5 −11 −27 
0 0 1 2
Multiplicamos la fila uno por 5, la fila dos por 2, sumamos y el resultado lo escribimos en la
fila uno  
5 0 −2 1
 0 5 −11 −27 
0 0 1 2
Multiplicamos la fila tres por 11, le sumamos la fila dos y lo escribimos en la fila dos. Multiplicamos
la fila tres por 2, le sumamos la fila uno y lo escribimos en la fila uno.
 
5 0 0 5
 0 5 0 −5 
0 0 1 2

Finalmente dividimos la fila uno y la fila dos por 5

 
1 0 0 1
 0 1 0 −1 
0 0 1 2

Con lo cual x = 1, y = −1 y z = 2.
Según lo comentado anteriormente, es necesario definir los arreglos de números y dar un
sentido a sus operaciones de filas.

Definición 3.1.1. Una matriz de tamaño m × n sobre el campo de los números reales es una
función de la forma
A : {1, . . . , m} × {1, . . . , n} −→ R.

Angel Lara, Isidro Morales

 40 CAPÍTULO 3. Sistemas de ecuaciones lineales

Observe que la función actúa sobre pares ordendos (i, j). En forma práctica es costumbre
denotar aij = A(i, j) o Aij = A(i, j), y la matriz A se escribe simplemente como el arreglo de
m filas con n columnas, dado por
 
a11 a12 · · · a1n
 a21 a22 · · · a2n 
A =  .. ..  .
 
..
 . . . 
am1 am2 · · · amn
En forma corta, el arreglo se escribe como A = (aij )i=1,...,m o simplemente A = (aij ). A los
j=1,...,n
elementos aij se le llaman entradas de la matriz A. Notemos que en la expresión de la entrada
aij , i representa la posición de la fila i-ésima, y j la posición de la columna j-ésima. En general
escribimos A = (aij ), B = (bij ), C = (cij ), etc. , para representar a las matrices.
Por ejemplo, las matrices
   √   
−3 2 5 π 9 2 0.1 0.6 0.3
1
0 −11 7 1 −1 2 0.4 0.35 0.25
son de tamaño 2 × 3, mientras que las matrices
   1   
−1 2 2
−2 −2 0
 4 −1  0 −3 0 −1 
4
1√
5 8 −1 3 π 1+ 3

son de tamaño 3 × 2.
Nota 3.1.2. De la misma definición, dos matrices son iguales si y sólo si son iguales entradas

por entradas. Para cada i = 1, . . . , m, el i-ésimo renglón de la matriz A es ai1 ai2 · · · ain .
Para cada j = 1, . . . , n, la j-ésima columna de la matriz A es
 
a1j
 a2j 
 
 .. 
 . 
amj
Definición 3.1.3. El conjunto de todas las matrices de tamaño m × n sobre el campo R, se
denota por Mm×n (R). En ocaciones se escribe simplemente Mm×n .
Definición 3.1.4. Sean A, B ∈ Mm×n (R) dos matrices y α ∈ R.
1. La suma de la matriz A con la matriz B es la matriz C ∈ Mm×n (R), dada por la regla
cij = aij + bij , ∀ i = 1, . . . , m, j = 1, . . . , n.
Denotamos C = A + B. En notación corta (aij ) + (bij ) = (aij + bij ).
2. La multiplicación por escalar de α con la matriz A, es la matriz αA = C ∈ Mm×n (R),
definida por la regla
cij = α · aij , ∀ i = 1, . . . , m, j = 1, . . . , n.
En notación corta α(aij ) = (αaij ).

Angel Lara, Isidro Morales

[Link] 41

Básicamente la suma de matrices y la multiplicación de un escalar por una matriz, se realizan

entrada por entrada, de forma gráfica
     
a11 a12 · · · a1n b11 b12 · · · b1n a11 + b11 a12 + b12 · · · a1n + b1n
 a21 a22 · · · a2n   b21 b22 · · · b2n   a21 + b21 a22 + b22 · · · a2n + b2n 
.. + .. ..  = 
     
 .. .. .. .. .. .. 
 . . .   . . .   . . . 
am1 am2 · · · amn bm1 bm2 · · · bmn am1 + bm1 am2 + bm2 · · · amn + bmn
   
a11 a12 · · · a1n αa11 αa12 · · · αa1n
 a21 a22 · · · a2n   αa21 αa22 · · · αa2n 
α  .. ..  =  ..
   
.. .. .. 
 . . .   . . . 
am1 am2 · · · amn αam1 αam2 · · · αamn
Ejemplo 3.1.5. Consideremos los escalares α = 2 y β = −3, y las matrices
     
−1 2 3 4 −6 5 1 2 3
A= , B= , C= 1 .
0 −5 4 1 −1 2 2
− 12 1
Tenemos que
   
−1 + 4 2 − 6 3 + 5 3 −4 8
A+B = =
0 + 1 −5 − 1 4 + 2 1 −6 6
   
−3(−1) −3(2) −3(3) 3 −6 −9
βA = =
−3(0) −3(−5) −3(4) 0 15 −12
   
2(4) 2(−6) 2(5) 8 −12 10
αB = =
2(1) 2(−1) 2(2) 2 −2 4
     
3 −6 −9 8 −12 10 11 −18 1
βA + αB = + =
0 15 −12 2 −2 4 2 13 −8
Definición 3.1.6. Sean A ∈ Mm×n (R) y B ∈ Mn×p (R) dos matrices. La multiplicación de
A con B es la matriz C ∈ Mm×p (R) definida por la regla cir = nk=1 aik bkr , para toda i, r. En
P
este caso denotamosPn C = AB. Observe que i = 1, . . . , m y r = 1, . . . , p. Aquı́ la notación corta
es (aij )(bjr ) = ( k=1 aik bkr ).
Explicaremos un poco más la operación de multiplicar matrices. A primera vista se podrı́a
pensar que la multiplicación de matrices deberı́a ser también entrada por entrada, pero debido a
la naturaleza de las matrices y las representaciones que tiene, la forma de definir la multiplicación
tendrá una relación estrecha con el álgebra lineal y con las transformaciones lineales.

r
a11 a12 · · ·
  ↓
a1n
b11 · · · b1r · · · b1p
 
 .. .. .. 
 . . .  n
!
b21 · · · b2r · · · b2p  X
AB = i→  ai1 ai2 · · · ain   .. .. ..  = aik bkr
 
 . .. .. 
 . . . 
 .. . . k=1
bn1 · · · bnr · · ·

bnp
am1 am2 · · · amn
En la gráfica anterior expresamos la forma práctica de multiplicar matrices: La entrada cir será
la suma de multiplicar componente por componente la fila i-ésima de A con la columna r-ésima
de B y sumar.

Angel Lara, Isidro Morales

 42 CAPÍTULO 3. Sistemas de ecuaciones lineales

Definición 3.1.7. La matriz identidad I ∈ Mn×n (R), es la matriz dada por la regla I = (δij ),
donde δij = 0 si i ̸= j y δij = 1 si i = j. A la función δij se le llama delta de Kronecker. En
ocaciones la matriz identidad es denotada por In , para resaltar el orden de la matriz (tamaño
de la matriz).  
1 0 ··· 0 0
 0 1 ··· 0 0 
 
In =  ... ... .. ..  .

 . . 
 0 0 ··· 1 0 
0 0 ··· 0 1
Ejemplo 3.1.8. Sean A ∈ Mm×n (R), entonces AIn = A e Im A = A.
Demostración. De la definición de producto, las entradas de la matriz B = AIn son
n
X
bij = aik δkj = aij δjj = aij ,
k=1

y las entradas de la matriz C = Im A son

m
X
cij = δik akj = δii aij = aij .
k=1

Debido a que las operaciones entre matrices están dadas por sus entradas, y las entradas son
elementos del campo R, es de esperarse que haya propiedades muy parecidas a las del campo
de los números reales, pero en este caso con las matrices.
Teorema 3.1.9. Sean A, B, C ∈ Mm×n (R) tres matrices de tamaño m × n. Entonces
(a) A + B = B + A.
(b) (A + B) + C = A + (B + C).
(c) Existe 0 ∈ Mm×n (R) tal que A + 0 = 0 + A = A.
(d) Existe una matriz D ∈ Mm×n (R) tal que A + D = 0. En este caso se denota D = −A.
Demostración. (a). De la definición de suma de matrices y de la conmutatividad de los números
reales tenemos
A + B = (aij ) + (bij ) = (aij + bij ) = (bij + aij ) = (bij ) + (aij ) = B + A.
(b). Es similar al inciso anterior, sólo que se usa la asociatividad de los números reales
 
[A + B] + C = (aij ) + (bij ) + (cij )


= aij + bij + (cij )


= [aij + bij ] + cij


= aij + [bij + cij ]


= (aij ) + bij + cij
 
= (aij ) + (bij ) + (cij ) = A + [B + C].

Angel Lara, Isidro Morales

[Link] 43

(c). La matriz 0 está dada por 0ij = 0, para todo i, j. (d). Definamos la matriz D como
dij = −aij , para todo i, j. Entonces
A + D = (aij ) + (dij ) = (aij + dij ) = ((aij ) − (aij )) = (0) = (0ij ) = 0.

El teorema anterior implica que Mm×n (R) con la operación +, es un grupo abeliano.
Teorema 3.1.10. Sean A, B ∈ Mm×n (R) matrices de tamaño m×n y C, D ∈ Mn×p (R) matrices
de tamaño n × p. Entonces
(a) (A + B)C = AC + BC.
(b) A(C + D) = AC + AD.
Demostración. (a). Aquı́ usamos la distributividad de números reales y propiedades de la suma
n
!
X
(A + B)C = (aij + bij )(cjr ) = (aik + bik )ckr
k=1
n
!
X
= (aik ckr + bik ckr )
k=1
n n
!
X X
= aik ckr + bik ckr
k=1 k=1
n
! n
!
X X
= aik ckr + bik ckr = AC + BC.
k=1 k=1

(b). Es análogo al inciso anterior.

Teorema 3.1.11. Sean A ∈ Mm×n (R), B ∈ Mn×p (R), C ∈ Mp×q (R) tres matrices, entonces
A(BC) = (AB)C.
Demostración.
p
!
  X
A(BC) = (aij ) (bjl )(clr ) = (aij ) bjs csr
s=1
p
n
!!
X X
= aik bks csr
k=1 s=1
p
n X
!
X
= aik bks csr
k=1 s=1
p n
! !
X X
= aik bks csr
s=1 k=1
n
!
X  
= aik bkl (clr ) = (aij )(bjl ) (clr ) = (AB)C.
k=1

Angel Lara, Isidro Morales

 44 CAPÍTULO 3. Sistemas de ecuaciones lineales

De acuerdo a los últimos dos teoremas, es tentador pensar que Mm×n (R) con las operaciones
de suma y producto de matrices, es un anillo. Sin embargo esto no siempre es cierto, pues la
multiplicación no se realiza siempre con las matrices del mismo orden y de hecho el producto
también puede salirse del conjunto Mm×n (R).
Teorema 3.1.12. Sean A ∈ Mm×n (R) y B ∈ Mn×p (R) dos matrices y α ∈ R, entonces

(αA)B = A(αB) = α(AB).

Demostración. Las entradas de cada una de las tres matrices anteriores son, respectivamente
n n n
!
X X X
(αaik )bkj , aik (αbkj ), α aik bkj .
k=1 k=1 k=1

De las propiedades de la suma tiene que los tres números anteriores son iguales, y por lo cual
(αA)B = A(αB) = α(AB).
Definición 3.1.13. a) Decimos que una matriz A es cuadrada, si el número de filas es igual
al número de columnas.

b) Sea A una matriz cuadrada. Decimos que A es invertible, si existe una matriz B tal que
AB = BA = In . En este caso se denota B = A−1 .
Usando el ejemplo 3.1.8 y los teoremas 3.1.9, 3.1.10, 3.1.11, tenemos el siguiente resultado
importante.
Teorema 3.1.14. El conjunto Mn×n (R) junto con la suma y multiplicación de matrices forman
un anillo con unidad In .


Observación 3.1.15. El anillo Mn×n (R), +, · para n ≥ 2, no es abeliano, ni anillo de división,
ni es dominio entero.
Demostración. Veamos primero el caso cuando n = 2.    
1 2 0 1
Mn×n (R) no es anillo abeliano. Definamos las matrices A = yB = . Tenemos
−1 3 2 −1
que    
4 −1 −1 3
AB = , BA = .
6 −4 3 1
 
1 −1
Mn×n (R) no es anillo de división. Definamos la matriz A = . Si existiese B ∈ Mn×n (R)
0 0
tal que AB = BA = I2 , entonces se debe de tener
      
b11 −b11 b11 b12 1 −1 1 0
= = BA = I2 = ,
b21 −b21 b21 b22 0 0 0 1

lo que implicarı́a que b11 = 1 y b11 = 0, lo cual no es posible.

Mn×n (R) no es dominio entero. Tenemos que
    
0 1 2 1 0 0
= ,
0 −1 0 0 0 0

Angel Lara, Isidro Morales

[Link] 45
   
0 1 2 1
pero las matrices y no son las matrices cero.
0 −1 0 0
Veamos ahora el caso cuando n > 2.
Mn×n (R) no es anillo abeliano. Definamos las matrices
   
1 2 0 ··· 0 0 1 0 ··· 0
−1 3 0 ··· 0 2 −1 0 · · · 0
   
A= 0
 0 0 ··· 0  y B = 0 0 0 · · ·
 0 .
 .. .. .. ..   .. .. .. .. 
 . . . . . . . .
0 0 0 ··· 0 0 0 0 ··· 0

Tenemos que
   
4 −1 0 · · · 0 −1 3 0 ··· 0
6 −4 0 · · · 0 3 1 0 ··· 0
   
AB = 0 0 0 · · · 0 , BA =  0 0 0 ··· 0 .
 
 .. .. .. ..   .. .. .. .. 
. . . .  . . . .
0 0 0 ··· 0 0 0 0 ··· 0
 
1 −1 0 ··· 0
0 0 0 ··· 0
Mn×n (R) no es anillo de división. Definamos la matriz A =  .. ..  . Si existiese
 
.. ..
. . . .
0 0 0 ··· 0
B ∈ Mn×n (R) tal que AB = BA = I2 , entonces se debe de tener
    
b11 b12 · · · b1n 1 −1 0 · · · 0 1 0 ··· 0 0
 b21 b22 · · · b2n  0 0 0 · · · 0 0 1 ··· 0 0
..  =  .. ..  ,
    
 .. .. ..   .. .. .. .. ..
 . . .  . . . . . . . .
bn1 bn2 · · · bnn 0 0 0 ··· 0 0 0 ··· 0 1

lo que implicarı́a que b11 = 1 y b11 = 0, lo cual no es posible.

Mn×n (R) no es dominio entero. Definamos las matrices
   
0 1 0 ··· 0 2 1 0 ··· 0
0 −1 0 · · · 0 0 0 0 ··· 0
   
A = 0 0 0 · · · 0 y B = 0 0 0 ··· 0 .
 

 .. .. .. ..   .. .. .. .. 
. . . . . . . .
0 0 0 ··· 0 0 0 0 ··· 0

Tenemos que AB = 0, pero las matrices A y B no son las matrices cero.

En la parte de grupos ya comprobamos que los inversos son únicos, ademas dimos reglas
para el cálculo de tales inversos. De lo comentado anteriormente, se tiene el siguiente resultado.
Proposición 3.1.16. Sean A, B ∈ Mn×n (K) dos matrices.
a) Si A es invertible, entonces A−1 es invertible y (A−1 )−1 = A.

Angel Lara, Isidro Morales

 46 CAPÍTULO 3. Sistemas de ecuaciones lineales

b) Si A y B son invertibles, entonces AB es invertible y (AB)−1 = B −1 A−1 .

Definición 3.1.17. Sea A ∈ Mm×n (K) una matriz. Definimos la matriz transpuesta de A
como la matriz At ∈ Mn×m (K), dada por atij = aji .

De forma práctica, la transpuesta de la matriz A es la matriz que resulta de pasar cada

renglón de A a columnas, es decir
   
a11 a12 · · · a1n a11 a22 ··· am1
 a21 a22 · · · a2n 
 a12 a22
 ··· am2 
A =  .. ..  , At =  .. .
 
.. .. ..
 . . .   . . . 
am1 am2 · · · amn a1n a2n ··· amn

Ejemplo 3.1.18. Consideremos las matrices

 
  −7 5 1
−1 2 3

A= , B= 3 0 −2 , C= 5 2 7 ,
0 −5 4
−1 −5 9

sus matrices traspuestas son, respectivamente

     
−1 0 −7 3 −1 5
t
A =  2 −5 , B t =  5 0 −5 , t
C = 2 .

3 4 1 −2 9 7

Proposición 3.1.19. Sean A, B ∈ Mm×n (R) dos matrices. Entonces

a) (At )t = A.

b) (A + B)t = At + B t .

Demostración. (a) Las entradas de la matriz (At )t son cij = atji = aij , las cuales son exactamente
igual que las entradas de la matriz A. Ası́ (At )t = A.
(b) Las entradas de la matriz (A + B)t son cij = aji + bji = atij + btij , lo que corresponde a
sumar las entradad de las matrices transpuestas At y B t . Ası́ (A + B)t = At + B t .

Proposición 3.1.20. Sea A ∈ Mm×n (R) y B ∈ Mn×p (R) dos matrices. Entonces

(AB)t = B t At .
Pn
Demostración. Recordemos que las entrada de la matriz AB están dadas por cij = k=1 aik bkj .
Entonces las entradas de (AB)t son
n
X n
X n
X
ctij = cji = ajk bki = atkj btik = btik atkj ,
k=1 k=1 k=1

las cuales son exactamente las entradas de la matriz producto B t At . Ası́ (AB)t = B t At .

Angel Lara, Isidro Morales

[Link] 47

3.2. Determinantes
Una de las operaciones importantes de matrices es el determinante. El lector recordará que
uno de los métodos para resolver sistemas de ecuaciones 3 × 3 era por las reglas de Cramer,
la cual involucraba el determinante. La idea de esta parte es generalizar esa definición y dar
propiedades generales relacionadas con las operaciones de matrices. El determinante de una
matriz A ∈ Mn×n (R) se denotará como Det (A) o |A|. Empezamos con la definición de
determinante de matrices de tamaño 1 × 1 y 2 × 2.
Definición 3.2.1. Si A ∈ M1×1 (R) definimos su determinante como Det (A) = a11 y si
A ∈ M2×2 (R) definimos Det (A) = a11 a22 − a21 a12 .
Para obtener el determinante de una matriz de tamaño 3 × 3 se usa la regla de Sarrus, la
cual consiste en repetir las dos primeras filas de la matriz debajo de la misma (quedan entonces
cinco filas), se suman los productos de las diagonales descendentes y se restan los productos de
las diagonales ascendentes
*

aH
11H a12 a13
 (−)
H  *

a21
H H a22 
 H Ha23

= a11 a22 a33 + a21 a32 a13 + a31 a12 a23 −a31 a22 a13 − a11 a32 a23 − a21 a12 a33 .
  H HH *

aH
31 a
H 32 H
H a
33j
a11 a12HHa13H
 H  H j (+)
a21 a22 a23
 HHj
Entonces si A ∈ M3×3 (R) se define su determinante como
Det (A) = a11 a22 a33 + a21 a32 a13 + a31 a12 a23 − a31 a22 a13 − a11 a32 a23 − a21 a12 a33 .
La idea es definir el determinate de una matriz de tamaño n×n, y se hará de forma inductiva.
La definición formal del determinante se escapa de la teorı́a presentada en estas notas, rogamos
al lector nos comprenda por esta situación.
Definición 3.2.2. Sea n ∈ N con n > 1 y A ∈ Mn×n (R) una matriz. Definimos el menor de
A como la matriz A(i|j) de tamaño (n − 1) × (n − 1) que se obtiene de A eliminando la i-ésima
fila y la j-ésima columna de la matriz A.
De forma gráfica, si A es la matriz
a11 · · · a1j · · · a1n
 
 .. .. .. 
 . . . 
A =  ai1 · · · aij · · · ain 
 
 . .. .. 
 .. . . 
an1 · · · anj · · · ann
Entonces la matriz A(i|j) ∈ M(n−1)×(n−1) (R) es el resultado de eliminar los elementos de
color azul de la matriz anterior
··· ···
 
a11 a1(j−1) a1(j+1) a1n
.. .. .. ..
. . . .
 
 
 a ··· a(i−1)(j−1) a(i−1)(j+1) · · · a(i−1)n
 
A(i|j) =  (i−1)1 .

 a(i+1)1 ··· a(i+1)(j−1) a(i+1)(j+1) · · · a(i+1)n 
 .. .. .. .. 
 . . . . 
an1 ··· an(j−1) an(j+1) ··· ann

Angel Lara, Isidro Morales

 48 CAPÍTULO 3. Sistemas de ecuaciones lineales

Definición 3.2.3. Si A ∈ M1×1 (R) definimos su determinante como Det (A) = a11 y si
A ∈ Mn×n (R) con n > 1, definimos de forma recursiva
n
X
(−1)j+1 a1j Det A(1|j) .


Det (A) =
j=1

Veamos algunos casos particulares para que se entienda la definición. Para una matriz 2 × 2
los menores son números reales
  X 2
a11 a12
(−1)j+1 a1j Det A(1|j)


Det =
a21 a22
j=1

= (−1)2 a11 Det A(1|1) + (−1)3 a12 Det A(1|2) = a11 a22 − a12 a21 .

Para el caso n = 3 los menores son matrices 2 × 2, y su determinante se calcula como el caso
anterior, por lo cual
 
a11 a12 a13 X3
(−1)j+1 a1j Det A(1|j)


Det a21 a22 a23  =
a31 a32 a33 j=1

= (−1)2 a11 Det A(1|1) + (−1)3 a12 Det A(1|2) + (−1)4 a13 Det A(1|3)




     
a22 a23 a21 a23 a21 a22
= a11 Det − a12 Det + a13 Det
a32 a33 a31 a33 a31 a32
= a11 (a22 a33 − a32 a23 ) − a12 (a21 a33 − a31 a23 ) + a13 (a21 a32 − a31 a22 )
= a11 a22 a33 + a21 a32 a13 + a31 a12 a23 − a31 a22 a13 − a11 a32 a23 − a21 a12 a33 .

Que es exactamente la regla de Sarrus para el caso de una matriz de 3 × 3. Vamos ahora a dar
propiedades del determinante y de algunas operaciones básicas de las matrices. Por la misma
definición del determinante, las demostraciones serán por inducción matemática. En el curso
de Álgebra lineal II, el lector podrá tener formás más elegantes para comprobar los resultados
expuestos. Hay dos resultados importantes que no vamos a demostrar, pero haremos el caso
para matrces 2 × 2.
Los cuatro teoremas que siguen son sobre operaciones y/o propiedades realizadas a las
columnas de una matriz.

Teorema 3.2.4. Sea A ∈ Mn×n (R) una matriz y α ∈ R. Supongamos que la matriz B se
obtiene de A multiplicando una columna por el escalar α. Entonces Det (B) = α Det (A).

Demostración. La demostración será por inducción matemática. Para n = 1 el resultado es

claro pues B = α(a11 ) y A = (a11 ). Supongamos válido el resultado para n − 1. Queremos
demostrar la propiedad para n. Supongamos que la columna que se multiplicó por el número
α fue la r-ésima, es decir
   
a11 · · · a1r · · · a1n a11 · · · αa1r · · · a1n
 a21 · · · a2r · · · a2n   a21 · · · αa2r · · · a2n 
A =  .. , B = ..  .
   
.. ..   .. ..
 . ··· . .   . ··· . . 
an1 · · · anr · · · ann an1 · · · αanr · · · ann

Angel Lara, Isidro Morales

[Link] 49

Observemos que los menores de A y B cumplen que B(1|r) = A(1|r) y para j ̸= r, B(1|j) se
obtiene de A(1|j) multiplicando una columna por α. Como A(1|j) ∈ M(n−1)×(n−1) (R), podemos
aplicar la hipótesis de inducción en cada una de las A(1|j), para j ̸= r. Ası́

n
X
(−1)j+1 b1j Det B(1|j)


Det (B) =
j=1
X
(−1)j+1 b1j Det B(1|j) + (−1)r+1 b1r Det B(1|r)



=
j̸=r
X
(−1)j+1 a1j α Det A(1|j) + (−1)r+1 αa1r Det A(1|r)



=
j̸=r
Xn
(−1)j+1 a1j Det A(1|j)


=α
j=1
= α Det (A).

Esto quiere decir que el resultado es válido para n. Por inducción matemática se sigue que la
propiedad es válida para todo n ∈ N.

Corolario 3.2.5. Sea A ∈ Mn×n (R) una matriz que tiene una columna nula (columna de puros
ceros), entonces Det (A) = 0.

Demostración. Supongamos que la matriz A tiene la columna r-ésima nula. Si multiplicamos

α > 1 a la r-ésima columna de A queda la misma matriz A. Por el teorema anterior tenemos
Det (A) = α Det (A), y esto pasa sólo si Det (A) = 0.

Teorema 3.2.6. Sea n ≥ 2 y A ∈ Mn×n (R) una matriz que tiene dos columnas consecutivas
iguales, entonces Det (A) = 0.

Demostración. La demostración será por inducción matemática. Para n = 2 tenemos

 
a11 a11
Det = a11 a21 − a21 a11 = 0.
a21 a21

Supongamos válido el resultado para n−1. Queremos demostrar la propiedad para n. Supongamos
que las columnas que son iguales son la r-ésima y la (r + 1)-ésima.
 
a11 · · · a1r a1r · · · a1n
 a21 · · · a2r a2r · · · a2n 
A =  .. ..  .
 
.. ..
 . . . . 
an1 · · · anr anr · · · ann

En este caso todas las matrices A(1|j) ∈ M(n−1)×(n−1) (R), para j ∈ / {r, r + 1}, tienen dos
columnas consecutivas iguales (las cuales son las azules sin los términos a1r ), además se cumple

Angel Lara, Isidro Morales

 50 CAPÍTULO 3. Sistemas de ecuaciones lineales

la igualdad A(1|r) = A(1|r + 1). Por lo cual

n
X
(−1)j+1 a1j Det A(1|j)


Det (A) =
j=1
X
(−1)j+1 a1j Det A(1|j) +


=
j ∈{r,r+1}
/

(−1)r+1 a1r Det A(1|r) + (−1)r+2 a1(r+1) Det A(1|r + 1)

X
(−1)j+1 a1j Det A(1|j) +


=
j ∈{r,r+1}
/

(−1)r+1 a1r Det A(1|r) + (−1)r+2 a1r Det A(1|r)

= 0 + (−1)r − a1r Det A(1|r) + a1r Det A(1|r)





= 0.

Esto quiere decir que el resultado es válido para n. Por inducción matemática se sigue que la
propiedad es válida para todo n ∈ N.

Teorema 3.2.7. Sea n ≥ 2 y A ∈ Mn×n (R) una matriz. Supongamos que la matriz B se
obtiene de A intercambiando dos columnas consecutivas. Entonces Det (B) = − Det (A).

Demostración. La demostración será por inducción matemática. Para n = 2 tenemos

 
a12 a11
Det (B) = Det = a12 a21 − a22 a11 = −(a11 a22 − a21 a12 ) = − Det (A).
a22 a21

Supongamos válido el resultado para n−1. Queremos demostrar la propiedad para n. Supongamos
que B resulta de A intercambiando las columnas r-ésima y la (r + 1)-ésima.

   
a11 · · · a1r a1(r+1) · · · a1n a11 · · · a1(r+1) a1r · · · a1n
 a21 · · · a2r a2(r+1) · · · a2n   a21 · · · a2(r+1) a2r · · · a2n 
A =  .. ..  , B =  .. ..  .
   
.. .. .. ..
 . . . .   . . . . 
an1 · · · anr an(r+1) · · · ann an1 · · · an(r+1) anr · · · ann

En este caso las matrices B(1|j) ∈ M(n−1)×(n−1) (R), para j ∈/
{r, r + 1}, se obtienen

de
A intercambiando dos filas consecutivas, por lo que Det B(1|j) = − Det A(1|j) , además
B(1|r) = A(1|r + 1) y B(1|r + 1) = A(1|r). De esto

Angel Lara, Isidro Morales

[Link] 51

n
X
(−1)j+1 b1j Det B(1|j)


Det (B) =
j=1
X
(−1)j+1 b1j Det B(1|j) +


=
j ∈{r,r+1}
/

(−1)r+1 b1r Det B(1|r) + (−1)r+2 b1(r+1) Det B(1|r + 1)

X
(−1)j+1 a1j − Det A(1|j) +


=
j ∈{r,r+1}
/

(−1)r+1 a1(r+1) Det A(1|r + 1) + (−1)r+2 a1r Det A(1|r)

X
(−1)j+1 a1j − Det A(1|j) +


=
j ∈{r,r+1}
/

−(−1)r+1 a1r Det A(1|r) −(−1)r+2 a1(r+1) Det A(1|r + 1)

Xn
(−1)j+1 a1j Det A(1|j)


=−
j=1
= − Det (A).
Esto quiere decir que el resultado es válido para n. Por inducción se sigue que la propiedad es
válida para todo n ∈ N.
Lo que queremos ahora es genralizar un poco el teorema anterior.
Teorema 3.2.8. Sea n ≥ 2 y A ∈ Mn×n (R) una matriz. Supongamos que la matriz B se
obtiene de A intercambiando dos columnas cualesquiera. Entonces Det (B) = − Det (A).
Demostración. Supongamos que las columnas que se intercambian son la r-ésima y la p-ésima,
donde r < p. Vamos a aplicar el teorema 3.2.7 varias veces. Intercambiamos la columna r-ésima
con la (r + 1)-ésima, después la (r + 1)-ésima con la (r + 2)-ésima, ası́ hasta llegar a la p-ésima.
El total de cambios son p − r, y cada cambio arroja un −1, por lo cual si denotamos por C a
esa matriz resultante, se tiene
Det (C) = (−1)p−r Det (A).
Del paso anterior, la columna p-ésima en la matriz C se encuentra ahora en la posición p − 1,
por lo que para regresar la columna a la posición r-ésima se necesitan p − r − 1 cambios, por
lo que
Det (B) = (−1)p−r−1 Det (C) = (−1)p−r−1 (−1)p−r Det (A) = − Det (A).

Teorema 3.2.9. Sea n ≥ 2 y A ∈ Mn×n (R) una matriz que tiene dos columnas iguales, entonces
Det (A) = 0.
Demostración. Supongamos que las columnas iguales son la r-ésima y la p-ésima, donde tomamos
r < p. Denotemos por B a la matriz que resulta de la matriz A intercambiando la fila r-ésima
con la fila (p − 1)-ésima. Por el teorema 3.2.8 tenemos que Det (B) = − Det (A). Pero como la
matriz B tiene dos columnas consecutivas iguales, del teorema 3.2.6 se tiene que Det (B) = 0.
Ası́ Det (A) = 0.

Angel Lara, Isidro Morales

 52 CAPÍTULO 3. Sistemas de ecuaciones lineales

Teorema 3.2.10. Sea n ≥ 2, A ∈ Mn×n (R) y C ∈ Mn×1 (R) una matriz columna. Supongamos
que la matriz B se obtiene de A sumándole C a una columna, y la matriz E se obtiene de A
sustituyendo C exactamente en el lugar que se suma la columna de la matriz B. Entonces

Det (B) = Det (A) + Det (E).

Demostración. La demostración será por inducción matemática. Para n = 2 tenemos dos casos,
el primero es cuando
     
a11 a12 a11 + c11 a12 c11 a12
A= , B= y E= ,
a21 a22 a21 + c21 a22 c21 a22

entonces
 
a11 + c11 a12
Det (B) = Det
a21 + c21 a22
= (a11 + c11 )a22 − (a21 + c21 )a12
= a11 a22 − a21 a12 + (c11 a22 − c21 a12 ) = Det (A) + Det (E).

El segundo caso es cuando

     
a11 a12 a11 a12 + c11 a11 c11
A= , B= y E= ,
a21 a22 a21 a22 + c21 a21 c21

entonces
 
a11 a12 + c11
Det (B) = Det
a21 a22 + c21
= a11 (a22 + c21 ) − a21 (a12 + c11 )
= a11 a22 − a21 a12 + (a11 c21 − a21 c11 ) = Det (A) + Det (E).

Supongamos válido el resultado para n − 1. Queremos demostrar el resultado para n.

Supongamos que el cambio que se hace en las matrices B y E son en la columna r-ésima
 
a11 · · · a1r · · · a1n
 a21 · · · a2r · · · a2n 
A =  .. ..  .
 
..
 . . . 
an1 · · · anr · · · ann

y
   
a11 · · · a1r + c11 · · · a1n a11 · · · c11 · · · a1n
 a21 · · · a2r + c21 · · · a2n   a21 · · · c21 · · · a2n 
B =  .. ..  , E =  .. ..  .
   
.. ..
 . . .   . . . 
an1 · · · anr + cn1 · · · ann an1 · · · cn1 · · · ann




Observemos que por la hipótesis de inducción Det B(1|j) = Det A(1|j) + Det E(1|j) ,

Angel Lara, Isidro Morales

[Link] 53

para j ̸= r. Además Det B(1|r) = Det A(1|r) , por lo cual
n
X
(−1)j+1 b1j Det B(1|j)


Det (B) =
j=1
X
(−1)j+1 b1j Det B(1|j) + (−1)r+1 b1r Det B(1|r)



=
j̸=r
X
(−1)j+1 a1j Det A(1|j) + Det E(1|j) + (−1)r+1 (a1r + c11 ) Det A(1|r)




=
j̸=r
X n

X
(−1)j+1 a1j Det A(1|j) + (−1)j+1 e1j Det E(1|j) + (−1)r+1 c11 Det A(1|r)



=
j=1 j̸=r
Xn X n
(−1)j+1 a1j Det A(1|j) + (−1)j+1 e1j Det E(1|j)



=
j=1 j=1
= Det (A) + Det (E).

Esto quiere decir que el resultado es válido para n. Por inducción se sigue que la propiedad es
válida para todo n ∈ N.

Corolario 3.2.11. Sea α ∈ R y A ∈ Mn×n (R) una matriz. Supongamos que la matriz B resulta
de A intercambiando una columna por α veces otra columna más la misma columna, entonces
Det (B) = Det (A).

Demostración. Sean 1 ≤ r < p ≤ n, y de acuerdo a la hipótesis definamos

   
a11 · · · a1r · · · a1p · · · a1n a11 · · · a1r · · · a1p + αa1r · · · a1n
 a21 · · · a2r · · · a2p · · · a2n   a21 · · · a2r · · · a2p + αa2r · · · a2n 
A =  .. ..  , B =  .. ..  .
   
.. .. .. ..
 . . . .   . . . . 
an1 · · · anr · · · anp · · · ann an1 · · · anr · · · anp + αanr · · · ann

La matriz B se obtiene de A sumando una columna en la posición p. Por el teorema 3.2.10

Det (B) = Det (A) + Det (E), donde
 
a11 · · · a1r · · · αa1r · · · a1n
 a21 · · · a2r · · · αa2r · · · a2n 
E =  .. ..  .
 
.. ..
 . . . . 
an1 · · · anr · · · αanr · · · ann

Del teorema 3.2.4 tenemos que Det (E) = α Det (D), donde
 
a11 · · · a1r · · · a1r · · · a1n
 a21 · · · a2r · · · a2r · · · a2n 
D =  .. ..  .
 
.. ..
 . . . . 
an1 · · · anr · · · anr · · · ann

Como D tiene dos columnas iguales, del teorema 3.2.9 Det (D) = 0. Ası́ Det (B) = Det (A).

Angel Lara, Isidro Morales

 54 CAPÍTULO 3. Sistemas de ecuaciones lineales

A pesar de que hemos dados varios resultados del determinante y las operaciones con
matrices, hay dos propiedades que todavı́a no podemos demostrar, pues se necesita teorı́a un
poco más general que el lector verá en su curso de álgebra lineal II. Sin embargo, usaremos tal
resultado e ilustraremos el caso para matrices 2 × 2.
Teorema 3.2.12. Sean A, B ∈ Mn×n (R) dos matrices, entonces
1. Det (At ) = Det (A).

2. Det (AB) = Det (A) Det (B).

   
a11 a12 b11 b12
Ejemplo 3.2.13. Sean A = yB= , tenemos que
a21 a22 b21 b22
   
t a11 a21 a11 b11 + a12 b21 a11 b12 + a12 b22
A = y AB = .
a12 a22 a21 b11 + a22 b21 a21 b12 + a22 b22

Por lo cual
Det (At ) = a11 a22 − a12 a21 = a11 a22 − a21 a12 = Det (A)
y

Det (AB) = (a11 b11 + a12 b21 )(a21 b12 + a22 b22 ) − (a21 b11 + a22 b21 )(a11 b12 + a12 b22 )
= a11 b11 a21 b12 + a11 b11 a22 b22 + a12 b21 a21 b12 + a12 b21 a22 b22
−a21 b11 a11 b12 − a21 b11 a12 b22 − a22 b21 a11 b12 − a22 b21 a12 b22
= a11 b11 a22 b22 + a12 b21 a21 b12 − a21 b11 a12 b22 − a22 b21 a11 b12
= a11 b11 a22 b22 − a22 b21 a11 b12 + a12 b21 a21 b12 − a21 b11 a12 b22
= a11 a22 (b11 b22 − b21 b12 ) − a21 a12 (b11 b22 − b21 b12 )
= (a11 a22 − a21 a12 )(b11 a22 − b21 a12 )
= Det (A) Det (B).

El inciso uno del teorema 3.2.12 tiene muchas consecuencias, pues al cumplirse la igualdad
Det (At ) = Det (A), cada propiedad que se tenı́a por filas, se puede pasar automaticamente a las
columnas. En particular los teoremas 3.2.8, 3.2.9, 3.2.10 y el corolario 3.2.11 son válidos también
por columnas. El teorema anterior dice que el desarrollo que se hacı́a para el determinante por
filas, también se puede hacer por columnas.
n
X
(−1)i+1 ai1 Det A(i|1) .


Teorema 3.2.14. Sea A ∈ Mn×n (R), entonces Det (A) =
i=1

Demostración. Del teorema 3.2.12 y de la definición de la transpuesta tenemos

n
X n
t

X
(−1)j+1 at1j t
(−1)j+1 aj1 Det A(j|1) .


Det (A) = Det (A ) = Det A (1|j) =
j=1 j=1

Ahora veremos que el desarrollo del determinante también se puede hace para cualquier fila,
no sólo para la primera.

Angel Lara, Isidro Morales

[Link] 55

n
X
(−1)j+i aij Det A(i|j) .


Teorema 3.2.15. Sea A ∈ Mn×n (R), entonces Det (A) =
j=1

Demostración. Para llevar la fila i a la posición 1 se necesitan i−1 cambios de filas consecutivas.
Denotemos por B a la matriz que resulta de A al realizar estos i − 1 intercambios de filas.

··· ···

a11 a12 a1n
 
ai1 ai2 ain

1→ 1→
 a21 a22 ··· a2n   a11 a12 ··· a1n 
 .. .. ..  
a21 a22 ··· a2n

. . .
   
   .. .. .. 
 a(i−1)1 a(i−1)2 · · · a(i−1)n . . .
   
A= , B= ,
  
ai1 ai2 ··· ain i→  a(i−1)1 a(i−1)2 · · · a(i−1)n
 
i→   
 a(i+1)1 a(i+1)2 · · · a(i+1)n  a(i+1)1 a(i+1)2 · · · a(i+1)n
   
 
 .. .. ..   .. .. .. 
 . . .   . . . 
an1 an2 ··· ann an1 an2 ··· ann

tenemos pues que Det (B) = (−1)i−1 Det (A) y

n
X n
j+1

X
(−1)j+1 aij Det A(i|j) .


Det (B) = (−1) b1j Det B(1|j) =
j=1 j=1

Por lo tanto
n
X
Det (A) = (−1)i−1 Det (B) = (−1)i−1 (−1)j+1 aij Det A(i|j)


j=1
n
X
(−1)j+i aij Det A(i|j) .


=
j=1

Ejemplo 3.2.16 (Matriz de Vandermonde). Sean x1 , x2 , . . . , xn números reales, la matriz

de Vandermonde se define como
 
1 x1 x21 · · · xn−1
1
1 x2 x2 · · · xn−1 
 2 2 
1 x3 x2 · · · xn−1 
An =  3 3 .
 .. .. .. .. 
. . . . 
2 n−1
1 xn xn · · · xn

Observe que An ∈ Mn×n (R). El punto de este ejemplo es demostrar que

Y
Det (An ) = (xj − xi ). (3.12)
1≤i<j≤n


1 x1
Observe que A1 = 1 y que A2 = , por lo cual Det (A1 ) = 1 y Det (A2 ) = x2 − x1 .
1 x2
Veamos ahora el caso n = 3 para entender la expresión 3.12 y ver como será el paso inductivo.

Angel Lara, Isidro Morales

 56 CAPÍTULO 3. Sistemas de ecuaciones lineales

Consideremos pues
 
1 x1 x21
A3 = 1 x2 x22  .
1 x3 x23

Multiplicamos la segunda columna de A1 por x3 y la restamos a la tercera columna de A3 , por

el corolario 3.2.11 el determinante no cambia
     
1 x1 x21 1 x1 x21 − x1 x3 1 x1 x21 − x1 x3
2
Det (A3 ) = Det 1 x2 x2 = Det 1
  x2 x22 − x2 x3  = Det 1 x2 x22 − x2 x3  .
1 x3 x23 1 x3 x23 − x23 1 x3 0

Multiplicamos ahora la primera columna de la última matriz por x3 y la restamos a la segunda

columna para tener
     
1 x1 x21 − x1 x3 1 x1 − x3 x21 − x1 x3 1 x1 − x3 x1 (x1 − x3 )
Det 1 x2 x22 − x2 x3  = Det 1 x2 − x3 x22 − x2 x3  = Det 1 x2 − x3 x2 (x2 − x3 ) .
1 x3 0 1 x3 − x3 0 1 0 0

El desarrollo de este último determiante lo hacemos por la última fila

 
1 x1 − x3 x1 (x1 − x3 )  
3+1 x 1 − x 3 x 1 (x 1 − x 3 )
Det 1 x2 − x3 x2 (x2 − x3 ) = (−1) Det .
x2 − x3 x2 (x2 − x3 )
1 0 0

Usamos ahora el teorema 3.2.4 para sacar del determinante a x1 − x3 de la primera fila y x2 − x3
de la segunda fila
   
x1 − x3 x1 (x1 − x3 ) 1 x1
Det = (x1 − x3 )(x2 − x3 ) Det
x2 − x3 x2 (x2 − x3 ) 1 x2
= (x1 − x3 )(x2 − x3 )(x2 − x1 ).

Esto quiere decir que Det (A3 ) = (x3 − x1 )(x3 − x2 )(x2 − x1 ).

Demostraremos 3.12 pon inducción matemática. El caso n = 1 ya se hizo, incluso comentamos
los casos n = 2 y n = 3. Supongamos cierta la fórmula 3.12 para n y comprobemos para n + 1.
En este caso  
1 x1 x21 · · · x1n−1 xn1
 1 x2
 x22 · · · x2n−1 xn2  
An+1 =  ... .. .. .. ..  .

. . . . 
2 n−1
xnn 
 
 1 xn xn · · · xn
n−1
1 xn+1 x2n+1 · · · xn+1 xnn+1

Recordemos que del corolario 3.2.11 las operaciones por filas no alteran el determinante. Vamos
a multiplicar la columna n por xn+1 y restarla a la columna n + 1, multiplicar la columna n − 1
por xn+1 y restarla a la columna n, multiplicar la columna n−2 por xn+1 y restarla a la columna
n − 1. Ası́ sucesivamente hasta multiplicar la columna 1 por xn+1 y restarla a la columna 2.

Angel Lara, Isidro Morales

[Link] 57

En este caso tenemos que

 
1 x1 − xn+1 x21 − x1 xn+1 · · · x1n−1 − x1n−2 xn+1 xn1 − xn−1 1 xn+1
1 x2 − xn+1 x2 − x2 xn+1 · · · xn−1 − xn−2 xn+1 xn − xn−1 xn+1 
 2 2 2 2 2 
Det (An+1 ) = Det  ... .. .. .. ..
 
. . . . 
2 n−1 n−2 n n−1
 
1 xn − xn+1 xn − xn xn+1 · · · xn − xn xn+1 xn − xn xn+1 
1 xn+1 − xn+1 x2n+1 − x2n+1 · · · xn−1 n+1 − xn+1
n−1
xnn+1 − xnn+1
 
1 x1 − xn+1 x21 − x1 xn+1 · · · xn−1 1 − x n−2
1 x n+1 1 x n
− x n−1
1 x n+1
1 x2 − xn+1 x2 − x2 xn+1 · · · xn−1 − xn−2 xn+1 xn − xn−1 xn+1 
 2 2 2 2 2 
= Det  ... .. .. .. ..
 
. . . . 
2 n−1 n−2 n n−1
 
1 xn − xn+1 xn − xn xn+1 · · · xn − xn xn+1 xn − xn xn+1 
1 0 0 ··· 0 0
 
x1 − xn+1 x21 − x1 xn+1 · · · xn−1
1 − x n−2
1 x n+1 x n
1 − x n−1
1 x n+1
 x2 − xn+1 x2 − x2 xn+1 · · · xn−1 − xn−2 xn+1 xn − xn−1 xn+1 
2 2 2 2 2
= (−1)n+2 Det 
 
.. .. .. .. 
 . . . . 
2 n−1 n−2 n n−1
xn − xn+1 xn − xn xn+1 · · · xn − xn xn+1 xn − xn xn+1
 
x1 − xn+1 x1 (x1 − xn+1 ) · · · x1n−2 (x1 − xn+1 ) x1n−1 (x1 − xn+1 )
 x2 − xn+1 x2 (x2 − xn+1 ) · · · xn−2 (x2 − xn+1 ) xn−1 (x2 − xn+1 ) 
n+2 2 2
= (−1) Det  .
 
.. .. .. ..
 . . . . 
xn − xn+1 xn (xn − xn+1 ) · · · xnn−2 (xn − xn+1 ) xnn−1 (xn − xn+1 )

En la última matriz podemos sacar los factores (x1 − xn+1 ), . . . , (xn − xn+1 ) para tener
 
1 x1 x21 · · · x1n−1
 1 x2 x2 · · ·
 2 x2n−1 

n+2  1 x3 x2 · · ·
Det (An+1 ) = (−1) (x1 − xn+1 ) · · · (xn − xn+1 ) Det  3 x3n−1 

 .. .. .. .. 
. . . . 
1 xn x2n · · · xnn−1

= (−1)n+2 (−1)n (xn+1 − x1 ) · · · (xn+1 − xn ) Det (An )

Y
= (xn+1 − x1 ) · · · (xn+1 − xn ) (xj − xi )
1≤i<j≤n
Y
= (xj − xi ).
1≤i<j≤n+1

Definición 3.2.17. Sea A ∈ Mn×n (R). Se define la matriz de cofactores A

e = (e
aij ), donde

aij = (−1)j+i Det A(i|j) .

e

La matriz adjunta de A se define como A∗ = A et . Es decir, las entradas de la matriz A∗ son

a∗ij = (−1)i+j Det A(j|i) .

Teorema 3.2.18. Sea A ∈ Mn×n (R), entonces AA∗ = Det (A)In y A∗ A = Det (A)In .

Angel Lara, Isidro Morales

 58 CAPÍTULO 3. Sistemas de ecuaciones lineales

Demostración. Sea C = AA∗ , entonces

n
X n
X n

X
aik a∗kj k+j
(−1)k+j aik Det A(j|k) .


cij = = aik (−1) Det A(j|k) =
k=1 k=1 k=1

Sea i ̸= j. Denotemos por B a la matriz que resulta de A sustituyendo el renglón j-ésimo por
el i-ésimo.
 
a11 a12 ··· a1n
 .. .. .. 
 . . . 
i→  ai1 ai2 · · · ain 
 
 . .. .. 
B=  ..
 . . .
j→  ai1
 ai2 · · · ain  
 . .. .. 
 .. . . 
an1 an2 · · · ann
Como la matriz B tiene dos filas iguales, del teorema 3.2.9 tenemos que Det (B) = 0. Al
desarrollar el determinante de B por la fila j-ésima se tiene
n
X n

X
(−1)k+j bjk Det B(j|k) = (−1)k+j aik Det A(j|k) = cij ,


0 = Det (B) =
k=1 k=1

es decir cij = 0 para i ̸= j. Si i = j tenemos que

n
X
(−1)k+i aik Det A(i|k) = Det (A).


cij = cii =
k=1

Ası́  
Det (A) 0 ··· 0
 0 Det (A) · ·· 0 
AA∗ = C =   = Det (A)In .
 
.. .. ..
 . . . 
0 0 ··· Det (A)
Para la otra igualdad denotemos ahora C = A∗ A, se tiene
n
X n
X
a∗ik akj (−1)i+k Det A(k|i) akj .


cij = =
k=1 k=1

Para i ̸= j, sea B la matriz que se obtiene de A sustituyendo la columna i-ésima por la columna
j-ésima
i j
 ↓ ↓ 
a11 · · · a1j · · · a1j · · · a1n
 a21 · · · a2j · · · a2j · · · a2n 
B=  .
 
.. .. .. ..
 . . . . 
an1 · · · anj · · · anj · · · ann

Angel Lara, Isidro Morales

[Link] por bloques 59

Como B tiene dos columnas iguales, su determinante vale cero. Al desarrollar Det (B) por la
columna i-ésima tenemos
n
X n
i+k

X
(−1)i+k akj Det A(k|i) = cij .


0 = Det (B) = (−1) bki Det B(k|i) =
k=1 k=1

Si i = j tenemos que
n
X
(−1)i+k aki Det A(k|i) = Det (A).


cii =
k=1

Ası́  
Det (A) 0 ··· 0
 0 Det (A) · · · 0 
A∗ A = C =   = Det (A)In .
 
.. .. ..
 . . . 
0 0 ··· Det (A)

Corolario 3.2.19. Sea A ∈ Mn×n (R), una matriz tal que Det (A) ̸= 0. Entonces A es invertible
1
y A−1 = A∗ .
Det (A)
Demostración. Del teorema anterior sabemos que A∗ A = AA∗ = Det (A)In , por cual del
teorema 3.1.12 tenemos que
   
1 ∗ 1 ∗ 1 ∗ 1
A A= A A = In y A A = AA∗ = In .
Det (A) Det (A) Det (A) Det (A)

escribir ejemplo de matrices 2 por 2

3.3. Matrices por bloques

Sea A ∈ Mm×n (R), en ocasiones es importante “seccionar” la matriz por bloques para
extraer propiedades de la misma. Supongamos que m ≥ 2 y n ≥ 2, y sean m1 , m2 , n1 , n2 ∈ N
tales que
m = m1 + m2 y n = n1 + n2 .
Puesto que
··· ···
 
a11 a1n1 a1(n1 +1) a1n
.. .. .. ..
. . . .
 
 
 am1 1 ··· am1 n1 am1 (n1 +1) ··· am 1 n 
 
A= ,
a(m1 +1)1 · · · a(m1 +1)n1 a(m1 +1)(n1 +1) · · · a(m1 +1)n 
 .. .. .. .. 
 . . . . 
am1 ··· amn1 am(n1 +1) ··· amn
entonces si definimos las matrices

A11 ∈ Mm1 ×n1 (R), A12 ∈ Mm1 ×n2 (R), A21 ∈ Mm2 ×n1 (R), A22 ∈ Mm2 ×n2 (R),

Angel Lara, Isidro Morales

 60 CAPÍTULO 3. Sistemas de ecuaciones lineales

como    
a11 · · · a1n1 a1(n1 +1) · · · a1n
A11 =  ... ..  ,
A12 =  .. ..  ,
 
.  . . 
am1 1 · · · am1 n1 am1 (n1 +1) · · · am1 n
   
a(m1 +1)1 · · · a(m1 +1)n1 a(m1 +1)(n1 +1) · · · a(m1 +1)n
A21 = .. .. .. ..
,
A22 =  ,
   
. . . .
am1 ··· amn1 am(n1 +1) ··· amn
 
A11 A12
podemos expresar a la matriz A de la forma A = . A esta expresión se le llama
A21 A22
forma por bloques de A. Observe que la forma de representar los bloques no es única. Por
ejemplo, si  
−1 2 −2 0 1
 0 4 −8 5 0 
A=  1 1 −1 1 1  ,


7 2 0 6 −1
 
A11 A12
podemos escribir A = donde
A21 A22
       
−1 2 −2 0 1 1 1 −1 1 1
A11 = , A12 = , A21 = , A22 = ,
0 4 −8 5 0 7 2 0 6 −1
 
A11 A12
pero también se puede escribir A = donde
A21 A22
       
−1 2 −2 0 1 1 1 −1 1 1
A11 = , A12 = , A21 = , A22 = ,
0 4 −8 5 0 7 2 0 6 −1

Definición 3.3.1. Sea A ∈ Mm×n (R), una descomposición de A por bloques es la expresión
 
A11 A12 · · · A1k
A21 A22 · · · A2k 
A =  .. ..  ,
 
..
 . . . 
Ak1 Ak2 · · · Akk

donde Aij ∈ Mni ×mj (R), m1 + · · · + mk = m y n1 + · · · + nk = n.

No es mucho trabajo verificar que si A, B ∈ Mm×n (R) son dos matrices expresadas por
bloques y α ∈ R
   
A11 A12 · · · A1k B11 B12 · · · B1k
A21 A22 · · · A2k  B21 B22 · · · B2k 
A =  .. ..  , B =  .. ..  ,
   
.. ..
 . . .   . . . 
Ak1 Ak2 · · · Akk Bk1 Bk2 · · · Bkk

Angel Lara, Isidro Morales

[Link] por bloques 61

entonces
   
αA11 αA12 · · · αA1k A11 + B11 A12 + B12 · · · A1k + B1k
αA21 αA22 · · · αA2k   A21 + B21 A22 + B21 · · · A2k + B2k 
αA =  .. ..  , A+B =
   
.. .. .. .. 
 . . .   . . . 
αAk1 αAk2 · · · αAkk Ak1 + Bk1 Ak2 + Bk2 · · · Akk + Bkk

En esta parte trabajaremos con resultados de productos de matrices por bloques. Para los
fines de estas notas es suficiente trabajar con descomposiciones de tamaño 2 × 2.

Teorema 3.3.2.  Sean A  ∈ Mm×n (R)

 y B ∈ Mm×p (R) dos matrices expresadas por bloques de
A11 A12 B11 B12
la forma A = yB = , donde Aij ∈ Mmi ×nj (R) y Bjl ∈ Mnj ×pl (R),
A21 A22 B21 B22
para j, i, l ∈ {1, 2}. Entonces
 
A11 B11 + A12 B21 A11 B12 + A12 B22
AB =
A21 B11 + A22 B21 A21 B12 + A22 B22

Demostración. Antes de la demostración hacemos algunos comentarios. Para empezar note que
las multiplicaciones y suma de matrices de los bloques del producto tienen sentido, pues como
Aij ∈ Mmi ×nj (R) y Bjl ∈ Mnj ×pl (R), entonces Aij Bjl ∈ Mmi ×pl (R). Las expresiones de A y B
son
··· ···
 
a11 a1n1 a1(n1 +1) a1n
.. .. .. ..
. . . .
 
 
 am1 1 ··· am1 n1 am1 (n1 +1) ··· am 1 n 
 
A= ,
a(m1 +1)1 · · · a(m1 +1)n1 a(m1 +1)(n1 +1) · · · a(m1 +1)n 
 .. .. .. .. 
 . . . . 
am1 ··· amn1 am(n1 +1) ··· amn
y
··· ···
 
b11 b1p1 b1(p1 +1) a1p
 .. .. .. .. 
 . . . . 
b · · · b b · · · b
 
B =  n1 1 n1 p1 n1 (p1 +1) m1 p 
.

b(n1 +1)1 · · · b(n1 +1)p1 b(n1 +1)(p1 +1) · · · a(n1 +1)p 
 . .. .. .. 
 .. . . . 
bn1 ··· bnp1 bn(p1 +1) ··· bnp
Aqui vamos a expresar las entradas de los bloques como (A11 )P ij , (B21 )ij , etc.
Sea C = AB, sabemos que las componentes de C son cij = nk=1 aik bkj . Para ver la igualdad
sólo se deben considerar los cuatro casos de los rangos donde se mueven i y j. Si 1 ≤ i ≤ m1 y
1 ≤ j ≤ p1 , tenemos que
n
X n1
X n
X
cij = aik bkj = aik bkj + aik bkj
k=1 k=1 k=n1 +1
Xn1 n
X
= (A11 )ik (B11 )kj + (A12 )ik (B21 )kj ,
k=1 k=n1 +1

Angel Lara, Isidro Morales

 62 CAPÍTULO 3. Sistemas de ecuaciones lineales

por lo que el bloque C11 de la matriz C es C11 = A11 B11 + A12 B21 . Si 1 ≤ i ≤ m1 y p1 ≤ j ≤ p,
tenemos que
n
X n1
X n
X
cij = aik bkj = aik bkj + aik bkj
k=1 k=1 k=n1 +1
Xn1 n
X
= (A11 )ik (B12 )kj + (A12 )ik (B22 )kj ,
k=1 k=n1 +1

por lo que el bloque C12 de la matriz C es C12 = A11 B12 + A12 B22 . Los otros dos casos son
análogos.
Para el siguiente resultado representaremos por 0 a la matriz cero, sin importar su tamaño
(el tamaño se debe de entender en el contexto).

 Sean p, q ∈ N y A ∈ M(p+q)×(p+q) (R) una

Proposición 3.3.3 (Complementos de Schur).
A11 A12
matriz por bloques de la forma A = , donde A11 ∈ Mp×p (R), A12 ∈ Mp×q (R),
A21 A22
A21 ∈ Mq×p (R) y A22 ∈ Mq×q (R).
1. Si A11 es invertible, entonces
Ip A−1
   
Ip 0 A11 0 11 A12
A= .
A21 A−1
11 Iq 0 A22 − A21 A−1
11 A12 0 Iq
A la matriz A22 − A21 A−1
11 A12 se le conoce como el complemento de Schur de A11 con
respecto a A.
2. Si A22 es invertible, entonces
Ip A12 A−1 A11 − A12 A−1
   
22 22 A21 0 Ip 0
A= .
0 Iq 0 A22 A−1
22 A21 Iq

A la matriz A11 − A12 A−1

22 A21 se le conoce como el complemento de Schur de A22 con
respecto a A.
Demostración. La demostración consiste en usar la regla del teorema 3.3.2. Para el inciso 1
tenemos primero que
    
Ip 0 A11 0 Ip A11 0
B= =
A21 A−1
11 Iq 0 A22 − A21 A−111 A12 A21 A−1 −1
11 A11 Iq A22 − A21 A11 A12
 
A11 0
= ,
A21 A22 − A21 A−1 11 A12

por lo cual
I A−1 A Ip A−1
    
A11 0 11 A12
B p 11 12 =
0 Iq A21 A22 − A21 A−111 A12 0 Iq
−1
 
A11 Ip A11 A11 A12
=
A21 Ip A21 A−1 A12 + (A22 − A21 A−111 A12 )Iq
  11
A11 A12
= = A.
A21 A22
El inciso 2 se hace de forma parecida.

Angel Lara, Isidro Morales

[Link] por bloques 63

Proposición 3.3.4 (Determinante por bloques). Sean  p, q ∈ N tales que p + q = n y

A11 0
A ∈ Mn×n (R) una matriz por bloques de la forma A = , donde A11 ∈ Mp×p (R),
A21 A22
0 ∈ Mp×q (R), A21 ∈ Mq×p (R) y A22 ∈ Mq×q (R). Entonces

Det (A) = Det (A11 ) Det (A22 ).

 
A11 0
Demostración. La demostración será por inducción. Si n = 2 tenemos que A = ,
A21 A22
donde los únicos bloques posibles son A11 = (a11 ), A21 = (a12 ), 0 = (0) y A22 = a22 . En este
caso el resultado es claro pues Det (A) = a11 a22 = Det (A11 ) Det (A22 ).
Supongamos válido el resultado para n − 1 y comprobemos
 para n. Sea pues A ∈ Mn×n (R)
A11 0
una matriz por bloques de la forma A = . Para j = 1, . . . , p se cumple que
A21 A22
 
A11 (1|j) 0
A(1|j) = ∈ M(n−1)×(n−1) (R),
A21 A22

por lo cual de la hipótesis de inducción

n
X
(−1)j+1 a1j Det A(1|j)


Det (A) =
j=1
p
X
(−1)j+1 a1j Det A11 (1|j) Det (A22 )


=
j=1
p
" #
X
(−1)j+1 a1j Det A11 (1|j) Det (A22 )


=
j=1
= Det (A11 ) Det (A22 ).

Esto justifica el paso n y con ello la igualdad del teorema para toda n ∈ N.

 p, q ∈ N tales que p + q = n y A ∈ Mn×n (R) una matriz por bloques

Teorema 3.3.5. Sean
A11 A12
de la forma A = , donde A11 ∈ Mp×p (R), A12 ∈ Mp×q (R), A21 ∈ Mq×p (R) y
A21 A22
A22 ∈ Mq×q (R).
(a) Si A22 es invertible entonces Det (A) = Det (A11 − A12 A−1
22 A21 ) det(A22 ).

(b) Si A11 es invertible entonces Det (A) = Det (A22 − A21 A−1
11 A12 ) det(A11 ).

Demostración. (a) Cuando la matriz A22 es invertible podemos aplicar la descomposición de

los complementos de Schur
Ip A12 A−1 A11 − A12 A−1
   
22 22 A21 0 Ip 0
A= .
0 Iq 0 A22 A−1
22 A21 Iq

Ip A12 A−1
   
22 Ip 0
Del teorema 3.3.4 el determinante de las matrices y son el
0 Iq A−1
22 A21 Iq
producto de los determinantes de su diagonal, el cual en este caso es uno por se la matriz

Angel Lara, Isidro Morales

 64 CAPÍTULO 3. Sistemas de ecuaciones lineales

identidad. Ası́ del teorema 3.3.4 tenemos

Ip A12 A−1 A11 − A12 A−1
   
22 22 A21 0 Ip 0
Det (E) = Det
0 Iq 0 A22 A−1
22 A21 Iq
−1 −1
     
Ip A12 A22 A11 − A12 A22 A21 0 Ip 0
= Det Det Det
0 Iq 0 A22 A−1
22 A21 Iq
= Det (A11 − A12 A−1
22 A21 ) det(A22 ).

(b) Es similar al (a), sólo que en este caso se usa la descomposición

Ip A−1
   
Ip 0 A11 0 11 A12
A= .
A21 A−111 Iq 0 A22 − A21 A−1 11 A12 0 Iq

Angel Lara, Isidro Morales

Capı́tulo 4

Los números complejos

Son muchas las versiones de la creación de los números complejos, creemos que se necesita
profundizar un poco más en las necesidades de algunas ramas de las matemáticas para poder
entender el por qué de su surgimiento. Geronimo Cardano introdujo la unidad imaginaria en
1545 para expresar las soluciones, aunque fueran imaginarias, de las ecuaciones de segundo
grado. Como es sabido, la fórmula cuadrática
√
−b ± b2 − 4ac
2a
describe las soluciones de la ecuación de segundo grado ax2 + bx + c = 0, pero esta fórmula
puede requerir√ obtener
√ raı́ces cuadradas de números negativos. Cardano notó que si se trabaja
con la regla −1 −1 = −1, entonces siempre se le podı́a dar solución a las ecuaciones de
segundo grado.
Fue hasta los trabajos de Casper Wessel (1797), Jean Robert Argan (1806), Karl Friedrich
Gauss (1831), Sir William R. Hamilton (1837), entre otros, que se clarificó el significado de los
números complejos y que no hay algún rasgo de imaginarios en ellos. En el siglo XIX el principe
de las matemáticas Karl Friedrich Gauss demostró en su tesis doctoral que todo polinomio con
coeficientes complejos tiene todas sus raı́ces en C (este resultado tan importante se conoce como
teorema fundamental del álgebra). Gauss fue el que introdujo la aritmética de los números
complejos.
Los números complejos son tan importantes que hay toda una rama para su estudio, el
“análisis complejo”. El inicio del análisis complejo fue en el siglo XIX, y fue desarrollado
principalmente por Augustin Cauchy. Porteriormente la teorı́a se hizo más rigurosa y fue
extendida por matemáticos como Peter Dirichlet, Karl Weierstrass y Bernhard Riemman.
De su curso de geometrı́a I, el lector conoce las propiedes de los vectores de R2 (de hecho por
su similitud de operarlos como números reales, se les maneja sin la “flechita” y con los mismos
sı́mbolos que R), algunas de estas propiedades se tendrá también para los números complejos.
En particular se usará el punto de vista geométrico para los complejos.
Con la experiencia que ya tiene el elctor de los números reales una cosa si es segura: lo que
hace a los números reales, ser los números reales, son sus propiedades de campo. Esto quiere
decir que cualquier conjunto que posea dos operaciones + y ·, y que cumpla con las propiedades
de campo, gozará de las mismas reglas y propiedades que se tienen en los números reales.
Recordamos al lector que la notación R2 hace referencia al producto cartesiano R × R, junto
con la suma de vectores y la multiplicación por escalar. En nuestro caso, trabajaremos sólo con

65
 66 CAPÍTULO 4. Los números complejos

el producto cartesiano
R × R = {(x, y) : x, y ∈ R}
y asignaremos unas nuevas operaciones. En algunos textos se escribe simplemente R2 , pero se
debe de tener cuidado de las operaciones que se están trabajando.

4.1. Definición de los números complejos

Definición 4.1.1. En R × R definimos dos operaciones + y · (suma y multiplicación) de la
siguiente forma: para (x1 , y1 ) ∈ R × R y (x2 , y2 ) ∈ R × R tenemos

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

(x1 , y1 ) · (x2 , y2 ) = (x1 x2 − y1 y2 , x1 y2 + y1 x2 ).

Observe que por definición, las operaciones + y · son cerradas en R × R.

La suma es razonable de entender, pero la multiplición parece un poco extraña. No obstante,

veremos que esta forma de definir la multiplicación es importante para demostrar el siguiente
resultado.

Teorema 4.1.2. El conjunto R × R junto con las operaciones + y ·, hacen de R × R un campo.

Demostración. Vamos a comprobar las 9 propiedades que definen un campo, las más sencillas
se dejarán como ejercicio al lector. Sean pues a = (x1 , y1 ), b = (x2 , y2 ) y c = (x2 , y2 ) tres
elementos de R × R.
2) De la sociatividad de los números reales


a + (b + c) = (x1 , y1 ) + (x2 , y2 ) + (x3 , y3 )
= (x1 , y1 ) + (x2 + x3 , y2 + y3 )


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


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


= (x1 , y1 ) + (x2 , y2 ) + (x3 , y3 ) = (a + b) + c.

3) Existe 0 = (0, 0) tal que

a + 0 = (x1 , y1 ) + (0, 0) = (x1 + 0, y1 + 0) = (x1 , y1 ) = a

0 + a = (0, 0) + (x1 , y1 ) = (0 + x1 , 0 + y1 ) = (x1 , y1 ) = a

4) Definamos −a = (−x1 , −x2 ), entonces

a + (−a) = (x1 − x1 , y1 − y1 ) = (0, 0) = 0

(−a) + a = (−x1 + x1 , −y1 + y1 ) = (0, 0) = 0

Angel Lara, Isidro Morales

[Link]́n de los números complejos 67

6) De la asociatividad y distributividad de los números reales tenemos

a · (b · c) = (x1 , y1 ) · (x2 , y2 ) · (x3 , y3 )
= (x1 , y1 ) · (x2 x3 − y2 y3 , x2 y3 + y2 x3 )


= x1 (x2 x3 − y2 y3 ) − y1 (x2 y3 + y2 x3 ), x1 (x2 y3 + y2 x3 ) + y1 (x2 x3 − y2 y3 )


= x1 x2 x3 − x1 y2 y3 − y1 x2 y3 − y1 y2 x3 , x1 x2 y3 + x1 y2 x3 + y1 x2 x3 − y1 y2 y3


= (x1 x2 − y1 y2 )x3 − (x1 y2 + y1 x2 )y3 , (x1 x2 − y1 y2 )y3 + (x1 y2 + y1 x2 )x3 )
(x1 x2 − y1 y2 , x1 y2 + y1 x2 ) · (x3 , y3 )


(x1 , y1 ) · (x2 , y2 ) · (x3 , y3 ) = (a · b) · c
7) Existe 1 = (1, 0) tal que
a · 1 = (x1 , y1 ) · (1, 0) = (x1·1 − y1·0, x1·0 + 1·x2 ) = (x1 , y1 ) = a
1 · a = (1, 0) · (x1 , y1 ) = (1·x1 − 0·y1 , 1·y1 + 0·x1 ) = (x1 , y1 ) = a
8) Supongamos que a ̸= 0, por lo que x1 ̸= 0 o y1 ̸= 0 (note que esto equivale a que
x21 + y12 > 0). En este caso se debe de cumplir a · b = 1, lo cual implica que
x1 x2 − y1 y2 = 1,
x1 y2 + y1 x2 = 0.
Al multiplicar la primera ecuación por x1 y la segunda por y1 tenemos el sistema
x21 x2 − y1 y2 x1 = x1 ,
x1 y2 y1 + y12 x2 = 0.
Al sumar las ecuaciones lado con lado se tiene
x2 (x21 + y12 ) = x21 x2 + y12 x2 = x1 ,
 
x1 y1 x1 y1
por lo que x2 = 2 . De forma parecida y2 = − 2 . Ası́ b = ,− está
x1 + y12 x1 + y12 x21 + y12 x21 + y12
bien definido y cumple que a · b = 1.
9) Nuevamente, de las propiedades de los reales


a · (b + c) = (x1 , y1 ) · (x2 , y2 ) + (x3 , y3 )
= (x1 , y1 ) · (x2 + x3 , y2 + y3 )


= x1 (x2 + x3 ) − y1 (y2 + y3 ), x1 (y2 + y3 ) + y1 (x2 + x3 )


= (x1 x2 − y1 y2 ) + (x1 x3 − y1 y3 ), (x1 y2 + y1 x2 ) + (x1 y3 + y1 x3 )
= (x1 x2 − y1 y2 , x1 y2 + y1 x2 ) + (x1 x3 − y1 y3 , x1 y3 + y1 x3 )
= (x1 , y1 ) · (x2 , y2 ) + (x1 , y1 ) · (x3 , y3 )
= a·b+a·c

Como ya lo platicamos en la sección anterior, un campo es un grupo abeliano tanto con

la suma como con la multiplicación. Tenemos pues muchas propiedades,: unicidad de inversos,
elementos neutros, fórmulas de potencias, o cualquier fórmula que se tenga con números reales.

Angel Lara, Isidro Morales

 68 CAPÍTULO 4. Los números complejos

Definición 4.1.3. El campo de los números complejos se define como C = (R × R, +, ·). Se

denota además 1 = (1, 0) e i = (0, 1). Al elemento i se le llama la unidad imaginaria. Note
además que i2 = (−1, 0).
Observación 4.1.4. a) Si (x, y) ∈ C, entonces podemos escribir
(x, y) = (x, 0) + (y, 0)i. (4.1)
b) Definamos el conjunto X = {(x, 0) : x ∈ R} = R × {0} ⊂ R × R. Las operaciones que
definimos para los números complejos para elementos de X se ven como
(x, 0) + (y, 0) = (x + y, 0 + 0) = (x + y, 0)
y
(x, 0) · (y, 0) = (x·y − 0·0, x·0 + 0·y) = (xy, 0).
¿Al lector se le hace conocida esta forma de multiplicar y sumar? ¡Exactamente! como lo está
pensado, estas operaciones son básicamente sumar y multiplicar como números reales, sólo que
con las primeras componentes.
Las igualdades anteriores quieren decir que el conjunto X es un subcampo de C, y se tratan
como números reales. Formalmente no lo son, pero bajo una cierta “identificación” se pueden
tratar como tal. De esta forma escribimos x en vez de (x, 0). De la ecuación (4.1) al complejo
(x, y) se le puede representar como
(x, y) = x + yi. (4.2)
Por todo lo comentado anteriormente, los números complejos se pueden describir como
C = {x + yi : x, y ∈ R},
donde el número i (unidad imaginaria) cumple que i2 = −1. Anteriormente se comentó que la
razón de definir las propiedades de campo, es para tener las mismas propiedades y resultados
que se tenı́an para los números reales. La forma de operar el campo de los números complejos
es pues, análoga a los números reales, salvo con la condición de que i2 = −1. Al igual que los
reales, omitimos el sı́mbolo · en la multiplicación.
Ası́ como en los números reales se usa comunmente la letra x para representar un número
real, la letra z es común para representar un número complejos.
Si z = x1 + y1 i y w = x2 + y2 i son elementos de C, usando asociatividad, conmutatividad y
distributividad tenemos que
z + w = (x1 + y1 i) + (x2 + y2 i) = (x1 + x2 ) + (y1 + y2 )i
y
zw = (x1 + y1 i)(x2 + y2 i) = x1 x2 + x1 y2 i + y1 x2 i + y1 y2 i2
= (x1 x2 − y1 y2 ) + (x1 y2 + y1 x2 )i
que es exactamente la forma en como se definieron la suma y multiplicación de los números
complejos.
Como producto cartesiano, si (a, b) y (c, d) son elementos de R × R tenemos que
(a, b) = (c, d) ⇐⇒ a = c y b = d.
De esto tenemos que
x1 + y1 i = x2 + y2 i ⇐⇒ x1 = x2 y y 1 = y 2 .

Angel Lara, Isidro Morales

[Link]́n de los números complejos 69

Definición 4.1.5. Sea z = x + yi un número complejo. Al número x se le llama la parte real

de z y a y se le llama la parte imaginaria de z. Se denotan, respectivamente, como x = Re (z)
y y = Im (z). Observe que Re (z), Im (z) ∈ R.
Observe que si z w son números complejos, entonces z = w, si y sólo si, Re (z) = Re (w) e
Im (z) = Im (w).
Como ya platicamos, los números complejos son los elementos de R × R junto con las
operaciones + y ·. Es común representa a C en el plano, donde en el eje x se representa la parte
real del complejo z y en el eje y se representa la parte imaginaria de z. Este plano se llama el
plano complejo.
6Eje imaginario (Im)

yi ˆ x + yi

Eje real (Re)

-
x

Al igual que en R2 , la parte izquierda del eje real representa los número negativos y la parte
derecha los números positivos. De forma análoga se tiene la representación con el eje imaginario.
Cuando x = 0, queda z = yi. Este tipo de números complejos se les llama imaginarios
puros. En el caso cuando y = 0, se tiene z = x, y en este caso tenemos un número real.
Ejemplo 4.1.6. Consideremos los números complejos z = 2 + 3i, w = −1 + i, a = −4 y b = 5i.
Calcular z + w, w − a, zw, az y z/w. También calcule la parte real e imaginaria de cada uno
de los números encontrados.
Aquı́ simplemente realizamos el cálculo directo (o de igual forma se puede aplicar la definición
correspondiente a cada operación).

z+w = (2 + 3i) + (−1 + i) = (2 − 1) + (3 + 1)i = 1 + 4i.

w−a = (−1 + i) − (−4) = −1 + i + 4 = 3 + i
zw = (2 + 3i)(−1 + i) = −2 + 2i − 3i − 3 = −5 − i
az = (−4)(2 + 3i) = −8 − 12i
 
z −1 1 1 1 5
= (2 + 3i)(−1 + i) = (2 + 3i) − − i = − i
w 2 2 2 2
Para la parte real: Re (z) = 2, Re (w) = −1, Re (a) = −4, Re (b) = 0 y Re (z + w) =
1, Re (w − a) = 3, Re (zw) = −5, Re (az) = −8, Re (z/w) = −1/2.
Para la parte imaginaria: Im (z) = 3, Im (w) = 1, Im (a) = 0, Im (b) = 5 y Im (z + w) =
4, Im (w − a) = 1, Im (zw) = −1, Im (az) = −12, Im (z/w) = −5/2.
Además de la estructura algebraica de los números complejos, también se tiene la parte
geométrica. Esto no es de sorprender, pues los números complejos heredan gran parte de las
propiedades de R2 .

Angel Lara, Isidro Morales

 70 CAPÍTULO 4. Los números complejos

Definición 4.1.7. Sea z = x + yi un número complejo.

1. En conjugado de z, representado como z, se define como z = x − yi.

p
2. El módulo de z, se define como |z| = x2 + y 2 .

Veamos como se ve gráficamente el número complejo z comparado con z, y también como

se ve el módulo del complejo z.
Im
6

yi ˆ

z = x + yi

|z|  



Re


 -
x

ˆ z = x − yi

Note que si z lo escribimos como par ordenado (x, y), entonces el módulo de z coincide con
la norma del vector (x, y) ∈ R2 . Además si z es un número real (es decir Im (z) = 0) entonces
el módulo de z coincide con el valor absoluto usual. Veamos ahora algunas propiedades del
conjugado y módulo de números complejos.

Lema 4.1.8. Sean z, w ∈ C, entonces

1. z = z.

2. z + w = z + w.

3. z + z = 2 Re (z) y z − z = 2i Im (z).

4. z = z, si y sólo si z es real. z = −z, si y sólo si z es imaginario puro.

5. |z|2 = zz ≥ 0, y |z| = 0 si y sólo si z = 0.

6. |z| = |z|.

7. zw = z · w.

8. |zw| = |z||w|.
z
9. Si z ̸= 0, entonces z −1 = .
|z|2
z |z|
10. Si w ̸= 0 entonces = .
w |w|

Angel Lara, Isidro Morales

[Link]́n de los números complejos 71

Demostración. Sólo demostraremos los incisos que no sean tan claros. Aquı́ z = x + yi y
w = a + bi.
2) Como z + w = (x + a) + (y + b)i, entonces

z + w = (x + a) − (y + b)i = (x − yi) + (a − bi) = z + w.

3) z − z = (x + yi) − (x − yi) = 2yi = 2i Im (z).

4) z = −z, si y sólo si x + yi = −(x − yi), si y sólo si x = −x, si y sólo si x = 0, si y sólo si
z es imaginario puro.
5) zz = (x + yi)(x − yi) = x2 − y 2 i2 = x2 + y 2 = |z|2 . Además |z| = 0, si y sólo si
x + y 2 = zz = 0, si y sólo si x = 0 y y = 0, si y sólo si z = 0.
2

7) Tenemos que zw = (xa − yb) + (xb + ya)i, por lo que

zw = (xa − yb) − (xb + ya)i = (x − yi)(a − bi) = z · w.

8) |zw|2 = (zw)zw = (zz)(ww) = |z|2 |w|2 , al sacar raı́z cuadrada |zw| = |z||w|.
z
9) Como zz = |z|2 , entonces z 2 = 1. De la unicidad del inverso multiplicativo tenemos
|z|
z
que z −1 = 2 .
|z|
10) Tenemos directamente de los incisos 8 y 9

z w w |w| |w| |z|

= |zw−1 | = z 2 = |z| 2
= |z| 2 = |z| 2 = .
w |w| |w| |w| |w| |w|

Al igual que las propiedades básicas que se tienen con los números reales, el lema anterior
da algunas de las propiedades básicas que tenemos con el conjugado y el módulo de un número
complejo.
3 − 4i
Ejemplo 4.1.9. Exprese el cociente como un número complejo.
2 + 5i
Según el lema anterior
   
3 − 4i 2 − 5i 2 5
= (3 − 4i)(2 + 5i)−1 = (3 − 4i) = (3 − 4i) − i
2 + 5i 22 + 52 29 29

y al realizar el último producto

 
2 5 6 15 8 20 14 23
(3 − 4i) − i = − i− i− = − − i.
29 29 29 29 29 29 29 29

Como los números complejos forman un campo, podemos usar los mismos artificios que en R.
En este caso podemos multiplicar y dividir un número complejo que no sea cero

3 − 4i 3 − 4i 2 − 5i 6 − 15i − 8i − 20 −14 − 23i 14 23i

= · = 2
= =− − .
2 + 5i 2 + 5i 2 − 5i |2 − 5i| 29 29 29

Angel Lara, Isidro Morales

 72 CAPÍTULO 4. Los números complejos

Ejemplo 4.1.10. Sea z ∈ C tal que |z| = 1, entonces para todo a, b ∈ C tales que bz ̸= −a, se
cumple que
az + b
= 1.
bz + a
z
Sabemos que z −1 = 2 = z, por lo cual
|z|
az + b az + b 1 az + b az + b |az + b|
= = = = =1
bz + a −1
z(b + az ) z b + az −1 az + b |az + b|
Ejemplo 4.1.11. Demuestre que el conjunto
E = {z ∈ C : |z + 3 − 2i| + |z − 3 − 2i| = 10}
determina una elipse, y encontrar la ecuación canónica de la misma.
Demostración. Denotemos z = x + yi, entonces la ecuación que describe a E se puede escribir
como
|(x + 3) + (y − 2)i| + |(x − 3) + (y − 2)i| = 10
o equivalentemente
p p
(x + 3)2 + (y − 2)2 + (x − 3)2 + (y − 2)2 = 10.
Pasamos la segunda raı́z del lado derecho y elevamos al cuadrado
p
2 p
2
(x + 3)2 + (y − 2)2 = 10 − (x − 3)2 + (y − 2)2
lo que nos lleva a la igualdad
p
(x + 3)2 + (y − 2)2 = 100 − 20 (x − 3)2 + (y − 2)2 + (x − 3)2 + (y − 2)2 ,
y eso equivale a
p
12x = (6)(2x) = (x + 3)2 − (x − 3)2 = 100 − 20 (x − 3)2 + (y − 2)2
o p
3x = 25 − 5 (x − 3)2 + (y − 2)2 .
Nuevamente elevando al cuadrado
25 (x − 3)2 + (y − 2)2 = (25 − 3x)2 = 625 − 150x + 9x2
 

y desarrollando el primer término dentro del paréntesis

25 x2 − 6x + 9 + (y − 2)2 = 625 − 150x + 9x2
 

lo que se reduce a
16x2 + 25(y − 2)2 = 400
por lo tanto la ecuación de la elipse es
x2 (y − 2)2
+ = 1.
25 16

Angel Lara, Isidro Morales

[Link] polar de los números complejos 73

Proposición 4.1.12. Sean z y w dos números complejos, entonces

1. | Re z| ≤ |z| e | Im z| ≤ |z|.

2. |z + w| ≤ |z| + |w|.

3. máx{| Re z|, | Im z|} ≤ |z| ≤ | Re z| + | Im z|.

p
Demostración. 1) De forma directa se tiene | Re z| = |x| ≤ x2 + y 2 = |z|. La otra desigualdad
es completamente análoga.
2) Aplicamos algunos de los resultados del lema 4.1.8

|z + w|2 = (z + w)(z + w)
= zz + zw + wz + ww
= |z|2 + 2 Re (zw) + |w|2
≤ |z|2 + 2|zw| + |w|2
= |z|2 + 2|z||w| + |w|2 = (|z| + |w|)2

Al sacar raı́z cuadrada se tiene el resultado.

Ejemplo 4.1.13. Preguntar: |z − w| ≤ |z| − |w|, |z| = |z| y |z| = |z|

4.2. Forma polar de los números complejos

Ya vimos que un número complejo z es de la forma z = x + yi, con x, y ∈ R. A esta
expresión se le llama forma binómica o representación binómica del complejo z. Puesto
que los números complejos los podemos graficar en el plano complejo, entonces también se
pueden representar por medio de su “módulo” y “ángulo principal”.
Supongamos que z es un número complejo con z ̸= 0. Podemos expresar a z como
x y
z = |z|w, donde w = + i.
|z| |z|

Observe que |w| = 1, esto quiere decir que w está sobre la circunferencia con centro en (0, 0) y
radio 1. Por lo que sabemos de geometrı́a, podemos escribir a w de la forma w = cos θ + i sen θ,
para un cierto ángulo θ ∈ R.
Im
6

yi
ˆ z = x + yi

|z| 



Re


 θ -
x

Angel Lara, Isidro Morales

 74 CAPÍTULO 4. Los números complejos

De la periodicidad de las funciones seno y coseno, sabemos que hay infinitos valores θ ∈ R
que cumplen la igualdad w = cos θ + i sen θ. Definamos el conjunto

A = θ ∈ R : z = |z|(cos θ + i sen θ) .

Observemos que θ, α ∈ A, si y sólo si, cos θ = cos α y sen θ = sen α, si y sólo si α = θ + 2kπ,
para algún k ∈ Z. De entre todos los argumentos del número complejo z ̸= 0 hay sólo uno
que se encuentra en el intervalo semiabierto (−π, π], este valor se denota por arg (z). Para el
número complejo z = x + yi ̸= 0, se puede observar que


 arctan(y/x) − π si y < 0, x < 0
 arctan(y/x) + π si y ≥ 0, x < 0


arg(z) = −π/2 si y < 0, x = 0
π/2 si y > 0, x = 0




arctan(y/x) si x > 0


Veamos una forma equivalente de representar el argumento del complejo z. Primero, es claro
que |z| = − Re (z), si y sólo si z = x < 0. De lo anterior, si |z| =
̸ − Re (z) podemos definir el
número real  
Im (z)
α = 2 arctan .
|z| + Re (z)
Del rango de la arcotangente se cumple que α ∈ (−π, π). Además de la identidad del coseno y
la tangente del ángulo medio
Im (z)
2
2
1 − tan (α/2) 1 − |z|+ Re (z)
cos(α) = 2
= Im (z)
2
1 + tan (α/2) 1+ |z|+ Re (z)

(|z| + Re (z))2 − Im 2 (z)

=
(|z| + Re (z))2 + Im 2 (z)
Re (z)(2|z| + 2 Re (z)) Re (z)
= = = cos(arg(z))
2|z|(|z| + Re (z)) |z|
de forma parecida
2 Im (z)
2 tan(α/2) |z|+ Re (z)
sen(α) = 2
= Im (z)
2
1 + tan (α/2) 1 + |z|+ Re (z)
2 Im (z)(|z| + Re (z))
=
(|z| + Re (z))2 + Im 2 (z)
2 Im (z)(|z| + Re (z)) Im (z)
= = = sen(arg(z))
2|z|(|z| + Re (z)) |z|
Del dominio de definición del seno y coseno, y las dos igualdades de arriba necesariamente
α = arg(z). De lo anterior podemos expresar
  
Im (z)
2 arctan si |z| + Re (z) ̸= 0

arg(z) = |z| + Re (z)
π si |z| + Re (z) = 0


Angel Lara, Isidro Morales

[Link] polar de los números complejos 75

Definición 4.2.1. Sea z = x + yi un número complejo. A la expresión z = |z|(cos θ + i sen θ)

se le llama la forma polar del complejo z. Salvo que se especifique lo contrario, tomaremos
θ = arg(z).
Lema 4.2.2. Sean z y w dos números complejos representados en la forma polar

z = |z|(cos θ + i sen θ) y w = |w|(cos φ + i sen φ).

Se cumple lo siguiente:
 
1. zw = |z||w| cos(θ + φ) + i sen(θ + φ) .
z |z|  
2. Si w ̸= 0, entonces = cos(θ − φ) + i sen(θ − φ) .
w |w|
3. (Fórmula de De Moivre) Si n ∈ Z, entonces

z n = |z|n cos(nθ) + i sen(nθ) .

 

Demostración. 1) Hacemos el producto directo y usamos las identidades triginométricas de

suma de ángulos para el seno y coseno

zw = |z|(cos θ + i sen θ)|w|(cos φ + i sen φ)

 
= |z||w| (cos θ cos φ − sen θ sen φ) + i(sen θ cos φ + cos θ sen φ)
 
= |z||w| cos(θ + φ) + i sen(θ + φ) .

2) Primero veamos como se ve en foma polar el inverso multiplicativo de w

1
w−1 =
|w|(cos φ + i sen φ)
1 (cos φ − i sen φ)
= ·
|w|(cos φ + i sen φ) (cos φ − i sen φ)
= |w|−1 (cos(−φ) + i sen(−φ)). (4.3)

Basta ahora aplicar el inciso anterior.

3) Comprobaremos primero que la propiedad es cierta para para n ≥ 0, y para ello usamos
inducción matemática. Para n = 0 los dos lados de la igualdad son cero. Supongamos cierto
para n ∈ N0 , y veamos que se cumple la igualdad para n + 1. De la hipótesis de inducción y el
inciso 1) tenemos

z n+1 = z n · z = |z|n cos(nθ) + i sen(nθ) |z|(cos θ + i sen θ)

 

= |z|n+1 cos(nθ + θ) + i sen(nθ + θ)

 

= |z|n+1 cos (n + 1)θ + i sen (n + 1)θ .





Si ahora n < 0, de la igualdad (4.3) y lo hecho anteriormente

−n 
z n = (z −1 )−n = |z|−1 cos(−(−n)θ) + i sen(−(−n)θ = |z|n cos(nθ) + i sen(nθ) .
  

Angel Lara, Isidro Morales

 76 CAPÍTULO 4. Los números complejos

Ası́ como en los números reales tenemos raı́ces cuadradas (o en general raı́ces n-esimas),
queremos ver como es esa situación con los números complejos. Sean z y w dos número complejos
y n un número natural. representemos como antes
z = |z|(cos θ + i sen θ) y w = |w|(cos φ + i sen φ).
Dejemos fijo a z y veamos cómo debe ser w para que se verifique la igualdad wn = z. Por la
fórmula de De Moivre se debe cumplir que
|w|n cos(nφ) + i sen(nφ) = |z|(cos θ + i sen θ).
 
p
Esto implica que |w| = n |z| y nφ = θ + 2kπ, para algún k ∈ Z. Denotemos
θ + 2kπ
φk = , k ∈ Z.
n
Si w es un número complejo que cumplen la ecuación wn = z, entonces tiene que pertenecer al
conjunto n o
p
n
W = wk : wk = |z|(cos φk + i sen φk ), k ∈ Z .
θ + 2kπ
Si wk ∈ W, sabemos que φk = . Del algoritmo de Euclides existen q, r ∈ Z con
n
0 ≤ r < m, tales que k = qn + r. De esto
θ + 2kπ θ + 2(qn + r)π θ + 2rπ
φk = = = + 2qπ,
n n n
y por lo cual wk = wr . Veamos ahora que los números complejos w0 , w1 , . . . , wn−1 son todos
distintos. Sean r1 , r2 ∈ {0, 1, . . . , n − 1} y supongamos que wr1 = wr2 , entonces existe m ∈ Z
tal que
θ + 2r1 π θ + 2r2 π
φr1 = φr2 + 2mπ o equivalentemente = + 2mπ
n n
lo anterior implica que r1 − r2 = mn, por lo que n | (r1 − r2 ) y por lo tanto r1 = r2 .
Con todo el trabajo anterior hemos demostrado el siguente resultado.
Teorema 4.2.3 (Raı́ces de un número complejo). Sea z = |z|(cos θ + i sen θ) un número
complejo, existen exactamente n números complejos distintos que cumplen la ecuación wn = z.
Explı́citamente w0 , w1 . . . , wn−1 están dados por
    
p
n θ + 2kπ θ + 2kπ
wk = |z| cos + i sen , k = 0, 1, . . . , n − 1.
n n
Ejemplo 4.2.4 (Raı́ces de la unidad). Veamos como se ven las raices de la ecuación z n = 1.
En este caso
    
2kπ 2kπ
wk = cos + i sen , k = 0, 1, . . . , n − 1.
n n
Definamos u = cos( 2π n
) + i sen( 2π
n
), entonces por la fórmula de De Moivre wk = uk , para todo
k = 0, 1, . . . , n − 1. En este caso las raı́ces son
u0 , u1 , . . . , un−1 .
Definición 4.2.5 (Notación de Euler). Sea θ ∈ R un número real. Definimos
eiθ = cos θ + i sen θ.
Sean θ, φ ∈ R y n ∈ N. Note que de esta definición se cumplen las siguientes propiedades:

Angel Lara, Isidro Morales

[Link] polar de los números complejos 77

1. |eiθ | = 1. eiθ 5. (eiθ )n = einθ .

3. = ei(θ−φ) .
eiφ
2. eiθ eiφ = ei(θ+φ) . 4. eiθ = e−iθ . 6. (eiθ )−n = e−inθ .

Además si z ∈ C, y denotamos r = |z| y arg(z) = θ, se tiene que z = reiθ . De la fórmula

2π
de Moivre, se tiene también z n = rn einθ . Observe que de la definición 4.2.4 u = ei n .

Angel Lara, Isidro Morales

78 CAPÍTULO 4. Los números complejos

Angel Lara, Isidro Morales

Capı́tulo 5

Polinomios

En este capı́tulo estudiaremos al conjunto de los polinomios. El lector ya ha trabajado con los
polinomios en sus cursos básicos, por lo menos con los polinomios lineales y cuadráticos mx + b
y ax2 + bx + c. En dichos cursos los polinomios eran tratados como funciones, y como tales,
la forma de sumarlos y multiplicarlos eran con las propiedades que se tienen de los números
reales.

5.1. El anillo de los polinomios

Definición 5.1.1. Sea (A, +, ·) un anillo conmutativo con unidad 1. Un polinomio en “x”
con coeficientes en A, es una expresión de la forma
a0 + a1 x + · · · + an−1 xn−1 + an xn
donde n ∈ N y ai ∈ A para todo i = 0, 1, . . . , n. Al conjunto de polinomios en x con
coeficientes (los coeficientes son los elementos ai ) en A lo denotamos por A[x]. Los elementos
de A[x] se denotan en forma corta como p(x), q(x), h(x), etc. De lo anterior, si p(x) ∈ A[x],
entonces p(x) es de la forma
p(x) = a0 + a1 x + · · · + an−1 xn−1 + an xn .
Remarcamos el hecho de que en este caso x no es una variable, posteriormente veremos
como trabajar un polinomio como una función, y en ese caso x si será considerada como una
variable. En algunos textos es trabajada la notación
a0 + a1 X + · · · + an−1 X n−1 + an X n
para resaltar el hecho de que X no es variable, sino sólo un sı́mbolo (En algunos casos se trabaja
la expresión (a0 , a1 , . . . , an , 0, . . .) para denotar al polinomio a0 + a1 x + · · · + an−1 xn−1 + an xn ).
Queremos darle ahora una estructura algebraica al conjunto de los polinomios, y que mejor
que la forma en como el lector realizaba las operaciones de suma y multiplicación de polinomios
como funciones. Recordemos un poco tales operaciones, si p(x) = x2 −2 y q(x) = x3 +4x2 −8x+4,
entonces la suma y producto están dados por
p(x) + q(x) = (x2 − 2) + (x3 + 4x2 − 8x + 4)
= (0 + 1)x3 + (1 + 4)x2 + (0 − 8)x + (−2 + 4)
= x3 + 5x2 − 8x + 2

79
 80 CAPÍTULO 5. Polinomios

p(x)q(x) = (x2 − 2)(x3 + 4x2 − 8x + 4)

= x4 + 4x3 − 8x2 + 4x − 2x3 − 8x2 + 16x − 8
= x4 + 2x3 − 16x2 + 20x − 8,

Es decir, la suma de polinomios se realiza coeficiente a coeficiente, y la multiplicación es

multiplicar todos los términos de los polinomios. Para poder dar una estructura general de la
suma y producto, tenemos que tomar algunas consideraciones sobre los polinomios.
Definición 5.1.2. Sean

p(x) = a0 + a1 x + · · · + an−1 xn−1 + an xn

q(x) = b0 + b1 x + · · · + bm−1 xm−1 + bm xm

dos polinomios. Los polinomios p(x) y q(x) serán iguales si ai = bi , para todo i ≥ 0. Al
polinomio
0(x) = 0 + 0x + · · · + 0xn−1 + 0xn
se le llamará el polinomio cero (no importa el valor de n). De forma corta se escribirá
n
X
n−1 n
p(x) = a0 + a1 x + · · · + an−1 x + an x = ai x i
i=0
Xm
q(x) = b0 + b1 x + · · · + bm−1 xm−1 + bm xm = bj x j
j=0

donde x0 = 1 es la unidad del anillo A.

n
X
Observación 5.1.3. De lo anterior, el polinomio p(x) = ai xi es distinto del polinomio cero,
i=0
si y sólo si ai ̸= 0 para algún i = 0, 1, . . . . Consideremos nuevamente los polinomios
n
X m
X
i
p(x) = ai x y q(x) = b j xj ,
i=0 j=0

si por ejemplo n < m, entonces para operar a tales polinomios, implı́citamente se considera que
an+1 , . . . , am son cero. A lo largo de este capı́tulo estaremos trabajando con esta consideración,
para que los polinomios tengan el mismo número de coeficientes.
Definición 5.1.4. Sean p(x), q(x) ∈ A[x] dos polinomios. Definimos p(x) + q(x) como

p(x) + q(x) = c0 + c1 x + · · · + cr−1 xr−1 + cr xr ,

donde ci = ai + bi , para todo i = 0, 1, . . . . Definimos también p(x) · q(x) como

p(x) · q(x) = c0 + c1 x + · · · + cr−1 xr−1 + cs xs ,

X
donde ck = aj bi , para todo k = 0, 1, . . . .
j+i=k

Angel Lara, Isidro Morales

[Link] anillo de los polinomios 81

La suma es como se hacia antes, coefiente a coeficiente (note que esto corresponde a agrupar
los términos semejantes). Lo que se ve un poco extraño es la multiplicación, pero no es otra
cosa que multiplicar todo los términos y agrupar términos semejantes. Esto se ve mejor en un
esquema, consideremos los polinomios
n
X m
X
i
p(x) = ai x y q(x) = bj x j ,
i=0 j=0

como se comentó antes, podemos suponer que n = m, pues en caso de que n < m se pueden
agregar los términos con coeficiente cero. En este caso el producto es igual a

p(x) · q(x) = (a0 + a1 x + · · · + am xm )(b0 + b1 x + · · · + bm xm )

= a0 b0 + a0 b1 x + a0 b2 x2 + · · · + a0 bm−1 xm−1 + a0 bm xm
+ a1 xb0 + a1 xb1 x + a1 xb2 x2 + · · · + a1 xbm−1 xm−1 + a1 xbm xm
+ a2 x2 b0 + a2 x2 b1 x + a2 x2 b2 x2 + · · · + a2 x2 bm−1 xm−1 + a2 x2 bm xm
..
.
+ am−1 xm−1 b0 + am−1 xm−1 b1 x + · · · + am−1 xm−1 bm−1 xm−1 + am−1 xm−1 bm xm
+ am xm b0 + am xm b1 x + am xm b2 x2 + · · · + am xm bm−1 xm−1 + am xm bm xm

y esto es equivalnte a la expresión

a0 b0 + a0 b1 x + a0 b2 x2 + · · · + a0 bm−1 xm−1 + a0 bm xm
+ a1 b0 x + a1 b1 x2 + a1 b2 x3 + · · · + a1 bm−1 xm + a1 bm xm+1
+ a2 b0 x2 + a2 b1 x3 + a2 b2 x4 + · · · + a2 bm−1 xm+1 + a2 bm xm+2
..
.
+ am−1 b0 xm−1 + am−1 b1 xm + · · · + am−1 bm−1 x2m−2 + am−1 bm x2m−1
+ am b0 xm + am b1 xm+1 + am b2 xm+2 + · · · + am bm−1 x2m−1 + am bm x2m

de este último arreglo se puede observar que los términos comunes son los que se encuentran en
las diagonales, y esto corresponde exactamente a los términos ck de la definición de producto.
A pesar de que en el producto anterior se tomó n = m, es un poco complicado trabajar el
coeficiente ck . Una buena idea serı́a separa en los casos k ≤ m y k > m, pues aquı́ se tiene
X k
X X m
X
ck = aj b i = ak−i bi y ck = aj b i = ak−i bi ,
j+i=k i=0 j+i=k i=k−m

respectivamente. Para tener una descripción uniforme, de los coeficientes ck podemos considerar
Xk k
X
ck = ak−i bi = ai bk−i , donde los términos am+1 , . . . , a2m , bm+1 , . . . , b2m los tomaremos
i=0 i=0
como cero.
Note que en la definición de suma y producto se tiene que r = máx{n, m} y s = n + m. En
este caso podemos escribir
r s k
!
X X X
p(x) + q(x) = (ak + bk )xk y p(x) · q(x) = ak−i bi xk .
k=0 k=0 i=0

Angel Lara, Isidro Morales

 82 CAPÍTULO 5. Polinomios


Teorema 5.1.5. Sea A un anillo conmutativo con unidad 1, entonces A[x], +, · es un anillo
conmutativo con unidad.

Demostración. Sean p(x), q(x), h(x) ∈ A[x] dados por

m
X m
X m
X
i i
p(x) = ai x , q(x) = bi x , h(x) = ci x i .
i=0 i=0 i=0

Note que hemos usado lo que se ha comentado antes, es decir, uniformizar las expresiones de
los polinomios.
a) Usando la conmutatividad de la suma de A

m
X
p(x) + q(x) = (ak + bk )xk
k=0
Xm m
X
i
= bi x + ai xi = q(x) + p(x).
i=0 i=0

b) Usando la asociatividad de la suma de A

m
X m
X
(ak + bk )xk + ci x i


p(x) + q(x) + h(x) =
k=0 i=0
m
X
(ak + bk ) + ck xk
 
=
k=0
m
X
ak + (bk + ck ) xk
 
=
k=0
Xm m
X
i
= ai x + (bk + ck )xk
k=0 k=0


= p(x) + q(x) + h(x) .

c) Existe el polinomio 0(x) ∈ A[x] tal que

m
X m
X
i
p(x) + 0(x) = (ai + 0)x = ai xi = p(x).
i=0 i=0

Pm i
d) Existe el polinomio −p(x) ∈ A[x] dado por −p(x) = i=0 (−ai )x tal que

m m

X i
X
p(x) + − p(x) = (ai + (−ai ))x = 0xi = 0(x).
i=0 i=0

Angel Lara, Isidro Morales

[Link] anillo de los polinomios 83

k
X k
X
e) Usando la asociatividad de la multiplicación de A y que ak−i bi = ai bk−i tenemos
i=0 i=0

2m k
! m
X X X
k
ci x i


p(x) · q(x) · h(x) = ai bk−i x ·
k=0 i=0 i=0
k−j
3m k
! !
X X X
= ai bk−j−i cj xk
k=0 j=0 i=0
3m k k−i
!!
X X X
= ai bk−i−j cj xk
k=0 i=0 j=0
m 2m k
!
X X X
i
= ai x · bk−i ci xk
i=0 k=0 i=0


= p(x) · q(x) · h(x) .

f) Usando la conmutatividad y distributividad de A tenemos

m
X m
X
i
ci x i


p(x) + q(x) · h(x) = (ai + bi ) x ·
k=0 i=0
2m k
!
X X
= (ak−i + bk−i )ci xk
k=0 i=0
2m k k
!
X X X
= ak−i ci + bk−i ci xk
k=0 i=0 i=0
2m k
! 2m k
!
X X X X
= ak−i ci xk + bk−i ci xk
k=0 i=0 k=0 i=0
= p(x) · h(x) + q(x) · h(x).

La conmutatividad de la multiplicación se sigue de

2m k
! 2m k
!
X X X X
p(x) · q(x) = ai bk−i xk = bk−i ai xk = q(x) · p(x).
k=0 i=0 k=0 i=0

Además el elemento unidad es el polinimio 1(x) = 1x0 .

Definición 5.1.6. Sea p(x) ∈ A[x] un polinomio no cero. Al elemento an ̸= 0 ∈ A tal que
ak = 0 para toda k > n se le llama coeficiente principal de q(x) y a n se le llama el grado
de p(x), el cual se denota por grad p(x). Cuando an = 1 se dice que el polinomio es mónico.
Al polinomio cero no se le asigna grado.
Como se puede observar en la demostración del teorema 5.1.5, las propiedades de A se
heredan al anillo A[x]. Otra propiedad que se hereda es la de ser dominio entero. Recordemos
que el anillo abeliano A es dominio entero si ab = 0, implica que a = 0 o b = 0. Esta definición
es equivalente a que si tenemos a ̸= 0 y b ̸= 0, entonces ab ̸= 0.

Angel Lara, Isidro Morales

 84 CAPÍTULO 5. Polinomios

Teorema 5.1.7. Si A es dominio entero, entonces A[x] también es dominio entero.

Demostración. Sean p(x), q(x) ∈ A[x] dos polinomios no cero. Definamos n = grad p(x) y
m = grad q(x). Como an ̸= 0 y bP m ̸= 0 entonces an bm ̸= 0. Recordemos que los coeficientes de
p(x) · q(x) están dados por ck = ki=0 ak−i bi . Observe que
n+m
X m−1
X n+m
X
cn+m = an+m−i bi = an+m−i bi + an bm + an+m−i bi
i=0 i=0 i=m+1

Pm−1
Si i ≤ m − 1 entonces
Pn+m n + 1 ≤ n + m − i, por lo cual i=0 an+m−i bi = 0. Ahora si i ≥ m + 1
también se tiene i=m+1 an+m−i bi = 0. Entonces cn+m = an bm ̸= 0. Esto quiere decir que
p(x) · q(x) es un polinomio no cero.

Proposición 5.1.8. Sean p(x), q(x) ∈ A[x] dos polinomios no cero.

(a) Si p(x) + q(x) ̸= 0(x), entonces grad (p(x) + q(x)) ≤ máx{ grad p(x), grad q(x)}.

(b) Si grad p(x) ̸= grad q(x), entonces grad (p(x) + q(x)) = máx{ grad p(x), grad q(x)}.

(c) grad (p(x) · q(x)) = grad p(x) + grad q(x).

Demostración. Para simplificar la notación definamos n = grad p(x) y m = grad q(x).

(a) Como ak = 0 para k > n y bk = 0 para k > m, entonces ak + bk = 0 para k > máx{n, m},
por lo que grad (p(x) + q(x)) ≤ máx{n, m}.
(b) Si por ejemplo n < m, entonces ak + bk = 0 para k > m, y además am + bm = bm ̸= 0. Ası́
grad (p(x) + q(x)) = m.
(c) De la demostración del teorema 5.1.7 sabemos que los coeficientes de p(x) · q(x) cumplen
que cn+m = an bm ̸= 0 y que ci = 0 para todo i > n + m. Por lo tanto

grad (p(x) · q(x)) = n + m = grad p(x) + grad q(x).

Corolario 5.1.9. Si A es un dominio entero, entonces los polinomios en A[x] que son invertibles
son los elementos de A que lo son. En el caso particular cuando A es un campo, estos elementos
son A \ {0}.

5.2. Divisibilidad de polinomios

Definición 5.2.1. Sea K un campo y p(x), q(x) ∈ K[x]. Se dice que p(x) divide a q(x) si
existe h(x) ∈ K[x] tal que q(x) = p(x) · h(x). Esto se denota por p(x) | q(x).

Teorema 5.2.2. Sean p(x), q(x), h(x) ∈ K[x]. Entonces

1. a | q(x) para toda a ∈ K \ {0}.

2. Si p(x) | q(x), entonces a · p(x) | b · q(x) para cualesquiera a, b ∈ K \ {0}.

3. Si p(x) | q(x) y q(x) | h(x), entonces p(x) | h(x).

Angel Lara, Isidro Morales

[Link] de polinomios 85

4. Si p(x) | q(x) y p(x) | h(x), entonces p(x) | r(x) · q(x) + s(x) · h(x), para todo polinomio
r(x), s(x) ∈ K[x].

5. Si p(x) | q(x) y q(x) ̸= 0, entonces p(x) ̸= 0 y grad p(x) ≤ grad q(x).

6. Si p(x) | q(x) y q(x) | p(x), entonces p(x) = a · q(x) para alguna a ∈ K \ {0}.

Teorema 5.2.3 (Algoritmo de la División). Sean f (x), g(x) ∈ K[x] tales que g(x) ̸= 0.
Entonces existen polinomios únicos q(x), r(x) ∈ K[x] tales que

f (x) = g(x) · q(x) + r(x), donde r(x) = 0 o grad r(x) < grad g(x).

Definición 5.2.4 (Máximo común divisor). Sea K un campo y p(x), q(x) ∈ K[x] no ambos
cero. Un polinomio d(x) ∈ K[x] es el máximo común divisor de p(x) y q(x) si cumple:

1. d(x) es mónico.

2. d(x) | p(x) y d(x) | q(x).

3. Si h(x) | p(x) y h(x) | q(x), entonces h(x) | d(x).

En este caso se denota d(x) = mcd (p(x), q(x)).

Definición 5.2.5. Si mcd (p(x), q(x)) = 1, se dice que p(x) y q(x) son primos relativos.

Teorema 5.2.6. Si p(x) | q(x) · h(x) y mcd (p(x), q(x)) = 1, entonces p(x) | h(x).

Definición 5.2.7. Un polinomio p(x) ∈ K[x] se llama irreducible si es de grado positivo y

si no puede expresarse como el producto de dos polinomios, ambos de grado menor al de p(x).
En caso contrario se llamará reducible.

Ejercicio 5.2.8. El polinomio p(x) = x2 − 3 es irreducible en Q[x] pero reducible en R[x]. El

polinomio p(x) = x2 + 1 es irreducible en R[x] pero reducible en C[x].

Proposición 5.2.9. Sea p(x) un polinomio irreducible en K[x]. Para cada polinomio f (x) ̸= 0
en K[x] se cumple que mcd (p(x), f (x)) = 1 o mcd (p(x), f (x)) = a−1 p(x), donde a es el
coeficiente principal de p(x). Más aún, mcd (p(x), f (x)) = a−1 p(x) si y sólo si p(x) | f (x).

Proposición 5.2.10. Sea p(x) un polinomio irreducible en K[x] y supongamos además que
p(x) | f (x) · g(x). Entonces p(x) | f (x) o p(x) | g(x).

Corolario 5.2.11. Sean f1 (x), . . . , fl (x) ∈ K[x] polinomios y p(x) un polinomio irreducible en
K[x]. Supongamos que p(x) | f1 (x) · · · fl (x), entonces p(x) | fj (x) para algún j = 1, . . . , l.

Teorema 5.2.12. Cada polinomio de grado positivo en K[x] se expresa como producto de un
elemento invertible (elemento distinto de cero del campo K) y polinomios irreducibles mónicos.
La descomposición es única salvo por el orden de los factores.


Proposición 5.2.13. Sean c1 , c2 ∈ K con c1 ̸= c2 . Entonces mcd (x − c1 )n , (x − c2 )m = 1,
para cualesquiera n, m ∈ N.

Angel Lara, Isidro Morales

 86 CAPÍTULO 5. Polinomios

Dado un polinomio f (x) = a0 + a1 x + · · · + an xn ∈ K[x], éste determina una función

f : K −→ K cuya regla de correspondencia es

f (α) = a0 + a1 α + · · · + an αn , α ∈ K.

Esto es, para encontrar f (α) sólo se debe sustituir x por α en el polinomio f (x).
Definición 5.2.14. Sea f (x) ∈ K[x] y α ∈ K. Se dice que α es una raı́z de f (x) si f (α) = 0.
Teorema 5.2.15. Sea f (x) ∈ K[x] y α ∈ K. Entonces

f (x) = q(x)(x − α) + f (α).

para algún polinomio q(x) ∈ K[x].

Corolario 5.2.16. Un elemento α ∈ K es una raı́z de un polinomio f (x) ∈ K[x] si y sólo si
(x − α) | f (x).
Teorema 5.2.17. Sea f (x) ∈ K[x] un polinomio distinto de cero de grado n, y sean α1 , . . . , αk
todas las raı́ces distintas en K de f (x). Entonces

f (x) = (x − α1 )m1 · · · (x − αk )mk · g(x),

donde m1 , . . . , mk ∈ N y g(x) es un polinomio distinto de cero que no tiene raices en K.

Corolario 5.2.18. Sea f (x) ∈ K[x] un polinomio distinto de cero de grado n, y sean α1 , . . . , αk
todas las raı́ces distintas en K de f (x). Entonces k ≤ n.
Corolario 5.2.19. Sea f (x) ∈ K[x] un polinomio de grado n > 0. Si α1 , . . . , αn son todas las
raı́ces distintas de f (x) en K, entonces f (x) = a(x − α1 ) · · · (x − αn ).
Lema 5.2.20. Sea f (x) ∈ C[x] un polinomio de grado n dado por

f (x) = a0 + a1 x + · · · + an−1 xn−1 + an xn .

Entonces existe r > 0 tal que |f (z)| ≥ |a0 |, para toda z ∈ C con |z| > r.
n−1
X
Demostración. Supongamos primero que f (x) es mónico. Veamos que r = 2 |ak | + 1 cumple
k=0
lo pedido. Si z ̸= 0 tenemos que
a a1 an−1 
n 0
f (z) = z n
+ + ··· + +1 .
z z n−1 z
De esto y la desigualdad del triángulo invertida
n−1 n−1 n−1
!
n
X ak n
X ak X ak
|f (z)| = |z| 1 + n−k
≥ |z| 1 − ≥ |z|n 1− . (5.1)
k=0
z k=0
z n−k k=0
z n−k

Si |z| > r implica que |z|j > rj ≥ r, para toda j ∈ N, por lo que
n−1 n−1 n−1 n−1
X ak X |ak | X |ak | 1X 1r−1 1 1 1
n−k
≤ n−k
≤ = |ak | = = − < .
k=0
z k=0
|z| k=0
r r k=0 r 2 2 2r 2

Angel Lara, Isidro Morales

[Link] de polinomios 87

De (5.1) tenemos
n−1
!
|z|n
 
n
X ak n 1 r
|f (z)| ≥ |z| 1− ≥ |z| 1 − = > > |a0 |.
k=0
z n−k 2 2 2

Esto quiere decir que el resultado se cumple cuando f (x) es mónico. Para el caso general
definimos g(x) = a1n f (x), de lo hecho anteriormente existe r > 0 tal que |g(x)| ≥ |a0 |, para
toda z ∈ C con |z| > r. Luego
|a0 |
|f (z)| = |an | |g(z)| ≥ |an | = |a0 |,
|an |
para toda z ∈ C con |z| > r.
El lector recordará los tres teoremas fuertes de cálculo, aquı́ usaremos la generalización de
dos de ellos (lamentablemente, no se podrán demostrar aquı́, pero en cálculo III ya se tendrá
la herramienta necesaria para poder hacerlo, por lo pronto no queda más que confiar en el
escritor).
Teorema 5.2.21. Sea f una función continua en el conjunto Ar = {z ∈ C : |z| ≤ r}, donde
r > 0. Entonces
1. |f | es acotada en Ar .
2. |f | alcanza su mı́nimo y máximo en el conjunto Ar , es decir, existen z0 , w0 ∈ Ar tal que
|f (z0 )| = mı́n{|f (z)| | z ∈ Ar } y |f (w0 )| = máx{|f (z)| | z ∈ Ar }.

Teorema 5.2.22 (Teorema fundamental del álgebra). Cada polinomio en C[x] y de grado
mayor que cero tiene al menos una raı́z en C.
Demostración. Sea f (x) ∈ C[x] un polinomio de grado n. Se demostrará que la función |f |
tiene un mı́nimo cuando hacemos variar z en todo el plano complejo. Si z0 ∈ C es un punto
mı́nimo de |f (z)|, demostraremos que |f (z0 )| = 0.
Por el lema 5.2.20 existe r > 0 tal que |f (z)| ≥ |a0 |, para toda z ∈ C con |z| > r. En el
conjunto Ar = {z ∈ C : |z| ≤ r} la función |f (z)| alcanza su mı́nimo, es decir, existe z0 ∈ Ar
tal que |f (z0 )| ≤ |f (z)|, para todo z ∈ Ar . En particular |f (z0 )| ≤ |f (0)| = |a0 |.
Como también |f (z0 )| ≤ |a0 | ≤ |f (z)| para toda z ∈ C con |z| > r, tenemos por lo tanto
|f (z0 )| ≤ |f (z)|, ∀ z ∈ C. (5.2)


Puesto que f (z) = f (z − z0 ) + z0 , entonces
n

X
k
f (z) = f (z − z0 ) + z0 = ak (z − z0 ) + z0
k=0
n X
k  
X k
= ak (z − z0 )j z0k−j
k=0 j=0
j
n
" n #
X X k  k−j
= ak z0 (z − z0 )j .
j=0 k=j
j

Angel Lara, Isidro Morales

 88 CAPÍTULO 5. Polinomios

De lo anterior, existe un polinomio g(x) ∈ C[x] tal Pque f (z)
= g(z − z0 ) (de hecho el grado de
g(x) es exactamente n y sus coeficientes son bj = nk=j ak kj z0k−j , pero en nuestro caso no nos
interesa este detalle). Observe ahora que de (5.2), para todo z ∈ C se tiene


|g(0)| = |g(z0 − z0 )| = |f (z0 )| ≤ |f (z + z0 )| = g (z + z0 ) − z0 = |g(z)|
Esto quiere decir que
|g(0)| ≤ |g(z)|, ∀ z ∈ C. (5.3)
Pn
Como f (z0 ) = g(0), vamos a comprobar entonces que g(0) = 0. Denotemos g(x) = k=0 bk xk ,
y definamos j = mı́n{k > 0 | bk ̸= 0} (es decir, bj es el primer coeficente no cero de g(x), por
supuesto, después de b0 ). Tenemos que
n
X
j
g(z) = b0 + bj z + bk z k , bj ̸= 0.
k=j+1

Al factorizar z j+1 de la suma de la igualdad de arriba, se puede escribir g(z) como

g(z) = b0 + bj z j + z j+1 p(z),
para algún polinomio p(x) ∈ C[x]. Definamos w = (− bb0j )1/j (aquı́ w es alguna raı́z j-ésima
del número complejo − bb0j ) y sea ε ∈ (0, 1). Como la función |p(z)| es acotada en el conjunto
{z ∈ C : |z| ≤ |w|}, existe M > 0 tal que
|p(εw)| ≤ M, para todo 0 < ε < 1.
Observe εw ∈ {z ∈ C : |z| ≤ |w|}. De lo anterior se tiene la estimación
|g(εw)| = b0 + bj (εw)j + (εw)j+1 p(εw)
≤ b0 + εj bj wj + εj+1 |w|j+1 |p(εw)|
≤ b0 + εj bj wj + εj+1 |w|j+1 M
= b0 − εj b0 + εj+1 |w|j+1 M
= |b0 | − εj |b0 | + εj+1 |w|j+1 M
|b0 | − εj |b0 | − ε|w|j+1 M .


=

En el caso de que |b0 | > 0, podemos encontrar ε tal que 0 < ε < |w||bj+1 0|
M
, lo que implica a su
j+1
vez que 0 < |b0 | − ε|w| M,y por lo cual
|g(εw)| ≤ |b0 | − εj |b0 | − ε|w|j+1 M < |b0 | = |g(0)|

lo que contradice (5.3). Ası́ b0 = 0. Finalmente

0 = b0 = g(0) = f (z0 ),
por lo que el polinomio f (x) tiene una raı́z en C.
Teorema 5.2.23. Dado un polinomio f (x) ∈ C[x] y de grado n > 0, existen a, α1 , . . . , αn C
(no necesariamente distintos) tales que
f (x) = a(x − α1 ) · · · (x − αn ).
Esto es, f (x) tiene tantas raices en C como su grado.

Angel Lara, Isidro Morales

[Link] de polinomios 89

Teorema 5.2.24. Si α es una raı́z del polinomio f (x) ∈ R[x], entonces α también es raı́z de
f (x).

Demostración. Por las propiedades del conjugado se tiene directamente

n
X n
X n
X
0 = 0 = f (α) = ak αk = ak αk = ak αk = f (α).
k=0 k=0 k=0

Corolario 5.2.25. Todo polinomio f (x) ∈ R[x] se puede factorizar como producto de polinomios
lineales y cuadráticos.

Angel Lara, Isidro Morales

90 CAPÍTULO 5. Polinomios

Angel Lara, Isidro Morales

Índice de sı́mbolos

R Números reales.
Q Números racionales.
I Números irracionales.
N = {1, 2, . . .} Números naturales.
N0 = N ∪ {0} Números naturales junto con el 0.

91
92 CAPÍTULO 5. Preliminares

Angel Lara, Isidro Morales

Bibliografı́a

[Bartle] A. R. G. Bartle y D. R. Sherbert. Introducción al Análisis Matemático de una Variable.

Ed. Limusa, segunda edición. 2005.

[Dem] B. P. Demidovich 5000 problemas de Análisis Matemático. Segunda edición. Paraninfo.

1980.

[Villa] G. D. Villa Salvador. Cálculo Infinitesimal de Varias Variables Reales. Departamento

de Control Automático, Cinvestav. Vol. 2, 2003.

[Som] I. S. Sominskii. El Método de la Inducción Matemática. Ed. Limusa, 1982.

[Villa] J. M. Rocha Martı́nez y G. D. Villa Salvador. Cálculo Infinitesimal de Varias Variables

Reales. Cinvestav, IPN. Vol. 1, 2003.

[Munk] James R. Munkres Analysis on Manifolds. Massachusetts Institute of Technology.

Cambridge, Massachusetts. 1930.

[Kura] K. Kuratowski. Introducción al Cálculo. Ed. Limusa, 1995.

[Stro] Karl. R. Stromberg. An Introduction to Classical Real Analysis. AMS Chelsea

Publishing. 2010.

[Spivak] M. Spivak Calculus. Ed. Reverté. Segunda edición. 1996.

[Spivak] M. Spivak Cálculo en Variedades. Ed. Reverté. Barcelona. 1972.

[Bula] R. Bulajich, J. A. Gómez y R. Valdez . Desigualdades. Olimpiada Mexicana de

Matemáticas. UNAM.

[Zorich] Vladimir A. Zorich Mathematical Analysis I. Second Edition. Springer. 2012.

[Zorich] Vladimir A. Zorich Mathematical Analysis II. Second Edition. Springer. 2012.

[Rudin] W. Rudin. Principios de Análisis Matemático. Ed. McGraw-Hill. Tercera edición. 1980.

93