- #1
3029298
- 57
- 0
Homework Statement
Let H be a finite subgroup of a group G. Verify that the formula (h,h')(x)=hxh'-1 defines an action of H x H on G. Prove that H is a normal subgroup of G if and only if every orbit of this action contains precisely |H| points.
The Attempt at a Solution
I solved the first part of the question:
[tex]\left(\left(h,h'\right)\left(k,k'\right)\right)\left(x\right)=\left(hk,h'k'\right)\left(x\right)=hkx\left(h'k'\right)^{-1}=hkxk'^{-1}h'^{-1}=\left(h,h'\right)\left(\left(k,k'\right)\left(x\right)\right)[/tex]
This shows that the formula is a group homomorphism from H x H to G, and therefore it defines an action. But for the second part of the question I need a hint.