73.56 XModCat1

XModCat1( C )

This function acts as the functor from the category of cat1-groups to the category of crossed modules.

    gap> XC := XModCat1( C );
    Crossed module [ker([h20 ==> c4])->c4]
    gap> XModPrint( XC );

    Crossed module [ker([h20 ==> c4])->c4] :- 
    : Source group has parent ( h20 ) and has generators:
      [ (1,2,3,4,5) ]
    : Range group has parent ( h20 ) and has generators:
      [ ( 2, 3, 5, 4) ]
    : Boundary homomorphism maps source generators to:
      [ () ]
    : Action homomorphism maps range generators to automorphisms:
      (2,3,5,4) --> { source gens --> [ (1,3,5,2,4) ] }
      This automorphism generates the group of automorphisms.
    : Associated cat1-group = cat1-group [h20 ==> c4]  

Previous Up Top Next
Index