> < ^ Date: Wed, 14 Jul 1993 13:34:34 +0200
> < ^ From: Thierry Dana-Picard <dana@math.jct.ac.il >
> ^ Subject: DimensionLoewyFactors

Dear Forum,
I entered some small p-groups as finitely presented groups and used
the function DimensionsLoewyFactors. For the first ones everything
seemed OK, but once I got the following:

gap> g:=Group(a,b,c);
Group( a, b, c )
gap> g.name:="g";
"g"
gap> g.relators:=[a^3,b^3,c^3,a*b*a^2*b^2,a*c*b*a^2*c^2,b*c*b^2*c^2];
[ a^3, b^3, c^3, a*b*a^2*b^2, a*c*b*a^2*c^2, b*c*b^2*c^2 ]
gap> Size(g);
27
gap> DimensionsLoewyFactors(g);
Error, This function will not work for finitely presented groups.
Please use 'OperationCosetsFpGroup' in order to construct
an isomorphic permutation group in
G.operations.ConjugacyClasses( G ) called from
ConjugacyClasses( G ) called from
G.operations.Agemo( G, p ) called from
AgemoAbove( L[i], C, p ) called from
G.operations.JenningsSeries( G ) called from
..
brk>

What happens here?

Furthermore, I got the same
> Please use 'OperationCosetsFpGroup' in order to construct
> an isomorphic permutation group
when trying to compute Centre or ConjugacyClasses of a finitely
presented group.
Could somebody send more information and/or examples?

Thanks a lot,
Thierry Dana-Picard.


> < [top]