Quelle  6.16E.txt

gap> G:=GL(3,2);;
gap> rho:=IrreducibleRepresentations(G,GF(2))[3];
CompositionMapping( [ (5,7)(6,8), (2,3,5)(4,7,6) ] -> 
[ <an immutable 3x3 matrix over GF2>, <an immutable 3x3 matrix over GF2> ],
 <action isomorphism> )
gap> F:=function(X); return TensorWithModPModule(X,rho); end;;
gap> S:=ResolutionPrimePowerGroup(SylowSubgroup(G,2),101);;
gap> PrimePartDerivedFunctorViaSubgroupChain(G,S,F,100);
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 
  2, 2, 2, 2, 2, 2, 2, 2, 2 ]