- #1

- 1,462

- 44

## Homework Statement

Let ##G## be a group and let ##G## act on itself by left conjugation, so each ##g \in G## maps ##G## to ##G## by ##x \mapsto gxg^{-1}##. For fixed ##g \in G##, prove that conjunction by ##G## is an automomorphism of G. Deduce that ##x## and ##gxg^{-1}## have the same order for all ##x## in ##G## and that for any subset ##A## of ##G##, ##|A| = |gAg^{-1}|##.

## Homework Equations

## The Attempt at a Solution

Here is how I approached the problem. Let ##\sigma_g = gxg^{-1}##. I will take it as given that ##\sigma_g## is a bijection from ##G## to ##G##, as I have already proved this in the general case before and don't feel like doing it again. Thus, we must only show that ##\sigma_g## is a homomorphism. Let ##x_1, x_2 \in G##. Then ##\sigma_g (x_1x_2) = g x_1 x_2 g^{-1} = g x_1 g^{-1} g x_2 g^{-1} = \sigma_g (x_1) \sigma_g(x_2)##. So ##\sigma_g## is an automorphism.

We can say that ##|x| = |gxg^{-1}|## because isomorphisms preserve order and we can say that ##|A| = |gAg^{-1}|## because ##\sigma_g## is injective and so the elements in ##A## will be mapped to distinct elements.