Show that $\phi$ induces a canonical homomorphism.

95 Views Asked by At

Can someone give me a hint on how to solve the following question from the textbook Abstract Algebra: Theory and Applications by Thomas W. Judson?

enter image description here

Do I just need to show that $\bar{\phi}$ is a homomorphism using properties from $\phi$?

1

There are 1 best solutions below

0
On BEST ANSWER

You have a commutative diagram $$ \require{AMScd}\begin{CD}G_1 @>\phi>>G_2\\ @VVV@VVV\\ G_1/H_1@>\bar\phi>>G_2/H_2 \end{CD} $$, where the downward arrows are the canonical projections onto the quotients.

So $\bar\phi(gH_1)=\phi(g)H_2$.