关于运算表的一些性质： 假设G是一个有限集合，o是定义在G上的映射，则 ①群公理1成立＜＝＞运算表中所有元素都属于G； ②交换律成立＜＝＞运算表中的元素关于主对角线对称； ③群公理4(存在单位元)成立＜＝＞运算表中存在一行（或者一列）元素与顶行（或者左列）元素完全一致； ④群公理5(存在逆元)成立＜＝＞运算表的某个元素为单位元（单位元所在位置的行元素及列元素互为逆元）； ⑤群公理3’(