GROUP THEORY SYMBOL

GTQuotientGroup

GTQuotientGroup[group,normal divisor]
gives the multiplication table of the quotient group of group and its normal divisor.

DetailsDetails

  • The quotient set of a group and one of its subgroups is formed by the left cosets , , . The quotient set does not form a group.
  • If the quotient set with repect to an invariant subgroup is considered, the quotient set forms a group, the quotient group:
  • If the order of the second group (normal divisior) is larger than that of the first group it is tried to interchange the groups.
  • The following options can be given:
  • GOVerboseTrueControls the output of additional information
    GOQuotientGroupFalseChanges the output to the multiplication table
    GOFastFalseSkips the input validation

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

First load the package:

In[1]:=
Click for copyable input

Install groups and .

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

Test if is an invariant subgroup of .

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

Construct the quotient group .

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

Options  (2)Options  (2)

Top