Dear All, Suppose that $G$ is a free group of rank 3. For $a,b$ in $G$, we define a word $w(a,b):=a^2b^3$.
If for $a,b$ in $G$, we define a new binary operation "o" as $aob:=w(a,b)$, then is it possible to check the associativity/identity/inverse/commutativity of the new operation using GAP? with regards Vivek =========================== Vivek Kumar Jain Central University of Bihar Patna, India _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
