Sorry needed to put in the 2-Engel law. Is2Engel := function(G) return ForAll(Cartesian(G,G), x->LeftNormedComm([x[1],x[2],x[2]])=One(G)); end;
On Sat, Jan 21, 2012 at 9:38 AM, Robert Morse <r...@evansville.edu> wrote: > 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
