73.69 Cat1MorphismXModMorphism

Cat1MorphismXModMorphism( mor )

If C1, C2 are the cat1-groups produced from X1, X2 by the function Cat1XMod, then for any mor : X1 -> X2 there is an associated

mu :
C1 -> C2

    gap> CX.Cat1 := CCX;;
    gap> CSX := Cat1XMod( SX );
    cat1-group [Perm(sl(2,3) 

X q8) ==> sl(2,3)]
    gap> mor;
    Morphism of crossed modules <[q8->sl(2,3)] >-> [k4->a4]>
    gap> catmor := Cat1MorphismXModMorphism( mor );
    Morphism of cat1-groups
       <[Perm(sl(2,3) 

X k4) ==> a4]>
    gap> IsCat1Morphism( catmor );
    true
    gap> Cat1MorphismPrint( catmor );
    Morphism of cat1-groups := 
    : Source = cat1-group [Perm(sl(2,3) 

X q8) ==> sl(2,3)] 
    :  Range = cat1-group [Perm(a4 

X k4) ==> a4] 
    : Source homomorphism maps source generators to:
      [ (5,6)(7,8), (5,7)(6,8), (2,3,4)(6,7,8), (1,2)(3,4), (1,3)(2,4) ]
    : Range homomorphism maps range generators to:
      [ (1,2)(3,4), (1,3)(2,4), (2,3,4) ]           

Previous Up Top Next
Index