第一节 半群与群的基本概念定义1.1 设代数系统<S,*>，其中*为二元运算。
如果*是可结合的,则称<S,*>为一个半群（semigroup ），如果半群的二元运算有单位元，则称此半群为独异点（含幺半群）。
如果独异点的每个元素都是可逆的，则称它为群(group)。
根据定义，代数系统<G ,*>为成一个群当且仅当二元运算*满足下述条件： (1)适合结合律(*)**(*),,,a b c a b c a b c G =∀∈。
(2)有单位元e G ∈∀∈==，**a G a e e a a 。
(3)a G ∀∈,有逆元1a G −∈，使得11**a a a a e −−==群<G ,*>可简记作G ，a*b 可略去*，简记作ab 。
如果半群，独异点和群中的运算是可交换的，则分别称作为交换半群，交换独异点和交换群。
交换群又称作阿贝尔（Abel ）群。
如果群中的运算不是可交换的，则称它为非交换群。
习惯上，常将群中的二元运算叫作乘法，记做 。
定义1.2 若群G 所含元素个数有限，则称G 是有限群,否则称G 是无限群。
群G 中元素个数称作群的阶。
当G 是有限群时，用|G|表示它的阶。
例1.1，,Z +<+>是半群，但不是独异点，因为它没有单位元，,N <+>是独异点，但不是群,因为除0外其它元素无逆元。
而,Z +是一个群，并且是一个交换群，叫作整数加法群。
例1.2模n剩余类加法群<⊕>,n Z 是阿贝尔群,这里{[0],[1],,[1]}n Z n =−L ,[][][()mod ]x y x y n ⊕=+, [0]是它的单位元，对于每个x=0,1,2,…,n-1，[x]的逆元是[-x]=[n-x]。
例1.3 (),n M R <•>是独异点，这里•是矩阵乘法，n 阶单位矩阵是单位元，但它不是可交换的,而且不是每一个矩阵都是可逆的。
