lgebra Moderna I

Unidad 1 Actividad 2

ESTRUCTURAS ALGEBRAICAS
17 de octubre de 2015
Autor: Laura Pontn

lgebra Moderna I
Unidad 1 Actividad 2
Ejercicio 3.1
Determine cules de los siguientes subconjuntos de los nmeros complejos son subgrupos bajo la
suma del grupo de los nmeros complejos bajo la suma.

a)
Sea por la definicin misma de Fraleigh: "Un conjunto B es un subconjunto de un conjunto A denotado por B A A B
si cada elemento de B est en A. Las notaciones B A A B se usarn para B A, pero B A.
Tal que para cualquier conjunto A, A misma y son subconjuntos de A."
Por lo que deducimos que los nmeros Reales bajo la suma al estar completamente contenidos en los nmeros
complejos tambin bajo la suma, son un subgrupo bajo la suma del grupo C de los nmeros complejos bajo la
suma.
Adems de que es un conjunto no vaco, existe un elemento identidad, cumplindose adems con la propiedad
asociativa y finalmente todo elemento es invertible.
( + ) + = + ( + )

lgebra Moderna I | 17/10/2015

+0=

+ () = 0
Que tambin por definicin los Reales son un subgrupo propio de los Complejos.
b) +
Primero vemos que el conjunto de los Racionales positivos + si estn contenidos en el grupo de los Complejos
, sin embargo, de acuerdo a Fraleigh 3.2 Subconjuntos y Subgrupos: ...no debemos considerar al grupo
+ , como contenido en , + aunque + est contenido en como conjunto...No slo se requiere que
el conjunto de un grupo est contenido en el conjunto del otro, sino tambin que la operacin de grupo en

el conjunto menor asigne el mismo elemento a cada par ordenado de este conjunto menor que el asignado
por la operacin de grupo del conjunto mayor.
En consecuencia, para el caso + en no se le debe considerar as, tal que no existe el elemento identidad y no
son invertibles + bajo la suma.
c)
Tal como lo maneja Fraleigh en el ejercicio 3.5 de la pgina 34 entonces considerando al grupo Z bajo la suma y
buscando 7, y a su vez encontrndose contenido en , y encontrndose la operacin de grupo aditiva tambin
contenida por lo que 7 tiene:
7

7 + 7 = 14

7 + 7 + 7 = 21

7 + 7 = 14

y as sucesivamente

7 + 7 + 7 = 21 y as sucesivamente

Por lo que el grupo cclico generado por 7 consta de todos los mltiplos de 7, positivos, negativos y el cero.
Siendo efectivamente un subgrupo denotado por as como tambin por 7.
Por otro lado efectivamente cumple con las tres condiciones asociadas, primero el elemento neutro que en este
caso es el CERO, cumple con la asociatividad dado que se puede formar sumas y ser asociadas, y como tercer
punto cumple con el inverso tal que 71 = 7 Entonces 7 + (7) = 0

Y finalmente, los nmeros bajo la suma al estar completamente contenidos en los nmeros
complejos tambin bajo la suma son un subgrupo bajo la suma del grupo C de los nmeros complejos bajo la
suma.
d) El conjunto de los nmeros imaginarios puros incluyendo
Definiendo entonces que los nmeros imaginarios puros son aquellos nmeros complejos que no tienen parte real,
e incluyendo al cero, tenemos que:
(1) Cumple con la primer condicin dado que el conjunto de los nmeros imaginarios puros incluyendo 0 no
es un conjunto vaco
(2) Cumple con la propiedad asociativa dado que Si Z, W y U son nmeros complejos, entonces se tiene

(3) Existe el elemento neutro tal que si = + nmero complejo

+ 0 = ( + ) + (0 + 0) = ( + 0) + ( + 0) = + =
y siendo un imaginario puro
+ 0 = (0 + ) + (0 + 0) = (0 + 0) + ( + 0) = 0 + =
por lo que si existe el elemento neutro.
y tambin tiene inverso dado que si = + es un nmero complejo el opuesto de este es = ,
el cual es otro nmero complejo, tal que

lgebra Moderna I | 17/10/2015

+ ( + ) = ( + ) +

 + () = () + = 0
An cuando la parte real sea CERO en su caso, sigue la misma propiedad del inverso.
Y finalmente, el conjunto de los nmeros imaginarios puros incluyendo bajo la suma al estar
completamente contenidos en los nmeros complejos tambin bajo la suma son un subgrupo bajo la suma del
grupo C de los nmeros complejos bajo la suma.
e) El conjunto de los mltiplos racionales de
El conjunto de los nmeros son todos aquellos nmeros que pueden representarse como el cociente de dos
nmeros enteros que al ser multiplicados por
(1)
Cumple con la primer condicin dado que el conjunto de los mltiplos racionales de no es un
conjunto vaco.

(2)

Cumple con la propiedad asociativa dado que ( ) + [ () + ()] = [ ( ) + ()] +

() = ( ) + [() + ()] = [( ) + ()] + () = ( ) + () + ()

sobre todo dado que el valor de permanece constante.
(3)

Existe el elemento neutro tal que ( ) + 0 = ( )

y tambin tiene inverso dado que ( ) + [ ( )] = 0

Y finalmente, el conjunto de los mltiplos racionales de bajo la suma al estar completamente
contenidos en los nmeros complejos tambin bajo la suma son un subgrupo bajo la suma del grupo C de los
nmeros complejos bajo la suma.
f) El conjunto { | }
Sea un nmero irracional que al ser elevado a una potencia n|n , va a seguir siendo un nmero irracional
(1)

Cumple con la primer condicin dado que el conjunto { | } no es un conjunto vaco.

lgebra Moderna I | 17/10/2015

(2)
Como son las potencias enteras de pues no puede existir la suma, por ello ya a partir de ah, ya
sabemos que no es un subgrupo bajo la suma del grupo de los nmeros complejos bajo la suma

Ejercicio 3.4
Cules de los siguientes grupos son cclicos? Para cada grupo cclico obtnganse todos los
generadores del grupo.
Definicin: Dado un grupo (G, *), G decimos que G es cclico si =
{k | }
Para K0

Para K>0 < 0

k (1 )k

0
1
2
3 2
.
.
.
k k1

=< , +>
Tal que < , +>= , 1 =
10 = = 0
11 = 1
12 = 1 + 1 = 2
13 = 12 + 1 = 2 + 1 = 3
.

.
Ahora con los negativos
11 = (1)1 = 1
12 = (1)2 = 1 + (1) = 2
13 = (1)3 = (1)2 + (1) = 2 + (1) = 3
... Entonces si es un grupo cclico ya que el generador de este grupo es 1 = y 1 =

lgebra Moderna I | 17/10/2015

 =< , +>

Sea con b0 Donde:

0
( ) ==0

1
( ) =

2 + 2
( ) = + =
=

1 3
2 2 2 + 3
( ) =( ) + =
+ =
=
1

.
.
.
Ahora con los negativos
1
1

( ) = ( ) =

2
2

2
( ) = ( ) = ( ) + ( ) =
=

3
3
2

2 3
( ) = ( ) = ( ) + ( ) =
+ ( ) =
=

No es ciclico
: = { | }
, ,
={

| }

lgebra Moderna I | 17/10/2015

, |

1
(1 ) 1
1 |
=

(1 ) = 1

1 = 1 = 1 1 = 1 = 1

= {/ | } 1/2 2 | ((_2))/ = 1/2

2(2 ) =

(2(2 ) 1) = 0
0 / , 2(2 ) = 1
, | 2(2 ) 1
=< + ,>
0
( ) ==0

1
( ) =

2 2
( ) = =
=

2
3 2 3
( ) = 2 = 3

No es ciclico
=< 6, +>
60 = = 0
61 = 6
62 = 6 + 6 = 12
63 = 6 + 6 + 6 = 18
.
.
.

Ahora con los negativos

62 = (6)2 = 6 + (6) = 12
63 = (6)3 = 6 + (6) + (6) = 18 y as sucesivamente

Es ciclico

lgebra Moderna I | 17/10/2015

61 = (6)1 = 6

 = { | } bajo la multiplicacin.
60 = = 0
61 = 6
62 = 6 6 = 36
63 = 62 6 = 36 6 = 216
.
.
.
Ahora con los negativos
1 1 1
61 = ( ) =
6
6
1 2 1 1
1
62 = ( ) = =
6
6 6 36
1 3

1 2

63 = (6) = (6) 6 = 36 6 = 216

.
.
.

No es ciclico

= { + |, } bajo la suma
0

lgebra Moderna I | 17/10/2015

( + 2) = = 0

( + 2) = + 2
2

( + 2) = ( + 2) + ( + 2) = 2 + 22
3

