4.

- Justificando sus respuestas, determine la verdad o falsedad de las siguientes

Afirmaciones
a) Si S es subgrupo de G, y f : G → H un homomorfismo, entonces f(S) es un
subgrupo de H.
b) SI f : G → H y g : H → K son isomorfismos de grupos, entonces
g o f : G→ K es isomorfismo de grupos.
A)

f (S) c H entonces si f (x1) є S entonces f (x1) є H

f:G* → H entonces si a, b є G* entonces existe algún f(a) = x, f (b) = y; x, y є H

HOMOMORFISMO

F (a*b)= f(a) o f(b)= x o y

S es un subgrupo de G

S c G ENTONCES Si x1 є S ENTONCES x1 є G

S diferente al vacío y para todo a, b є S ENTONCES a*bє S

i) F(s) diferente al vacío entonces f (a*b)= f(a) o f(b)= x o y; como f: G H es un

homomorfismo H es semigrupo por tanto no es vacío entonces f (a*b) diferente al
vacío
ii) f (S) c H entonces f (a*b)= f(a) o f(b)= x o y
f: G → H; donde G es grupo
f(G)=h entonces f(a*b)= h1 y f(c*d)= h2 / para todo a, b, c, d є G
H es no vacío, h1 o h2 = f(a*b) o f(c*d) = f((a*b)*(c*d)), (a*b)*(c*d)) є G
Entonces f((a*b)*(c*d)) є H, H cumple la ley de cerradura para o; entonces f(a*b)
pertenece a H entonces f(s) c H
iii) f(s1), f(s2) є f(s) entonces f(s1) * f(s2) є f(s)
f((a*b)*(c*d)) y a*b= s1, a*b є S y c*d= s2, c*d є S
f((a*b)o(c*d)) = h H entonces h= f(G) entonces hє f(s)
POR LO TANTO f(s)es un subgrupo de H

b) Si f : G → H y g : H → K son isomorfismos de grupos, entonces g o f :

G→ K es isomorfismo de grupos.
Resolución:
Si g1 y g2 ∈G ⇒ f ( g 1 )=h 1 y f ( g 2 )=h 2, donde h 1 y h 2 ∈ H y k1 y k2 ∈ K
Luego si el operador de G es (*), el de H (o) y K (!):
f ( g 1∗g 2 ) =f ( g 1 ) o f ( g 2 ) =h 1 o h 2… (1)
∧
g ( h 1 o h 2 )=g ( h 1 ) ! g ( h 2 )=k 1 ! k 2 …(2)
De las expresiones (1) y (2):
f ( g 1∗g 2 ) =h 1o h2
gof ( g 1∗g 2 ) =g(h 1 o h 2)
gof ( g 1∗g 2 ) =k 1! k 2

Por lo tanto g o f : G→ K es isomorfismo de grupos.