0

To my understanding, two subgroups are conjugates if they belong to the same conjugacy class. So I have to ''pick'' subgroups from different conjugacy classes. Of course the chosen subgroups have to be of the same order in order to be isomorphic.

But how may I go about coming up with those groups? Any hint would be helpful.

Chris Brooks
  • 7,424
asd
  • 1,765

1 Answers1

1

If $H\le G$ is a subgroup and $g\in H$ an element, then $gHg^{-1}=\{ghg^{-1}:h\in H\}$ (the image of $H$ under the automorphism $f(x):=gxg^{-1}$) is a conjugate of $H$.

(Usually the term "conjugacy class" refers to "conjugacy class of elements," in which case the conjugacy class of $x$ is given by $\{gxg^{-1}:g\in G\}$. A conjugacy class will never contain a subgroup, except for the conjugacy class $\{e\}$ which is itself the trivial subgroup.)

For permutations, conjugating a permutation preserves its cycle type. (In fact, the conjugacy class of a permutation - the set of all other permutations conjugate to it - will be the set of all permutations with the same cycle type.) Thus, conjugating a subgroup will not change the number of permutations it has of each cycle type.

So, here's an idea. Find two different elements of order $12$ that have different cycle types. See if the subgroups they generate have the same number of elements of each cycle type.

anon
  • 151,657
  • I was considering $\tau = (123)(4567)$ and $\sigma = (12)(345)(7689)$. We have that $o(\tau) = \mathbb{lcm}(3,4) = 12 = \mathbb{lcm}(2, 3,4) = o(\sigma)$. Since is we take the cyclic subgroup $(\langle \tau \rangle)$ and $(\langle \sigma\rangle)$ we have that they are isomorphic since they have the same order. Am i mistaking somewhere here? – asd Apr 02 '17 at 19:53
  • @Jazz Nope, no mistake. Now does $\langle\tau\rangle$ have any elements with the same cycle type as $\sigma$? – anon Apr 02 '17 at 19:54
  • So if I'm understanding: I have to ''take power'' of $\tau$ and $\sigma$ up to $11$ and check whether $\tau^i \neq \sigma^j$ for $i,j \in (1,11)$ (in the sense of cycle type). Only if this condition holds for every $i$ and $j$ in $(1,11)$ I can claim that $(\langle \tau \rangle)$ and $(\langle \sigma\rangle)$ are ''fully'' nonconjugates, right? – asd Apr 02 '17 at 20:04
  • No, it's not enough to check the $\tau^i$s don't equal the $\sigma^j$s. That would only mean the two subgroups intersect trivially. To show they are not conjugate, it suffices to show none of the powers of $\tau$ have the same cycle type as $\sigma$. (Because if $\langle\tau\rangle$ and $\langle\sigma\rangle$ were conjugate, then $\langle\tau\rangle$ would contain an element conjugate to $\sigma$, i.e. of the same cycle type. You can prove that right?) – anon Apr 02 '17 at 20:07
  • It seems to me that what you've said is what I meant with ''in the sense of cycle type'' in my previous comment (:. So it suffices to take powers of $\tau$ and compare them with $\sigma$. I mean, take powers of $\sigma$ is not necessary? – asd Apr 02 '17 at 20:13
  • 1
    No, taking powers of $\sigma$ is not necessary. – anon Apr 02 '17 at 20:19