73.66 Cat1MorphismSourceHomomorphism

Cat1MorphismSourceHomomorphism ( C, D, phi )

Given a homomorphism from the source of C to the source of D, this function defines the corresponding cat1-group morphism.

    gap> GSC := SC.source;;
    gap> homsrc := GroupHomomorphismByImages( a4, GSC,
                     [(1,2,3),(2,3,4)],[(4,5,6),(4,6,5)]);;
    gap> musrc := Cat1MorphismSourceHomomorphism( AC, SC, homsrc );
    Morphism of cat1-groups <[a4 ==> a4]-->[c3^2

Xc2 ==> s3]>
    gap> IsCat1Morphism( musrc );
    true
    gap> Cat1MorphismPrint( musrc );
    Morphism of cat1-groups := 
    : Source = cat1-group [a4 ==> a4] 
    :  Range = cat1-group [c3^2

Xc2 ==> s3] 
    : Source homomorphism maps source generators to:
       [ (4,5,6), (4,6,5) ]
    : Range homomorphism maps range generators to:
       [ (4,5,6), (4,6,5) ]  

Previous Up Top Next
Index