GroupTheory`
GroupTheory`

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.

Details and Options

  • 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.

Examples

Basic Examples  (1)

  • First load the package.
  • 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.
  • Using GTSGCosetRepresentative we obtain the representative element q as well as a corresponding permutation.
  • Calculating G = S + q S gives a permutation of the original list G, which can be reconstructed from the calculated permutation.