GROUP THEORY SYMBOL

GTGetInvSubGroup

GTGetInvSubGroup[grp, classes, index n]
gives an invariant subgroup of index n

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 .
  • MaxIterations10000Maximal number of iterations to find an invariant subgroup
    GOVerboseTrueControls the output of additional information.
  • 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

We calculate an invariant subgroup of index 2 for the point group O.

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

GTGetInvSubGroup can be used to construct the chief series of a solvable group.

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

Options  (2)Options  (2)

Top