LIZETH VARGAS VERA

LGEBRA MODERNA
Al10503732

UNIDAD1, ACTIVIDAD 2.GRUPOS Y PERMUTACIONES

3.1 Determnese cules de los siguientes subconjuntos de los

nmeros complejos son subgrupos bajo la suma del grupo C de
los nmeros complejos bajo la suma.
R

Demostracin:
La operacin binaria, es asociativa. Tomando 2 nmeros que pertenezcan a
tenemos:

a,b,c R

Se cumple la propiedad.
es un subgrupo de

contenidos en

ya qu los elementos que estn en

estn

+
Q
El conjunto no es un subgrupo de los nmeros complejos bajo la suma del grupo C, puesto
que el inverso de cada elemento no se encuentra dentro del subconjunto.

Esto es a y b elementos de

+
Q , la definicin de los nmeros racionales positivos es

+|b 0 }
a

+={ , a , b Z . Esto refiere a que el nmero identidad de C est en el conjunto, pero

b
Q
no

todos

los

elementos

tienen

un

inverso

en

el

mismo

puesto

que:

a a'
a a
+ =0, esto es =
, y elelementoa o el elementob no se encuentran en Z
b b'
b b

7Z
Tenemos que para los nmeros

positivos las propiedades se cumplen pero no para los

negativos; y todos los elementos deben estar contenidos en C para que

subgrupo de

tenga que ser

C , as para los nmeros positivos tenemos que:

7 es subgrupo de C pues los elementos que estn en 7 negativos

pertenecen o estn contenidos en C.

El conjunto

iR

de los nmeros imaginarios puros

incluyendo 0

Tenemos que de los nmeros imaginarios puros incluyendo 0 no es subgrupo

de , ya que los elementos que estn en de los nmeros imaginarios puros
incluyendo 0 no pertenecen o no estn contenidos en C.

El conjunto

de los mltiplos racionales de

1.

1.

de los mltiplos racionales de es subgrupo de pues los elementos que

estn en Q

de los mltiplos racionales de

contenidos en .

El conjunto

{ n|n Z }

a , b , c { |n Z }
tal que

( a+b )+ c=a+(b+ c)
n

Sea a { |n Z }
Tal que
a+0=a

Sea a { n|n Z }
Tal que
a+ (a ) =0
b+ (b ) =0

pertenecen o estn

{ |n Z } es subgrupo de pues los elementos que estn en

{ |n Z }

no presentan suma por ser potencias enteras no pertenecen o estn

contenidos en , por lo que no es subgrupo bajo la suma de C porque no existe
la suma y por tanto no es cclico.

3.4 Cules de los siguientes grupos son cclicos? Para cada

grupo cclico obtngase todos los generadores del grupo.
Z ,+
G1=

Q ,+
G2=
No es cclico, ya que como sabemos los nmeros racionales son nmeros fraccionarios;
pero estos nmeros no tienen consecucin, ya que entre cada nmero racional existen
infinitos nmeros que solo pudieran escribirse por siempre.
Suponiendo que sea cclico bajo la adicin, as que existe un elemento p/q que lo

genera

n(p/q)

n Z , genera Q , as que para todo elemento de Q

tiene

la forma np/q

Generando racionales positivos:

+ ,

Q
G3=
No es cclico ya que no existe un elemento en los racionales que genere para grupos
multiplicativos del conjunto.
Generadores enteros positivos:

Generadores enteros negativos:

No es un grupo cclico

6 Z ,+
G 4 =
Es cclico.
Si

G 4 = 6 Z

se dice que

generadores de

6 Z

genera a

G 4 , y los elementos de 6Z se llaman

G4 entonces:

Es un grupo cclico.

4.2 Cules de las siguientes funciones de R en R son permutaciones de

R?
Tenemos que para que una funcin sea permutacin debe cumplir con
ciertas propiedades como son:

a)

Sea biyectiva
Sea inyectiva
Sea sobreyectiva
f 1 : R R definida por f 1 ( x )=x+ 1
Tenemos que

es la funcin real biyectiva, su funcin inversa es 1

existe y es biyectiva.
Probando tenemos:
Biyectiva
1() = + 1
Su inversa
1() = 1
Tambin los es
Y como es suprayectiva tenemos que
Podemos observar que toda la funcin tiene

ax

pues

() =
Por lo tanto es suprayectiva.

Es permutacin de R.

b)

f 2 : R R definida por f 2 ( x )=x 2

Esta funcin no es una permutacin ya que no es uno a uno, a cada elemento de la imagen le
corresponden 2 nmeros.

c)

f 3 : R R definida por f 3 ( x )=x 3

Teniendo f (2)y f(-2), forma una nueva funcin :+ + entonces
genera nmeros negativos que pertenecen

ax

por lo que:

(2) = 4
(2) = 4)
Y como es suprayectiva tenemos que
Podemos observar que toda la funcin tiene a x pues
() =
Por lo tanto es suprayectiva.

Es permutacin de R.

f 4 : R R definida por f 4 ( x )=e

No es permutacin porque no genera nmeros negativos que tengan relacin

con x, es inyectiva pero no supreyectiva, lo cual no es biyectiva pues al no
cumplirse la supreyeccion deja de ser proyectiva.

f 5 : R R definida por f 5 ( x )=x 3x 22 x

No es biyectiva.
5() = x3 x2 2x
Luego su inversa
1() =
3 2 2
No lo es
Ya que
Podemos observar que la funcin no tiene a x pues () = .

No es una permutacin de R.

4.4 Obtngase la tabla de multiplicacin para el subgrupo cclico de

S5

generado por
= 1 23 4 5
24513

Sus elementos son:

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

Las permutaciones son:

0= 6= 12 3 4 5 3= 12 3 4 5
12 3 4 5
4 5 1 23

) (

= 1 23 4 5 4= 12 3 4 5
23451
51 2 3 4

) (

2= 12 3 4 5 5= 1 23 4 5
34512
54321

) (

La tabla del subgrupo cclico de

S 5 , quedara de la siguiente forma:

2 3 4 5

0 0

2 3 4 5

2 3 4 5 0

2 2 3 4 5 0
3 3 4 5 0
4 4 5 0
5 5 0

El grupo

2 3

2 3 4

S 5 no es isomorfo a S 3 , puesto que no existe una funcin biyectiva que conserve la

operacin, es decir f(ab)=f(a)f(b), esto es porque los conjuntos no son abelianos, pues conservan la
conmutatividad. Puesto que un grupo abeliano es una estructura algebraica G que es grupo pero la
operacin binaria es conmutativa. Esto es

No es isomorfo a

a , b G :ab=ba

S 3 por lo que no es cclico.