GROUP THEORY SYMBOL

GTAbelianQ

GTAbelianQ[group]
gives True if group is an abelian group, and gives False otherwise.

DetailsDetails

  • If a set satisfies the four group axioms and the commutative law for the group multiplication operation, then is called "Abelian" group.
  • The group elements can be of type symbols, matrices, quaternions or Euler angles (compare GTSymbolQ, GTQuaternionQ and GTEulerAnglesQ).
  • See: W. Hergert, M. Geilhufe, Group Theory in Solid State Physics and Photonics. Problem Solving with Mathematica, chapter 2.1.

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

First, load the package:

In[1]:=
Click for copyable input

For example, is an Abelian group.

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

With symbolic expression:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=

With quaternionic expression:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=

With Euler Angles:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
Top