Dear Joy,
you can use the fact that G is 2-Engel if all normal closures of
elements are abelian. It suffices to check this on representatives of
conjugacy classes:
ForAll(ConjugacyClasses(G), c -> IsAbelian(NormalClosure(G, Subgroup(G,
[Representative(c)]))));
Primoz.
On 01/21/2012 03:09 PM, Joy F. wrote:
Dear forum,
How do I check if a group G is 2-Engel?
Joy.
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
