GTConjugacyClass

GTConjugacyClass[group,subgroup]
constructs the set of all subgroups conjugated to a subgroup of a group.

DetailsDetails

  • The conjugacy class of a subgroup in consists of the set of groups conjugate to .
  • If the order of subgroup is larger than the order of group, both groups will be interchanged.
  • The following option can be given:
  • GOFastGOFastValueControls the input validation

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

First load the package:

In[1]:=
Click for copyable input

Install group .

In[2]:=
Click for copyable input
Out[2]=

Find all subgroups.

In[3]:=
Click for copyable input
Out[3]=

Subgroups are , four subgroups isomorphic to , and two subgroups .

Conjugacy classes to all subgroups.

In[4]:=
Click for copyable input
Out[4]=
In[5]:=
Click for copyable input
Out[5]=

All subgroups contain two groups in the conjugacy class. All other conjugacy classes contain the subgroup itself.