GROUP THEORY SYMBOL

GTProductGroup

GTProductGroup[group1,group2]
forms the product of group1 and group2 and checks, if the product of the two groups forms a correct direct or semidirect product.

DetailsDetails

  • If the group contains two proper subgroups and and
    if for all and with , , every element of can be written as a product of an element of with an element of ,
  • than is a direct product of and : .
  • 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

Two groups are installed.

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

The product group is formed.

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

The product of and is a semi-direct product and results in .

In[7]:=
Click for copyable input
Out[7]=
In[8]:=
Click for copyable input
Out[8]=
In[9]:=
Click for copyable input
Out[9]=

Possible Issues  (1)Possible Issues  (1)

Top