XModEndomorphismDerivation( chi )
The endomorphisms sigma4
, rho4
together determine a pair which may
be used to construct an endomorphism of {cal X}. When the
derivation is regular, the resulting morphism is an automorphism, and
this construction determines a homomorphism from the Whitehead group
to the automorphism group of X
.
gap> phi4 := XModEndomorphismDerivation( chi4 ); Morphism of crossed modules <[c3->s3]->[c3->s3]>
GAP 3.4.4