1 Attachment(s)

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

Attachment 27819

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)?

1 Attachment(s)

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:

Attachment 27824

1 Attachment(s)

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

Attachment 27834

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 *.

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 $\displaystyle 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 $\displaystyle f\,:\,g\mapsto x_j^{-1}gx_j$. So switching to exponential notation (you can change if you like):

$\displaystyle <e>=H\cap H^{x_ix_j^{-1}}$ implies

$\displaystyle <e>=<e>^{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}$