群

有以下几个规则：

G1:乘法结合律 G2:幺元（单位元） G3:逆元 G4:乘法交换律