GroupTheory`
GroupTheory`
GTInvSubGroups
GTInvSubGroups[group]
gives the invariant subgroups of a group.
Details and Options
- 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 
. - Elements of group can be of type symbol, matrix, quaternion or Euler angles (compare GTEulerAnglesQ, GTQuaternionQ and GTSymbolQ).
- The following option can be given:
-
GOFast GOFastValue Skips the input validation - See: W. Hergert, M. Geilhufe, Group Theory in Solid State Physics and Photonics. Problem Solving with Mathematica, Chapter 3.2
