Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Taggar`MGroups`
MHomomorphism  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
Define domain group:
In[1]:=
G1=
[12]
 | MAdditiveGroup |
Out[1]=
MGroup
 |  |
|
Define the co-domain group:
In[2]:=
G2=
[4]
| MAdditiveGroup |
Out[2]=
MGroup
| |
|
Define the map:
In[3]:=
f[x_]:=Mod[3x,4]
Define the homomorphism:
In[4]:=
ϕ=
[G1,G2,f]
| MHomomorphism |
Out[4]=
MMorphism
|  |
|
Click on + to see kernel of this homomorphism (also see ). See image of elements under ϕ :
In[5]:=
ϕ[3]
Out[5]=
1
 |
|
""