#(C) Graham Ellis 2005-2006
#####################################################################
InstallGlobalFunction(ResolutionSubnormalSeries,
function(arg)
local
L,Ltrunc,K,RN,RQ,N,E,Q,EhomQ,gensE,gensQ,R;
L:=arg[1];
K:=arg[2];
if Length(L)=1 then return
ResolutionFiniteGroup(L[1],K);
fi;
if not Order(L[Length(L)])=1 then #
Add(L,Group(Identity(L[1]))); fi; #
Ltrunc:=List([2..Length(L)],i->L[i]); #changed here 7/03/2007
RN:=ResolutionSubnormalSeries(Ltrunc,K);
N:=RN!.group;
E:=L[1];
EhomQ:=NaturalHomomorphismByNormalSubgroup(E,N);
Q:=Image(EhomQ);
gensE:=GeneratorsOfGroup(E);
gensQ:=List(gensE,x->Image(EhomQ,x));
RQ:=ResolutionFiniteGroup(gensQ,K);
RQ!.group:=Q; #November 2024
R:= ResolutionFiniteExtension(gensE,gensQ,RQ,K,false,RN);
R!.group:=E; #November 2024
return R;
end);
#####################################################################
[ Dauer der Verarbeitung: 0.22 Sekunden
(vorverarbeitet)
]
