群|极客教程

群在计算机科学中扮演着重要的角色。除了为集合上的操作提供一个基本框架外，它们还在密码学、编码理论和图形学中得到了广泛的应用。

定义(群)
假定我们有个集合 $ReferenceError: katex is not defined$ 和一个定义在集合 $ReferenceError: katex is not defined$ 上的操作⊗: $ReferenceError: katex is not defined$ 。
那么 $ReferenceError: katex is not defined$ ，如果满足：

封闭性： $ReferenceError: katex is not defined$
结合律： $ReferenceError: katex is not defined$
单位元： $ReferenceError: katex is not defined$
逆元： $ReferenceError: katex is not defined$

则称 $ReferenceError: katex is not defined$ 为一个群。或者乘法群。有时由于上下文的原因，群上的二元运算亦可为加法，此时该运算通常记为 + ，群元素的运算也被记为如同x+y 的形式，而群也可被称为加法群。此种情况下，往往加法还有可交换的性质。

此外，如果还满足：
$ReferenceError: katex is not defined$ ,那么就称其为Abelian群。

例1：
G={1,-1}在普通乘法下是群。
证：
1)封闭性：1×1=1 (-1)×(-1)=1 (-1)×1=-1 1×(-1)=-1
2)结合律：成立
3)单位元：1
4)逆元素：1的逆元是1，-1的逆元是-1

例2：
G={0,1,2,,…..,n-1}在mod n的加法下是群。
证：
1)封闭性：除以n的余数只能是 {0,1,2,,…..,n-1}，故封闭性成立
2)结合律：成立
3)单位元：0
4)逆元素：对任意元素a有 [a+(n-a)] mod n=0，a的逆元 $ReferenceError: katex is not defined$ =n-a。

置换群
定义 G为集合{1,2,3,…,n} 上所有双射的集合，并定义合成映射:

这里 x 是{1,2,3,…,n} 的任意元素。构成一个群，这个群被称为置换群，记为 Sym(n)或 $ReferenceError: katex is not defined$ 。
例集合{1,2,3}的三个元素置换群组成 $ReferenceError: katex is not defined$ .