73.40 Factor crossed module

FactorXMod( X, subX )

The quotient crossed module of a crossed module by a normal sub-crossed module has quotient groups as source and range, with the obvious action.

    gap> Size( NSX[3] );
    [ 2, 2 ]
    gap> FX := FactorXMod( SX, NSX[3] );
    Crossed module [?->?]
    gap> Size( FX );
    [ 4, 12 ]  

Previous Up Top Next
Index