Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Taggar`MGroups`
MFactorGroup  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
Define group:
In[1]:=
G=
[4],
[8]
 | MEDP |
 | MAdditiveGroup |
| MAdditiveGroup |
Out[1]=
MGroup
 |  |
|
▪
Define normal subgroup:
In[2]:=
H=
G,
[{2,2}]
| MGenerateSubgroup |
| MTuple |
Out[2]=
{(0, 0),(0, 4),(2, 2),(2, 6)}
Define factor group:
In[3]:=
F=
[G,H]
| MFactorGroup |
Out[3]=
MGroup
| |
|
See information about this factor group:
In[4]:=
 | MCayleyTable |
Out[4]//TableForm=
(0, 0) | (0, 1) | (0, 2) | (0, 3) | (1, 0) | (1, 1) | (1, 2) | (1, 3) | |
(0, 0) | (0, 0) | (0, 1) | (0, 2) | (0, 3) | (1, 0) | (1, 1) | (1, 2) | (1, 3) |
(0, 1) | (0, 1) | (0, 2) | (0, 3) | (0, 0) | (1, 1) | (1, 2) | (1, 3) | (1, 0) |
(0, 2) | (0, 2) | (0, 3) | (0, 0) | (0, 1) | (1, 2) | (1, 3) | (1, 0) | (1, 1) |
(0, 3) | (0, 3) | (0, 0) | (0, 1) | (0, 2) | (1, 3) | (1, 0) | (1, 1) | (1, 2) |
(1, 0) | (1, 0) | (1, 1) | (1, 2) | (1, 3) | (0, 2) | (0, 3) | (0, 0) | (0, 1) |
(1, 1) | (1, 1) | (1, 2) | (1, 3) | (1, 0) | (0, 3) | (0, 0) | (0, 1) | (0, 2) |
(1, 2) | (1, 2) | (1, 3) | (1, 0) | (1, 1) | (0, 0) | (0, 1) | (0, 2) | (0, 3) |
(1, 3) | (1, 3) | (1, 0) | (1, 1) | (1, 2) | (0, 1) | (0, 2) | (0, 3) | (0, 0) |
 |
|
""