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

[Robert Morse]

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 <rm43 at 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_math at yahoo.com> 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