设H为一个非空集合.其上定义了两种运算“+”与“o”.若(H,+)是交换群,(H,o)是群且对于任意的a,b,c ∈H,都有(a+b)oc=aoc+boc-c,则......