added file commutativeGroup_reduce.idr