gap> G:=AlternatingGroup(10);;
gap> rho:=PermToMatrixGroup(G);;
gap> R:=ResolutionFiniteGroup(SylowSubgroup(G,2),4);;
gap> F:=function(X); return TensorWithIntegralModule(X,rho); end;;
gap> PrimePartDerivedFunctorViaSubgroupChain(G,R,F,3);
[ 4 ]
