离散数学第七讲群、环、域

- 一、群的定义和性质 定义1：群〈G , * 〉是一代数系统, 其中二元运算* 满足: (1) 运算*是可结合的； (2) 存在