Math Help - Finding the # of elements of a group that are not in any conjugate to its subgroup

1. Finding the # of elements of a group that are not in any conjugate to its subgroup

Also, just to be clear does G\H denote the right cosets where H<G and Hg = (hg: such that h is an element of H)?

2. Re: Finding the # of elements of a group that are not in any conjugate to its subgrou

Here's a solution with just a couple of details left for you:

3. Re: Finding the # of elements of a group that are not in any conjugate to its subgrou

Thanks a lot for your help, but there is something I'm having trouble with. I'm not used to the H^x notation you were using so I changed one line so it makes more sense to me, but what I don't understand is the implication that I denoted with a red *.

4. Re: Finding the # of elements of a group that are not in any conjugate to its subgrou

Given a function f from X to Y, if f is 1:1, then $f(A\cap B)=f(A)\cap f(B)$ for any subsets A, B of X. So in this situation, let f be the function from G to G where $f\,:\,g\mapsto x_j^{-1}gx_j$. So switching to exponential notation (you can change if you like):
$=H\cap H^{x_ix_j^{-1}}$ implies
$=^{x_j}=(H\cap H^{x_ix_j^{-1}})^{x_j}=H^{x_j}\cap H^{x_ix_j^{-1}x_j}=H^{x_j}\cap H^{x_i}$