GROUP THEORY SYMBOL

GTQuotientGroupQ

GTQuotientGroupQ[group1,group2]
gives True if group1 and group2 can form a quotient group, and False otherwise.

DetailsDetails

  • If the order of group2 is larger than the order of group1 both groups will be interchanged.
  • It will be checked if group2 is a subgroup of group1 and if group2 is an invariant subgroup of group1.
  • The following options can be given:
  • GOFastGOFastValueControls the input validation
    GOVerboseFalseControls the output of additional information

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

First load the package:

In[1]:=
Click for copyable input

Install group and .

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

Find all subgroups of .

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

is obviously not a subgroup of and a quotient group cannot be built.

In[5]:=
Click for copyable input
Out[5]=
In[6]:=
Click for copyable input
Out[6]=
In[7]:=
Click for copyable input
Out[7]=

Options  (2)Options  (2)

Top