GTSGCosetRepresentative

GTSGCosetRepresentative[space group, subgroup, basis]
determines a coset representative for a left coset decomposition of the factor group G/T (G being a space group, T the group of pure lattice translations) into a normal sub group of index 2 or 3.

DetailsDetails

  • GTSGCosetRepresentative is mainly needed within the commands GTSGGetIreps and GTSGCharacterTable. Here the underlying algorithm is based on an argument of Zak, stating that every space group contains an invariant sub group of index 2 or 3.
  • J. Zak, J. Math. Phys, 1, 165, (1960)
  • W. Hergert, M. Geilhufe, Group Theory in Solid State Physics and Photonics. Problem Solving with Mathematica, chapter 6.

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

  • First load the package.
  • In[1]:=
    Click for copyable input
  • We choose the monoclinic space group P21/c (#14) and one of its subgroups. We first specify the monoclinic basis vectors. Then we install the space groups using GTInstallGroup.
  • In[2]:=
    Click for copyable input
    Out[2]=
    In[3]:=
    Click for copyable input
    Out[3]=
    In[4]:=
    Click for copyable input
    Out[4]=
  • Using GTSGCosetRepresentative we obtain the representative element q as well as a corresponding permutation.
  • In[5]:=
    Click for copyable input
    Out[5]=
  • Calculating G = S + q S gives a permutation of the original list G, which can be reconstructed from the calculated permutation.
  • In[6]:=
    Click for copyable input
    Out[6]=
    In[7]:=
    Click for copyable input
    Out[7]=
    In[8]:=
    Click for copyable input
    Out[8]=