¤公理定义（约定式定义） 群的定义：在集合G上定义了一个运算，如果满足封闭性、 结合性、有零元，对G内每个元有逆元，那么G对于这 个运算来说叫做一个群。 2024/8/17 1> 2024/8/17 17 ¤ 公理定义（约定式定义） 群的定义：在集合G上定义了一个运算，如果满足封闭性、 结合性、有零元，对G内每个元有逆元，那么G对于这 个运算来说叫做一个群