一、定义
定义1 设G是定义了一个二元运算+的集合,如果这个运算满足下列性质:
(1)封闭性——如果a和b都属于G,则a+b也属于G。
(2)结合律——对于G中的任意元素a、b和c,都有(a+b)+c=a+(b+c)成立。
(3)单位元——G中存在元素e,对于G中任意元素a,都有a+e=e+a=a成立。
(4)逆元——对于G中任意元素a,G中都存在元素a'
,使得a+a'=a'+a=e
成立。G就叫作一个群,记为(G,+)。
如果这里的运算+是加法运算,则称G为加法群;如果这里的运算+是乘法运算,则称G为乘法群。如果一个群中的元素是有限的,则称这个群是一个有限群;否则称这个群是一个无限群。有限群中元素的个数称为群的阶。
例&