[GAP Forum] Verify if G is 2-Engel.

[Primoz Moravec]

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 at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum