UNIVERSIDAD CENTRAL DEL ECUADOR

Facultad de Ingeniera,
Ciencias Fsicas y Matemtica
INGENIERA MATEMTICA
ESTRUCTURAS ALGEBRAICAS

Nombre: Vera Ponce Danilo Javier

Curso: Cuarto
H O M E W O R K
1.-

G is a group. Show that G y G by automorphisms.

: G ! Aut(G)
g 7! (g)
(g) : G ! G
x 7! gxg

Queremos probar que la funcin dada es un isomorsmo

Lo haremos probando que esta funcin es un homomorsmo
biyectivo.
i)

(g) es un homomorsmo:

x; y 2 G

ii)

(g)(xy) = gxyg 1
= g(xg 1 gy)g 1
= (gxg 1 )(gyg 1 )
= (g)(x) (g)(y)

(g) es inyectivo:

Tomamos x; y 2 G probemos que es inyectiva

(g)(x) = (g)(y) ()
gxg 1 = gyg 1
1
=) g gxg 1 = g 1 gyg 1
=)
xg 1 = yg 1
=)
xgg 1 = ygg 1
=)
x=y
Por tanto (g) es inyectiva.
O tambin:
Tenemos que (g)(x) = 1 si y solo si
gxg 1 = 1 () x = gg 1 = 1
1

Se observa que el kernel de (g) es unicamente la

identidad en G (1 2 G) por tanto (g) es inyectiva.
iii)

(g) es sobreyectiva:

Tomamos y 2 G entonces (g)(x) = gxg 1 = y

=) x = g 1 yg

por tanto
2.-

Luego (g)(x) = (g)(g 1 yg)

= gg 1 ygg :1
=y
(g) es sobreyectiva.

Show that St(x)

G is a subgroup.

St(x) = fg 2 G / gx = xg
i)

: St(x) ! G

1 2 G =) 1x = x =) 1 2 St(x)
ii)

iii)

g 2 G entonces
gx = x
entonces g 1 gx = g 1 x
x = g 1x
1
1
g 2 G y g x = x =) 9g
si g; h 2 St(x)
entonces (gh) x = g (h x) = g x = x
por lo que gh 2 St(x)

2 St(x)