GROUP THEORY SYMBOL

GTInvSubGroups

GTInvSubGroups[group]
gives the invariant subgroups of a group.

DetailsDetails

  • A subgroup of a group is called "invariant subgroup" if for every and every .
  • A necessary and sufficient condition for being an invariant subgroup of is satisfied if consists entirely of complete classes of .
  • Elements of group can be of type symbol, matrix, quaternion or Euler angles (compare GTEulerAnglesQ, GTQuaternionQ and GTSymbolQ).
  • The following option can be given:
  • GOFastGOFastValueSkips the input validation
  • See: W. Hergert, M. Geilhufe, Group Theory in Solid State Physics and Photonics. Problem Solving with Mathematica, Chapter 3.2

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

First, load the package:

In[1]:=
Click for copyable input

Within the example we calculate the invariant sub groups of the group

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

Options  (2)Options  (2)

Top