return an isomorphism between isomorphic magmas - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Magma : Magma/GetIsomorphism

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.

Examples

withMagma:

m1:=1|2|3,2|3|1,3|1|2

m1:=123231312

(1)

m2:=2|3|1,3|1|2,1|2|3

m2:=231312123

(2)

GetIsomorphismm1,m2

3,1,2

(3)

m3:=1|2|1,2|3|2,3|1|3

m3:=121232313

(4)

GetIsomorphismm1,m3

false

(5)

See Also

Magma, Magma/TransportStructure


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam