If you are considering reasonably small finite groups you can use direct methods such as
Is2Engel := function(G) return ForAll(Cartesian(G,G), x->LeftNormedComm(x)=One(G)); end; Robert F. Morse On Sat, Jan 21, 2012 at 8:09 AM, Joy F. <litlejoy_m...@yahoo.com> 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
