73.34 IdentitySubXMod

IdentitySubXMod( X )

Every crossed module X has an identity sub-crossed module whose source and range are the identity subgroups of the source and range.

    gap> IdentitySubXMod( CX );
    Crossed module [Id[k4->a4]]  

Previous Up Top Next
Index