Académique Documents
Professionnel Documents
Culture Documents
XXXXXXXXXXXXXXXXXXXXXXXX
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxx
XXXXXXXXXX
1
Página 10
Proposición: Si un conjunto S posee n elementos, entonces P(S) tiene 2n elementos.
• Si n = 2, digamos, S = {a, b}, ası́ P(S) = {Φ, {a}, {b}, {a, b}}. Luego |P(S)| = 22 = 4.
Puesto que S − {a} tiene k elementos, entonces por hipótesis de inducción tiene 2k sub-
conjuntos. Por otro lado, para todo conjunto A de C1 , existe un único conjunto B de C2 tal
que A = B ∪ {a}, en otras palabras, A se obtiene agregando el elemento a a cada uno de los
elementos de C2 . Recı́procamente, cada subconjunto B ∈ C2 se obtiene quitando a de cada
subconjunto A ∈ C1 . Esto significa que C1 posee tantos subconjuntos como C2 , osea que cada
colección tiene 2n subconjuntos. Por otro lado C1 y C2 no tienen elementos (subconjuntos) que
sean idénticos (son disyuntos) y P(S) = C1 ∪ C2 , entonces |P(S)| = 2n + 2n = 2(2n ) = 2n+1 .
Página 15
Mas ejemplos sobre conjuntos.
i) Si A ⊆ B y B * C, entonces A * C.
Falso. Pongamos A = Φ, B = {b} y C = {c}. Es claro que este caso particular de los
conjuntos A, B y C contradice la proposición.
2
Verdadero. a ∈ A y A ⊆ B −→ a ∈ B. En consecuencia, a ∈ B ←→ {a} ⊆ B ←→ {{a}} ⊆
P(B) .
iv) Si A ∈ B y A ⊆ B, entonces A = Φ.
Falso. Considere A = {a} y B = {a, {a}}. Claramente estos conjuntos cumplen la hipóte-
sis, pero A 6= Φ.
v) A ∩ B = B si y sólo si B ⊆ A.
∞
5. Para cada entero positivo n ≥ 2, se define An = (− n1 , 3 + n1 ), demuestre que
S
An =
n=2
∞
(− 21 , 72 ), y que,
T
An = [0, 3].
n=2
Solución:
3
∞
An = (− 21 , 72 ).
S
•
n=2
∞
An ⊆ (− 21 , 72 )
S
i) Veamos que
n=2
∞
[
x∈ An ←→ (∃n ∈ I)(x ∈ An )
n=2
1 1
←→ (∃n ∈ I)(x ∈ (− , 3 + ))
n n
1 1
←→ (∃n ∈ I)(− < x < 3 + )
n n
1 1 1 1
←→ (∃n ∈ I)(− 6 − < x < 3 + 6 3 + )
2 n n 2
1 7
←→ x ∈ (− , )
2 2
∞ ∞
An −→ x ∈ (− 12 , 72 ), es decir An ⊆ (− 12 , 72 ).
S S
Por lo tanto ∀x, x ∈
n=2 n=2
∞
ii) Veamos que (− 21 , 27 ) ⊆ (− n1 , 3 + n1 ).
S
n=2
1 7 1 7
x ∈ (− , ) ←→ (− < x < )
2 2 2 2
1 1 1 7
←→ (∃n ∈ N, n > 2)(− 6 − < x < 3 + 6 )
2 n n 2
1 1
←→ (∃n ∈ N, n > 2)(− < x < 3 + )
n n
1 1
←→ (∃n ∈ N, n > 2)(x ∈ (− , 3 + ))
n n
∞
[ 1 1
←→ x ∈ (− , 3 + )
n n
n=2
∞
Ası́, ∀x, x ∈ (− 21 , 27 ) −→ x ∈ (− n1 , 3 + n1 ), es decir (− 12 , 72 ) ⊆ (− n1 , 3 + n1 ).
T
n=2
∞
(− n1 , 3 + n1 ) = [0, 3].
T
•
n=2
4
∞
(− n1 , 3 + n1 ) ⊆ [0, 3].
T
i)
n=2
1 1 1 1
x ∈ (− , 3 + ) ←→ (∀n ∈ N, n > 2)(x ∈ (− , 3 + ))
n n n n
1 1
←→ (∀n ∈ N)(n > 2 −→ − < x < 3 + ) haciendo que n → ∞,
n n
←→ x ∈ [0, 3].
x ∈ [0, 3] ←→ 0 6 x 6 3
1 1
←→ (∀n ∈ N, n > 2)(− < 0 6 x 6 3 < 3 + ))
n n
1 1
←→ (∀n ∈ N)(n > 2 −→ − < x < 3 + )
n n
1 1
←→ (∀n ∈ N)(n > 2 −→ x ∈ (− , 3 + ))
n n
1 1
←→ (∀x)(x ∈ [0, 3] −→ x ∈ (− , 3 + )(n ∈ N, n > 2))
n n
∞
(− n1 , 3 + n1 ) = [0, 3]
T
De (i) y (ii) se sigue que
n=2
Solución:
\ \
x∈M− A ←→ x ∈ M ∧ x∈
/ A
A∈C A∈C
\
←→ x ∈ M ∧ ∼ (x ∈ A)
A∈C
←→ x ∈ M ∧ ∼ ((∀A ∈ C)(x ∈ A))
←→ x ∈ M ∧ ∼ ((∀A)(A ∈ C −→ x ∈ A)
←→ x ∈ M ∧ (∃A ∈ C)(∼ (x ∈ A))
←→ (∃A ∈ C)(x ∈ M ∧ x∈
/ A)
←→ (∃A ∈ C)(x ∈ (M − A))
5
[
←→ x ∈ (M − A)
A∈C
\ [
←→ (∀x)(x ∈ M − A) ←→ (x ∈ (M − A))
A∈C A∈C
\ [
←→ M − A= (M − A)
A∈C A∈C
T T T T
7. Si A y B son colecciones de conjuntos y C = A ∪ B, entonces A=( A) ( A)
A∈C A∈A A∈B
Demostración:
\
x∈ A ←→ (∀A ∈ C)(x ∈ A)
A∈C
←→ (∀A)(A ∈ C −→ x ∈ A)
←→ (∀A)(A ∈ A ∪ B −→ x ∈ A) ( C = A ∪ B)
←→ (∀A)((A ∈ A ∨ A ∈ B) −→ x ∈ A)
←→ (∀A)(∼ (A ∈ A ∨ A ∈ B) ∨ x ∈ A)
←→ (∀A)((A ∈
/A ∧ A∈
/ B) ∨ x ∈ A)
←→ (∀A)((A ∈
/A ∨ x ∈ A) ∧ (A ∈
/B ∨ x ∈ A))
←→ (∀A)((A ∈ A −→ x ∈ A) ∧ (A ∈ B −→ x ∈ A))
←→ (∀A)((A ∈ A −→ x ∈ A) ∧ (∀A)(A ∈ B −→ x ∈ A))
\ \
←→ x ∈ A ∧ x∈ B
A∈C A∈C
\ \ \
←→ x ∈ (( A) ( B))
A∈C A∈C
\ \ \ \
←→ (∀x)(x ∈ A) ←→ x ∈ (( A) ( B))
A∈C A∈C A∈C
\ \ \ \
←→ A=( A) ( B)
A∈C A∈C A∈C
Página 17
Ejemplo: Uno de los ejemplos mas socorridos cuando se estudia inducción matemática, es
probar que si n ∈ Z+ , 1+2+3+...+n = n(n+1) 2 . Se pide al lector que realice esta prueba y con
base en este resultado, demuestre que si n ∈ Z+ , 13 + 23 + 33 + ... + n3 = (1 + 2 + 3 + ... + n)2 .
6
Si n = 1, p(1) : 13 = 12 .
Ejemplo: Considere la sucesión de Fibonacci, 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ... definida
de manera recurrente por F0 = 0, F1 = 1 y para cada entero positivo n ≥ 2, Fn = Fn−1 +Fn−2 .
Demuestre que
Solución:
Supongamos que para n = k se verifica que Fk−1 .Fk+1 = Fk2 + (−1)k y probemos que
2
Fk .Fk+2 = Fk+1 + (−1)k+1
En efecto,
Fk .Fk+2 = Fk .(Fk + Fk+1 ) = Fk2 + Fk .Fk+1
= (Fk−1 .Fk+1 − (−1)k ) + Fk .Fk+1
= Fk+1 (Fk−1 + Fk ) + (−1)k+1
= Fk+1 .Fk+1 + (−1)k+1
2
= Fk+1 + (−1)k+1
7
n
Fi2 = Fn .Fn+1
P
ii)
i=0
0
Fi2 = F02 = F0 .F1 = 02 = 0.1 = 0
P
Si n = 0,
i=0
1
Fi2 = F02 + F12 = F1 .F2 = 02 + 12 = 1.1 = 1
P
Si n = 1,
i=0
k
Fi2 = Fk .Fk+1 y veamos que para n = k + 1
P
Supongamos la validez hasta n = k, es decir
i=0
k
Fi2 = Fk+1 .Fk+2 .
P
también se cumple, osea
i=0
En efecto,
k
X k
X
Fi2 = Fk .Fk+1 ←→ Fk+1
2
+ Fi2 = Fk+1
2
+ Fk .Fk+1
i=0 i=0
k+1
X
←→ Fi2 = Fk+1 (Fk+1 + Fk )
i=0
k+1
X
←→ Fi2 = Fk+1 .Fk+2
i=0
Solución: Consideremos los grupos (G, ∗), (G0 , ⊥) y (G00 , ∆) y supongamos que las funciones
f y g determinan isomorfismos entre estos grupos tal como ilustra el diagrama:
:
Sean z1 , z2 ∈ G, afirmamos que
8
En efecto,
2. Demuestre que (Z4 , ⊕) es isomorfo al grupo multiplicativo de las raı́ces cuartas de la unidad
imaginaria.
Si llamamos G = {1, i, −1, −i} al grupo multiplicativo de las raı́ces cuartas de la unidad
imaginaria, la aplicación f : Z4 −→ G definida por f (n̂) = in resulta ser un isomorfismo.
En efecto, en primer lugar, f es un homomorfismo pues f (â ⊕ b̂) = ia+b = ia • ib = f (â) • f (b̂).
9
Las razones anteriores ponen en evidencia que f es un homomorfismo.
Es claro que f no es 1 a 1. A manera de ilustración, note que (2, −2, 0) 6= (−1, 1, 0), sin
embargo f (2, −2, 0) = (0, 0) = f (−1, 1, 0).
Supongamos que (Q, +) ' (Q∗ , ·). En tal caso, existe una función f : (Q, +) −→ (Q∗ , ·)
que es un homomorfismo biyectivo.
10
Como f es un homomorfismo, dados x, y ∈ R+ debe ocurrir que f (x + y) = f (x) · f (y).
Además f es sobreyectiva (por ser biyectiva), ası́ que existe r ∈ Q tal que f (r) = 2 ∈ Q∗ .
r
Como r ∈ Q, también 2 ∈ Q, además
r r r r r
2 = f (r) = f ( + ) = f ( ) · f ( ) = [f ( )]2
2 2 2 2 2
√
y por lo tanto f ( 2r ) = ± 2, lo cual es una contradicción ya que f ( 2r ) debe ser un racional
√ √
no nulo, sin embargo ± 2 ∈ / Q∗ ya que 2 no es racional. El doble signo ± resultante de los
cálculos da cuenta además que f no es 1 a 1.
En conclusión no existe tal aplicación f que determina un isomorfismo entre (Q, +) y (Q∗ , ·).
i) Dado g ∈ G y n ∈ Z, f (g n ) = (f (g))n .
Si n = 1, f (g 1 ) = f (g) = (f (g))1 .
Asumiendo que para algún entero positivo k > 1, se cumple que f (g k ) = (f (g))k , enton-
ces, para n = k + 1 :
Solución:
11
Solución:
Solución: Sea g ∈ G. Por el inciso (i) se probó que para cada n ∈ Z, f (g n ) = (f (g))n . Puesto
que f en 1 a 1, para todo g ∈ G, f (g) = eH si y sólo si g = eG . Por lo tanto, g n = e sı́ y
solamente si (f (g))n = eH , Luego, g es de orden finito si y solamente si f (g) es de orden finito.
v) f −1 : H −→ G es también un isomorfimo.
Demostración:
(−→) Supongamos que G es cı́clico. Entonces G =< g > para algún g ∈ G. Puesto que
f (g) ∈ H, entonces < f (g) >⊆ H. Sea h ∈ H. Puesto que f es sobre H, existe g2 ∈ G tal que
f (g2 ) = h. Por otro lado, g2 = g n para algún n ∈ Z. Luego,
h = f (g2 ) = f (g n ) = (f (g))n ∈< f (g) >
En consecuencia, H =< f (g) > y por lo tanto H es cı́clico.
Considere los grupos (Z, +) y (R, +). En páginas precedentes se probó que (Q, +) no es
12
cı́clico, mientras que (Z, +) es cı́clico. Como consecuencia del inciso (vi) se sigue que (Z, +)
no es isomorfo a (Q, +).
Por otro lado, el grupo (Q, +) no es isomorfo a (Q∗ , ·) dado que cada elemento distinto del
neutro o idéntico de (Q, +) es de orden infinito mientras que −1 es un elemento no idéntico
de (Q∗ , ·) de orden finito.
7. Demuestre que todo grupo cı́clico finito de orden n es isomorfo con (Zn , ⊕) y que to-
do grupo cı́clico infinito es isomorfo con (Z, +).
f (ak aj ) = f (ak+j ) = k[
+ j = k̂ + ĵ = f (ak ) ⊕ f (aj )
Puesto que f es 1 a 1 y G y Zn son finitos con el mismo número de elementos, se sigue que f
es también sobreyectiva y por lo tanto G ' Zn .
Ahora sea G =< a > un grupo cı́clico infinito. Definamos la función f : G −→ Z por
f (ak ) = k para todo k ∈ Z. Puesto que ak = aj ←→ ak−j = e ←→ k − j = 0 (pues G es de
orden infinito) ←→ k = j, se sigue que f es 1 a 1. Además, de la definición de f , es claro que
f es sobreyectiva en Z. Finalmente,
De este ejemplo 7, se deriva el siguiente corolario: Dos grupos cı́clicos del mismo orden
son isomorfos. (Se deja como ejercicio al Lector la prueba del mismo).
Es claro que G es un grupo cı́clico generado por i (también por −i). Por otro lado K4 es
un grupo en el cual a2 = b2 = c2 = e, es decir, ninguno de sus elementos es de orden 4 y por
13
lo tanto K4 no es cı́clico. En conclusión K4 y G no son isomorfos.
Lo anterior nos lleva a pensar que hay al menos dos grupos no isomorfos de orden 4. Proba-
remos a continuación que hay exactamente dos grupos no isomorfos de orden 4.
En efecto, sea G un grupo de orden 4 no cı́clico (como K4 , digamos). En tal caso, nin-
guno de sus elementos puede tener orden 4, pues si existiera g ∈ G tal que o(g) = 4, entonces
G = {e, g, g 2 , g 3 } con lo cual G serı́a cı́clico, es decir G =< g > lo que contradice el supuesto
inicial.
Sea G = {e, a, b, c}. Puesto que el orden de cada elemento divide al orden de G, entonces
a, b y c son de orden 2. Si ab = a, entonces b = e, lo cual es una contradicción; Luego ab 6= a.
De igual manera, ab 6= b. Supongamos que ab = e. Entonces a(ab) = ae y en consecuencia
b = a, pues a2 = e, lo cual es de nuevo una contradicción. Por lo tanto, ab = c. Similarmen-
te, ba = c, y, ab = ba. Utilizando un razonamiento similar, se obtiene que ac = b = ca, y,
bc = a = cb. Hemos encontrado que G es un grupo conmutativo y que su tabla de composición
es la misma de K4 . En consecuencia hay un único grupo no cı́clico de orden 4 que es el cuarto
grupo de Klein.
Puesto que todos los grupos cı́clicos del mismo orden son isomorfos, hemos encontrado exac-
tamente dos grupos no isomorfos de orden 4: el cuarto grupo de Klein y el grupo cı́clico de
orden 4, semejante al de las raı́ces cuartas de la unidad imaginaria.
Por otro lado, como todo grupo cı́clico es conmutativo, y, todo grupo de orden primo es
cı́clico, se sigue que si un grupo es no conmutativo, entonces debe ser de orden mayor o igual
que 6.
Ejercicios:
14
√ √
a 5b
d) f : G −→ G0 , con f (a + b 2) = , donde G = {a + b 2|a, b ∈ Q} y
0 a
0 a 5b
G ={ |a, b ∈ Q}.
0 a
x y
e) f : (M2 (R, +)) −→ (R, +) tal que f = x + w.
z w
f ) Sean (Z, +) y G = {e, g} el grupo cı́clico de orden 2 y la función f : Z −→ G por
(
e, si n es par
f (n) =
g, si n es impar .
g) f : G −→ G donde
R G es el grupo de polinomios en x con coeficientes reales y f la aplicación
f (p(x)) = P (x) = p(x)dx, con P (0) = 0.
dp
h) f : G −→ G donde G es como en el inciso anterior y f (p(x)) = p0 (x) = .
dx
i) Sea Rn = {(a1 , a2 , ..., an )|ai ∈ R}. Demuestre que la aplicación
2.
a) Demuestre que (Z12 , ⊕) no es isomorfo a (Q+ , ·).
b) Demuestre que los grupos (Z, +) y (Z, ∗) donde a ∗ b = a + b − 1 son isomorfos me-
diante la función f : (Z, +) −→ (Z, ·) definida por f (x) = x + 1.
c) Demuestre que los grupos (R∗ , ·) y (R − {1}, ∗), donde x ∗ y = x + y − xy son isomor-
fos mediante la función f : (R∗ , ·) −→ (R − {1}, ∗) definida por f (x) = 1 − x.
e) Demuestre que (Q, +) no es isomorfo a (R, +) y que (Z, +) no es isomorfo a (R, +).
3.
a) Encuentre todos los homomorfismos de Z en Z. ¿Cuántos de ellos son sobreyectivos?
4. Sea G = {(x, y)|x, y ∈ R, y 6= 0}. Entonces para cada (x, y), (z, w) ∈ G, G es un grupo no
conmutativo bajo la operación (x, y) ∗ (z, w) = (x + yz, yw). Sean H = {(x, y) ∈ G |x = 0} y
k = {(x, y) ∈ G |y > 0}. Pruebe que H ∩K ' (R+ , ·) donde (R+ , ·) es el grupo multiplicativo
de los números reales.
15
5. Sea G = {x ∈ R| − 1 < x < 1}. Demuestre que (G, ∗) ' (R, +), donde se define una
x+y
operación binaria ∗ en G por ∀x, y ∈ G, x ∗ y = 1+xy .
7. Pruebe que S3 y Z6 no son isomorfos, pero que para cada subgrupo propio de H de
S3 , existe un subgrupo propio K de Z6 tal que H ' K.
Observación: Otra manera equivalente de enunciar este importante resultado es como si-
gue: “Cualquier grupo finito G es isomorfo a algún subgrupo de (S(G), ◦) el grupo de todas
las permutaciones del conjunto G”.
RELACIONES
3. Se define en Z la relación aRb ←→ 4|(a + 3b). Pruebe que R es de equivalencia. Des-
criba e interprete las clases de equivalencia y halle el conjunto cociente.
Solución: R es de equivalencia.
• Simetrı́a: Si aRb, entonces 4|a + 3b. Luego a + 3b = 4n, n ∈ Z. Por otro lado, 3(a + 3b) = 12n
y por lo tanto b + 3a = 4(3n − 2b). Ası́ b + 3a = 4m, con m = 3n − 2b ∈ Z, es decir 4|b + 3a,
o bien bRa.
• Transitividad: Si aRb y bRc, entonces 4|a + 3b y 4|b + 3c. O bien (a + 3b) + (b + 3c) = 4n + 4m
donde m, n ∈ Z. Es decir que a + 3c = 4(n + m − b) = 4t, con t ∈ Z. Luego aRb y bRc −→ aRc.
[0] = {x ∈ Z : xR0} = {x ∈ Z : 4|x + 3.0} = {x ∈ Z : 4|x} = {0, ±4, ±8, ..., ±4k, k ∈ Z}.
16
[3] = {x ∈ Z : xR1} = {x ∈ Z : 4|x + 9} = {..., −5, −1, 3, 7, 11, ...} = {4k + 3 : k ∈ Z}.
4. Sea P el conjunto de todos los polinomios de grado menor o igual que 3((∂P (x)) 6 3). Un
elemento p ∈ P (x) puede expresarse como p(x) = ax3 + bx2 + cx + d, con a, b, c ∈ R. Se define
en P una relación R por pRq ←→ p y q tienen una raı́z común. Analice si R es de equivalencia
en P .
Solución:
5. Sea F el conjunto de todas las funciones de valor real y variable real. Dadas f (x), g(x) ∈ F ,
se define la relación:
f (x) − g(x)
f (x)Rg(x) ←→ lı́m =0
x→0 x2
Probar que R es de equivalencia.
Solución:
f (x)−g(x)
• Simetrı́a: Dadas f (x), g(x) ∈ F , f (x)Rg(x) ←→ lı́m x2
= 0.
x→0
g(x)−f (x) f (x)−g(x)
Pero, lı́m x2
= − lı́m x2
= −0 = 0 ←→ g(x)Rf (x).
x→0 x→0
f −g
• Transitividad: Para toda f (x), g(x), h(x) ∈ F , se tiene que f Rg ←→ lı́m 2 , y, gRh ←→
x→0 x
lı́m g−h
2 = 0. Por otro lado,
x→0 x
17
Ejercicios:
b) Suponga que “par” es reemplazado por “impar”. Explique qué propiedades reflexividad,
simetrı́a y transitividad tiene ahora R.
3. Demuestre o refute.
PRODUCTO CARTESIANO
Si A y B son conjuntos, el producto cartesiano de A y B es el conjunto
A × B = {(a, b) : a ∈ A ∧ b ∈ B}
18
:
Los siguientes aspectos merecen especial atención:
A × B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}.
B × A = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}.
Claramente A × B 6= B × A.
19
Prueba:
Prueba: (Ejercicio).
i) A × (B ∪ C) = (A × B) ∪ (A × C).
ii) A × (B ∩ C) = (A × B) ∩ (A × C).
iii) A × (B − C) = (A × B) − (A × C).
Demostración:
(x, y) ∈ A × (B ∪ C) ←→ x ∈ A ∧ y ∈ (B ∪ C)
←→ x ∈ A ∧ (y ∈ B ∨ y ∈ C)
←→ (x ∈ A ∧ y ∈ B) ∨ (x ∈ A ∧ y ∈ C)
←→ (x, y) ∈ A × B ∨ (x, y) ∈ A × C
←→ (x, y) ∈ (A × B) ∪ (A × C)
20
iii)
(x, y) ∈ (A × B) − (A × C) ←→ (x, y) ∈ A × B ∧ (x, y) ∈
/ (A × C)
←→ (x ∈ A ∧ y ∈ B) ∧ ∼ (x ∈ A ∧ y ∈ C)
←→ (x ∈ A) ∧ y ∈ B) ∧ (x ∈
/A ∨ y∈
/ C)
←→ ((x ∈ A) ∧ y ∈ B) ∧ x∈
/ A) ∨
(x ∈ A ∧ y ∈ B) ∧ y∈
/ C)
←→ (x ∈ A ∧ y ∈ B) ∧ y∈
/C (pues x ∈ A ∧ x ∈
/ A es una contradicción)
←→ x ∈ A ∧ (y ∈ B ∧ y∈
/ C)
←→ x ∈ A ∧ y ∈ (B − C)
←→ (x, y) ∈ A × (B − C)
Ejemplos:
A × B = {({1, 2}, (a, b)), ({1, 2}, (c, d)), ({3}, (a, b)), ({3}, (c, d))}.
• A × (B ∪ C) = {a, b} × {2, 3, 4} = {(a, 2), (a, 3), (a, 4), (b, 2), (b, 3), (b, 4)}.
• (A × B) ∪ (A × C) = {(a, 2), (a, 3), (b, 2), (b, 3)} ∪ {(a, 3), (a, 4), (b, 3), (b, 4)}
= {(a, 2), (a, 3), (b, 2), (b, 3), (a, 4), (b, 4)} = A × (B ∪ C).
• (A × B) ∩ (A × C) = {(a, 2), (a, 3), (b, 2), (b, 3)} ∩ {(a, 3), (a, 4), (b, 3), (b, 4)}.
Ejercicios:
21
El Teorema Fundamental de la Aritmética:
Todo número entero a > 1 puede escribirse como producto de números primos y además
de manera única, si no se tiene en cuenta el orden de los factores.
Demostración:
a = p1 · q1
= p1 · p2 · q2
= p1 · p2 · p3 · q3
..
.
= p1 · p2 · p3 . . . pn · qn
= p1 · p2 · p3 . . . pn pues qn = 1.
Como p2 |p2 · p3 . . . pn , luego p2 /q2 · q3 . . . qm ; de nuevo podemos suponer que p2 |q2 y entonces
p 2 = q2 .
Lo cual es imposible pues los números qi > 1, para cada i, 1 6 i 6 m. Por otro lado. Si
m < n, llegaremos a 1 = pm+1 . . . pn .
22
Bibliografı́a
[1] PINZÓN, A. (1975). Conjuntos y Estructuras 1a Edición. Harper, México.
[2] CAICEDO J. (2004). Teorı́a de Grupos. Editorial Universidad Nacional de Colombia, Bo-
gotá, Colombia.
[3] HERSTEIN I. (1980). Topics in Álgebra. 2nd Edition. John Willey, New York, USA.
[4] FRALEIGH, J. (1938). Álgebra Abstracta. Primer curso. Adisson Wesley Iberoamericana,
México.
[8] CASTRO R. (2013). Álgebra Moderna e Introducción al Álgebra Geométrica. Ecoe Edi-
ciones, Bogotá, Colombia.
[9] CHARRIS J Y Otros. (2013). Álgebra, Fundamentos, Grupos, Cuerpos y Teorı́a de GAlois.
Academia Colombiana de Ciencias Exactas, Fı́sica y Naturales. Colección Julio Carrizosa Va-
lenzuela N. 26, Bogotá, Colombia.
[11] BLOCH E. (2011). Proofs and fundamentals. A First course in Abstract Matemátics.
2nd Edition Springer - Verlag, USA.
[12] LIMA E. (1976). Curso de Analise, Volume I. Instituto de Matemática Pura e Aplica-
da (IMPA) 7a Edición.
[14] BAUMSLAG B Y CHANDLER B. (1968). Theory and Problems of Group Theory. Schaum’s
Outline Series. Mc Graw Hill, New York, USA.
[15] HILL J et al. (1994). Abstract Algebra for Secondary Mathematics Teachers. University -
Central Texas.
[16] GALLIAN J. (1999). Contemporay Abstract Algebra. 8th Edition. Brooks/Cole Cenga-
23
ge Learning. Boston, MA, U.S.A.
[17] JUDSON T. (2009). Abstract Algebra. Theory and Applications. Stephen F. Austin Stale
University.
[18] BEACHY JOHN. (2014). Abstract Algebra. A Study for Begginers. Northern Illinois Uni-
versity.
[19] BIRKHOFF G Y MAC LANE S. A Survey of Modern Algebra. 4th Edition. McMillan, New
York, USA.
24