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 alland
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 GOFastValue Controls the input validation - See: W. Hergert, M. Geilhufe, Group Theory in Solid State Physics and Photonics. Problem Solving with Mathematica, chapter 3.4.