Very easy: ForAll(Combinations(C,2),p->p[1]*p[2] in C or p[1]*p[2]<>p[2]*p[1]);
On Nov 23, 2007 8:00 PM, Binod Kumar Sahoo <[EMAIL PROTECTED]> wrote: > Dear Members, > > Could you please help me with the following: > > Let C be a subset of a given finite group G. I want to determine whether C > is closed under commuting product. > That is, x*y is an element of C whenever [x,y]=1 for *distinct* x and y in > C. > Using GAP, how should I perform this? > > With regards, > Binod Kumar Sahoo > _______________________________________________ > Forum mailing list > [email protected] > http://mail.gap-system.org/mailman/listinfo/forum > -- Laurent Bartholdi \ laurent.bartholdi<at>gmail<dot>com EPFL SB SMA IMB MAD \ Téléphone: +41 21-6935458 Station 8 \ Secrétaire: +41 21-6935471 CH-1015 Lausanne, Switzerland \ Fax: +41 21-6930339 _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
