二、群 1群的概念 定义133:|S;为拟群,当S中的每一个元素都 有逆元时称为群。 还可以更清楚地叙述为: S;是一个代数系统,为定义在S上的二元运算, 若满足: (1)对任意的a,bc∈S有a(b*c)=(a*b)c(结合律); (2)存在e∈S使ae=e*a=a(单位元); (3)对任意的a∈S,存在a∈S,使得a*a1=a1*a=e 则称|S;为群二、群 • 1.群的概念 • 定义13.3：[S;*]为拟群,当S中的每一个元素都 有逆元时,称为群。 • 还可以更清楚地叙述为: [S;*]是一个代数系统,*为定义在S上的二元运算, 若满足: (1)对任意的a,b,cS有a*(b*c)=(a*b)*c(结合律); (2)存在eS,使a*e=e*a=a(单位元); (3)对任意的aS，存在a -1S,使得a*a-1=a-1*a=e 则称 [S;*]为群