GroupTheory`
GroupTheory`

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.

Details and Options

  • 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 options can be given:
  • GOFast GOFastValueControls the input validation
  • See: W. Hergert, M. Geilhufe, Group Theory in Solid State Physics and Photonics. Problem Solving with Mathematica, chapter 3.4.

Examples

open allclose all

Basic Examples  (1)

Two groups are installed.

The product group is formed.

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

Options  (1)

GOFast  (1)

Controls the input validation.

Possible Issues  (1)

The product group of and is not a crystallographic point group. Therefore no symbols for symmetry elements are available. Internally the calculation is done in a matrix representation.

The error appears during the conversion to symbols at the end. The use of matrices avoids the error.