|
Magma[GetIsomorphism] - return an isomorphism between isomorphic magmas
|
|
Calling Sequence
|
|
GetIsomorphism( m1, m2 )
|
|
|
Parameters
|
|
|
m1
|
-
|
Array; Cayley table of a magma
|
|
m2
|
-
|
Array; Cayley table of a magma
|
|
|
|
|
|
Description
|
|
|
•
|
The GetIsomorphism( 'm1', 'm2' ) command returns an isomorphism, in the form of a permutation of 1..n, where m1 and m2 are of order n, which effects an isomorphism from m1 to m2. In case m1 and m2 are not isomorphic, then the value false is returned.
|
|
|
|
Compatibility
|
|
|
•
|
The Magma[GetIsomorphism] command was introduced in Maple 15.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
![m1 := Matrix([[1, 2, 3], [2, 3, 1], [3, 1, 2]])](/support/helpjp/helpview.aspx?si=8553/file02101/math97.png)
| (1) |
|
>
|
|
|
![m2 := Matrix([[2, 3, 1], [3, 1, 2], [1, 2, 3]])](/support/helpjp/helpview.aspx?si=8553/file02101/math104.png)
| (2) |
|
>
|
|
|
![[3, 1, 2]](/support/helpjp/helpview.aspx?si=8553/file02101/math111.png)
| (3) |
|
>
|
|
|
![m3 := Matrix([[1, 2, 1], [2, 3, 2], [3, 1, 3]])](/support/helpjp/helpview.aspx?si=8553/file02101/math118.png)
| (4) |
|
>
|
|
|
| (5) |
|
|
Download Help Document
Was this information helpful?
