MHB What is the pre-image of a group homomorphism?

[Chris L T521]

Here's this week's problem.

-----

Problem: Let $G$ be a group and let $f:G\rightarrow H$ be a group homomorphism. If $U\leq G$, show that $f^{-1}(f(U))=U\ker(f)$.

-----

Note: In this case $f^{-1}$ refers to the pre-image of $f$, not it's inverse!

 

[Chris L T521]

This week's question was correctly answered by Deveno. His answer can be found below.

Spoiler

we will show the two sets are equal by showing they contain each other.

suppose that [math]g \in Uker( f)[/math].

then [math]g = uk[/math] for some [math]u \in U, k \in ker( f)[/math].

hence [math]f(g) = f(uk) = f(u)f(k) = f(u)e_H = f(u)[/math] (because f is a homomorphism), so [math]f(g) \in f(U)[/math],

so [math]g \in f^{-1}(f(U))[/math].

on the other hand, suppose [math]g \in f^{-1}(f(U))[/math].

this means that [math]f(g) \in f(U)[/math], so [math]f(g) = f(u)[/math] for some [math]u \in U[/math].

hence [math](f(u))^{-1}f(g) = e_H[/math], and because f is a homomorphism:

[math](f(u))^{-1}f(g) = f(u^{-1})f(g) = f(u^{-1}g)[/math],

so [math]f(u^{-1}g) = e \implies u^{-1}g \in ker(f)[/math],

so [math]u^{-1}g = k[/math], for some [math]k \in ker(f)[/math],

thus [math]g = uk \in Uker(f)[/math], QED.