( + 2) = ( + 2) + ( + 2) = 2 + 22 + + 2 = 3 + 32
y pues no es cclico dado que no se estn generando todos los irracionales

Ejercicios 4.2
Cules de las siguientes funciones de en son permutaciones de ?
Definicin: Una funcin o transformacin de un conjunto A en un conjunto B es una regla que asigna a cada
elemento de a de A exactamente un elemento b de B. Se dice que transforma a en b (o que lleva a en b) y
que transforma A en B
() =
) : definida por () = +
Como es biyectiva es una permutacin uno a uno y sobre 1 () tal como lo vemos en la tabla de valores y si lo
reflejamos en una grfica lo vemos ms claramente, pues si trazamos una lnea horizontal imaginaria que
pudieramos correr paralela al eje x observaramos que siempre corresponde uno a uno y sobre.
x

-1

-2

-1

) : definida por () =

-1

lgebra Moderna I | 17/10/2015

No es una permutacin, es claro que al ser una ecuacin cuadrtica no es biyectiva tal que lo podemos ver en
su tabla y en su grfica

) : definida por () =
Es una ecuacin biyectiva dado que a cada elemento o valor corresponde uno a uno y sobre, eso significa que es
tanto inyectiva como sobreyectiva, podemos observar que la ecuacin viaja hacia arriba y hacia abajo como lo
vemos en la tabla y grfica, con lo cual apreciamos que efectivamente es una permutacin.
x

-1

-1

) : definida por () =
x

1.4

2.70

-1

0.35

-3

0.05

lgebra Moderna I | 17/10/2015

Esta funcin no es biyectiva, porque es inyectiva pero no es sobreyectiva, por lo tanto no es una
permutacin.

) : definida por () =
x

-1

Es evidente que no es una permutacin, porque evidentemente no es biyectiva, es claro toda vez que no cumple
con la Definicin: Una funcin o transformacin de un conjunto A en un conjunto B es una regla que asigna a
cada elemento de a de A exactamente un elemento b de B. Se dice que transforma a en b (o que lleva a en b)
y que transforma A en B

Ejercicios 4.4

Obtngase la tabla de multiplicacin para el subgrupo cclico de 5 generado por

1 2 3 4 5
= 1 = (
)
2 4 5 1 3

Habr 6 elementos. Sean , 2 , 3 , 4 , 5 y 0 = 6 Acaso este grupo es isomorfo a 3 ?

= 1 = (

1
2

2
4

3 4 5
)
5 1 3

1 2
0 = 6 (
4 1

3 4
5 2

5 1
)(
3 2

As para cada uno de los siguientes casos de

2 3
4 5

1
4 5
)=(
1
1 3

2 3
2 3

4 5
)
4 5

lgebra Moderna I | 17/10/2015

El procedimiento del clculo lo vemos ejemplificado de la siguiente manera:

10

2 = (

1
2

2
4

3 4 5
1
)(
5 1 3
2

2
4

3 4 5
1
)=(
5 1 3
4

2
1

3 4 5
)
3 2 5

3 = (

1
4

2
1

3 4 5
1
)(
3 2 5
2

2
4

3 4 5
1
)=(
5 1 3
1

2
2

3
5

4 = (

1
1

2
2

3
5

5
1
)(
3
2

2
4

3 4 5
1
)=(
5 1 3
2

2
4

3 4 5
)
3 1 5

1
2

2
4

3 4 5
1
)(
3 1 5
2

2
4

3 4 5
1
)=(
5 1 3
4

5 = (

4
4

2
1

4
4

5
)
3

3 4 5
)
5 2 3

Habr 6 elementos. Sean , , , , = Acaso este grupo es isomorfo a ?

No es cclico por lo que no es isomorfo

lgebra Moderna I | 17/10/2015

RETRO

11

Hola Laura,Comenzamos la unidad conel estudio de subgrupos, grupos cclicos y grupos depermutacin.
Estas son las calificaciones y los comentarios de cada uno de sus ejercicios.
Ejercicio 3.1
Todos los incisos estn muy bien hechos, felicidades.1 punto.
Ejercicio 3.4
En los incisos G3 y G5 tiene que demostrar que no existe un elemento que genera el grupo. En
el inciso G6, por qu un elemento no genera todo el conjunto dado?. 0.5 puntos.
Ejercicio 4.2
Todos los incisos son correctos, felicidades.1 punto.
Ejercicio 4.4
1 punto. Muy bien.
Total 3.5 de 4 puntos.
Saludos, Hiram.