- #1

- 1,462

- 44

## Homework Statement

Let ##\phi : G \to H## be a homomorphism. Prove that ##\phi (x^n) = \phi (x)^n## for all ##n \in \mathbb{Z}##

## Homework Equations

## The Attempt at a Solution

First, we note that ##\phi (x^0) = \phi(x)^0##. This is because ##1_G \cdot 1_G = 1_G \implies \phi (1_G 1_G) = \phi (1_G) \implies \phi (1_G)^2 = \phi (1_G) \implies \phi (1_G) = 1_H##.

Second, we show that ##\phi (x^n) = \phi (x)^n## where ##n \in \mathbb{Z}^+##. The base case is trivial. Now, suppose for some ##k## we have that ##\phi (x^k) = \phi (x)^k##. Then ##\phi (x^{k+1}) = \phi (x^k x) = \phi (x^k) \phi (x) = \phi (x)^k \phi (x) = \phi (x)^{k+1}##. This proves the result for positive integers.

Third, we prove the result for negative integers. First, we show that ##\phi (x^{-1}) = \phi (x)^{-1}##. ##xx^{-1} = 1_G \implies \phi (xx^{-1}) = 1_H \implies \phi(x) \phi(x^{-1}) = 1_H \implies \phi (x^{-1}) = \phi(x)^{-1}##. So, since the result ##\phi (x^n) = \phi (x)^n## is true for all positive integers, the result ##\phi (x^{-n}) = = \phi ((x^{-1})^n) = \phi (x^{-1})^n = ( \phi (x)^{-1} )^n = \phi (x)^{-n}## must also be true for all positive integers.

Is this argument fine?