SOLUCIONARIO DE TP VIII DE LGEBRA I DE ARMANDO ROJO Por Julio Mendoza Garca

8-40. Sea Aut(G) el grupo de los automorfismos del grupo (G, *), con la

composicin de funciones. Demostrar que la funcin F: G Aut(G) a F(a) = fa es un morfismo. SOL. Es decir, segn F, a cada elemento a de G, le corresponde una funcin de Aut(G), es decir le corresponde el automorfismo f a. Debemos demostrar que para cualesquiera elementos a y b de G, se cumple: F(a*b) = F(b) F(a) En efecto: F(a*b)(x) = fa*b(x) = (a*b)-1*x*(a*b) = b-1*a-1*x*a*b = b-1*(a-1*x*a)*b = b-1(fa(x))*b = fb(fa(x) = (fb fa)(x)

[Por definicin de F] [Por definicin de fa automorfismo] [Por el teorema para LCI: (a*b)-1 = b-1*a-1] [* es asociativa pues es LCI de un grupo] [Por definicin de fa] [Por definicin de fa, en este caso de fb] [Por definicin de composicin de funciones]

F(a*b)(x) = (fb fa)(x) = (F(b) F(a))(x)

E.d. F(a*b) = F(b) F(a) E.d. F es morfismo de G en Aut(G)

8-42 Con relacin a los grupos del ejercicio anterior, demostrar que la funcin f: (G, *) (G, ) x f(x) = x es un isomorfismo. SOL. i) Los grupos del ejercicio 8-41 se presentan as: Sea (G, *) un grupo. En G se define la operacin mediante ab=b*a Se demuestra que (G, ) es un grupo y que ambos son iguales si y slo si * es conmutativa. ii) f es morfismo, e.d. f(a * b) = f(a) f(b) En efecto: f(a * b) = (a * b) = b * a = a b = f(a) f(b)

[Def. de f(x)] [Teorema para LCI: (a * b) = b * a] [Def. de ] [Def. de f(x)]

f es morfismo.
iii) f es inyectiva En efecto: f(x) = f(y) x = y x=y E. d. f es inyectiva iv) f es suprayectiva En efecto: [Hiptesis auxiliar] [Def. de f(x)] [Teorema de la unicidad del simtrico]

y G( x = y G: f(x) = (y) = y)
v) CONCLUSIN.- De ii), iii) y iv) establecemos que f es isomorfismo.

8-46 Demostrar que el semigrupo (X, *): es un grupo si y slo si las ecuaciones x * a= b y a * x = b son resolubles en X. Demostracin i) Parte ]: Si el semigrupo (X, *) es un grupo que las ecuaciones x * a= b y a * x = b son resolubles en X. En efecto: a) x * a= b x * a * a-1 = b * a-1 x * e = b * a-1 x = b * a-1

[Por definicin de LCI] [Por hiptesis parcial G es grupo y por def. de a-1] [Porque G es grupo y por def. de elemento neutro]

x * a= b es resoluble en X
b) Anlogamente, se demuestra que: a * x = b x = a-1 * b. Es decir que a * x = b es resoluble en X c) De a) y b) queda demostrada la parte ]. ii) Parte ]: Si en el semigrupo (X, *), las ecuaciones x * a= b y a * x = b son resolubles en X (X, *) es un grupo En efecto:

a) * es asociativa [Por definicin de semigrupo] b) Existe un elemento neutro. As es:

b1) Toda ecuacin a * x = b es resoluble en X

[Por hiptesis

parcial] que toda ecuacin a * x = a es resoluble en X [Por hiptesis parcial] x = e [Definicin de e]

b2) Toda ecuacin x * a = b es resoluble en X b3)

[Por hiptesis

parcial] que toda ecuacin x * a = a es resoluble en X [Por hiptesis parcial] x = e [Definicin de e]

De b1) y b2) Hemos demostrado la existencia del elemento neutro e.

c) Todo elemento es simetrizable As es: c1) Toda ecuacin a * x = b es resoluble en X [Por hiptesis

parcial] que toda ecuacin a * x = e es resoluble en X [Por hiptesis parcial] -1 -1 x=a [Definicin de a ]

b2) Toda ecuacin x * a = b es resoluble en X b3)

[Por hiptesis

parcial] que toda ecuacin x * a = e es resoluble en X [Por hiptesis parcial] -1 -1 x=a [Definicin de a ]

De c1) y c2) Hemos demostrado que todo elemento de X tiene inverso en X.

iii)

De i) y ii) hemos demostrado que dado un semigrupo (X, *) se cumple: (X, *) e grupo si y slo si las ecuaciones x * a= b y a * x = b son resolubles en X.