73.107 RangeEndomorphismDerivation

RangeEndomorphismDerivation( chi )

Each derivation chi determines an endomorphism rho of R such that rho r = r (partial chi r). This construction defines a homomorphism from the Whitehead group to Aut(R).

    gap> rho8 := RangeEndomorphismDerivation( chi8 );
    GroupHomomorphismByImages( s3, s3, [ (4,5,6), (2,3)(5,6) ], 
      [ (), (2,3)(4,6) ] )
    gap> rho4 := RangeEndomorphismDerivation( chi4 );
    GroupHomomorphismByImages( s3, s3, [ (4,5,6), (2,3)(5,6) ], 
      [ (4,6,5), (2,3)(5,6) ] )   

Previous Up Top Next
Index