Ask Your Question

Which subgroups do conjugacy_classes_subgroups() return

asked 2020-09-19 02:29:46 +0200

61plus gravatar image

updated 2020-09-19 04:22:58 +0200

Starting with a group G and subgroup H (up to conjugacy), my task is to find all subgroups (up to conjugacy) that contains H.

  1. Do the subgroups returned by conjugacy_classes_subgroups() satisfy the property that if K and L are two of the returned subgroups such that a conjugate of K is a subgroup of L, then K is a subgroup of L (we can construct a lattice from the subgroups returned)

  2. If not, what will be the most optimal way to do this? My current algorithm checks if any conjugate of H is a subgroup of the list returned in conjugacy_classes_subgroups().

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2020-09-19 11:43:07 +0200

rburing gravatar image

updated 2020-09-19 12:04:55 +0200

  1. The method calls GAP's ConjugacyClassesSubgroups to get the conjugacy classes and then GAP's Representative to get a representative of each. This does not have the property you want. For example SymmetricGroup(4).conjugacy_classes_subgroups() includes both $K=\langle (1,3)(2,4)\rangle$ and $L=\langle (3,4), (1,2)(3,4) \rangle$ where a conjugate of $K$ is a subgroup of $L$ but $K$ is not a subgroup of $L$.

    See symmetric group: get back conjugacy class from its generators if you want the actual conjugacy classes as GAP objects; you will be able to call the methods Representative() and AsList() on them, and on each subgroup you can also call IsSubgroup(H).

  2. I am not a group theorist but your algorithm seems fine to me.

Edit: Maybe I don't have to tell you this but, caveat: being conjugate in a subgroup is a stronger requirement than being conjugate in the full group (because there are fewer elements to conjugate by).

edit flag offensive delete link more



Thank you! That is very helpful.

61plus gravatar image61plus ( 2020-09-19 18:56:50 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2020-09-19 02:29:46 +0200

Seen: 351 times

Last updated: Sep 19 '20