73.123 InnerMorphism for crossed modules

InnerMorphism( X )

The boundary maps of WX and NX form a morphism from X to its actor.

    gap> innXSC := InnerMorphism( XSC );
    Morphism of crossed modules <[c3->s3] >-> Actor[c3->s3]>
    gap> XModMorphismPrint( innXSC );
    Morphism of crossed modules :- 
    : Source = Crossed module [c3->s3] with generating sets:
      [ (1,2,3)(4,6,5) ]
      [ (4,5,6), (2,3)(5,6) ]
    :  Range = Crossed module Actor[c3->s3]
          with generating sets:
      [ (1,2,3)(4,6,5), (1,4)(2,5)(3,6) ]
      [ (5,6,7), (1,2)(3,4)(6,7) ]
    : Source Homomorphism maps source generators to:
      [ (1,3,2)(4,5,6) ]
    : Range Homomorphism maps range generators to:
      [ (5,7,6), (1,2)(3,4)(6,7) ]
    : isXModMorphism? true  

Previous Up Top Next
Index