Dear GAP forum, Let (G,.) a group such that [G,[G,G]] = 0. I like to define a new group law * such that a*b = ab[a,b]. It can be proven that (G,*) is also a group. What is the nicest way to define (G,*) in GAP ? (I like to check whether (G,.) and (G,*) are isomorphic). Cheers, Bill.