added trivial test for commutative group which works