GROUP THEORY SYMBOL

GTSubGroupQ

GTSubGroupQ[group1,group2]
gives True if the group with smaller order is a subgroup of the group with larger order, and gives False otherwise.

DetailsDetails

  • A subset of a group is called "subgroup" if satisfies the four group axioms with the same multiplication operation as .
  • The elements of group1 and group2 can be of type symbol, matrix, quaternion or Euler angles (compare GTEulerAnglesQ, GTQuaternionQ and GTSymbolQ).
  • GOFastGOFastValueOptional input validation
  • See: W. Hergert, M. Geilhufe, Group Theory in Solid State Physics and Photonics. Problem Solving with Mathematica, Chapter 3.1

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

First, load the package:

In[1]:=
Click for copyable input

is a subgroup of

In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
Out[4]=

The order of the groups doesn't matter.

In[5]:=
Click for copyable input
Out[5]=

Options  (2)Options  (2)

Top