半群与单子
半群的基本概念
定义1.半群(semigrop)
设(X,∗)(X, \ast )(X,∗)是代数系统,∗\ast∗是X上的二元运算。若∗\ast∗运算满足
结合律,则称(X,∗)(X, \ast )(X,∗)为半群。
- 半群就是具有结合律的代数系统;
- 验证半群的要点是验证运算的
(1)封闭性;(2)结合律
定义2.单子(monoid)
设(X,∗)(X, \ast )(X,∗)是半群
- 若∗\ast∗运算满足交换律,则称(X,∗)(X , \ast )(X,∗)是交换半群。
- 若X关于∗\ast∗运算有幺元,则称(X,∗)(X , \ast )(X,∗)是含幺半群或者单子。
- 若∗\ast∗运算满足交换律同时X关于∗\ast∗运算又有幺元,则称(X,∗)(X , \ast )(X,∗)是交换
含幺半群或交换单子
定义3.元素的乘幂
设(X,∗)(X, \ast )(X,∗)是代数系统,∗\ast∗是X上的二元运算。X 中元素的乘幂定义如下:
∀x∈Xx1=xxm+1=xm∗x(m∈N)\forall x \in X\\ x^1=x \\ x^{m+1}=x^m \ast x(m \in N)∀x∈Xx1=xxm+1=xm∗x(m∈N)
定理1. 指数律
设(X,∗)(X, \ast )(X,∗)是半群。任取x∈X,∀m,n∈Nx \in X,\forall m,n \in Nx∈X,∀m,n∈N有
xm∗xn=xm+n=xn∗xm(xm)n=xmn=(xn)mx^m \ast x^n=x^{m+n}=x^n \ast x^m \\ (x^m)^n=x^{mn}=(x^n)^mxm∗xn=xm+n=xn∗xm(xm)n=xmn=(xn)m
定义4.循环半群(cyclic semigroup)
设(X,∗)(X, \ast )(X,∗)是半群。若存在着元素x0∈Xx_0 \in Xx0∈X,使得
(∀x∈X)(∃n∈N)(x=x0n)(\forall x \in X)(\exists n \in N)(x=x_0^n)(∀x∈X)(∃n∈N)(x=x0n)
则称(X,∗)(X, \ast )(X,∗)为循环半群;同时称x0x_0x0是该循环半群的生成元(generating element)。
定理2. 循环半群一定是交换半群。
定义5.子半群(sub-semigroup)
设(X,∗)(X, \ast )(X,∗)是半群,S⊆XS\subseteq XS⊆X且S≠∅S\ne \varnothingS=∅。若(S,∗)(S, \ast )(S,∗)是(X,∗)(X, \ast )(X,∗)的子代数系统,并且(S,∗)(S, \ast )(S,∗)也构成半群,则称(S,∗)(S, \ast )(S,∗)是(X,∗)(X, \ast )(X,∗)的子半群。
- 子半群的概念是子代数系统概念在半群这种代数系统中的具体体现。
- 由本章§1的定理3知,若代数系统中的二元运算满足结合律,则子代数系统中的二元运算也满足结合律,因此半群的子代数系统就是这个半群的子半群。
- 因此,验证子半群与验证子代数系统一样,必须验证条件:
1.S⊆XS\subseteq XS⊆X
2.S≠∅S\ne \varnothingS=∅
3. 封闭性
群
群的基本概念
定义1.群(group)
设〈G,∗〉〈G, \ast 〉〈G,∗〉是含幺半群。若G中每个元素都有逆元,即
∀g(g∈G ⟹ g−1∈G)\forall g(g \in G \implies g^{-1} \in G)∀g(g∈G⟹g−1∈G),则称〈G,∗〉〈G, \ast 〉〈G,∗〉为群
- 群就是每个元素都有逆元的含幺半群;
- 验证一个代数系统是群,必须验证以下四点:
(1)封闭性; (2)结合律; (3)有幺元; (4)有逆元。
定义2.交换群(Abel群 加群)。
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。若∗\ast∗运算满足交换律,则称〈G,∗〉〈G, \ast 〉〈G,∗〉是交换群。
定义3.群的阶(rank)
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。称G的势(基数)为群〈G,∗〉〈G, \ast 〉〈G,∗〉的阶
- 群的阶反映群的大小;
- 由定义3知有限群的阶就是G中元素的个数 ;无限群的阶是G的势;群
的阶统一记为|G|
定理1 逆元唯一无零元
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群,∣G∣⩾2|G|\geqslant 2∣G∣⩾2。则
- G中每个元素的逆元是唯一的;
- G中无零元。
定理2 反身律鞋袜律
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群,则∀a,b∈G\forall a,b \in G∀a,b∈G,有
- 反身律:(a−1)−1=a(a^{-1})^{-1}=a(a−1)−1=a
- 鞋袜律:(a∗b)−1=b−1∗a−1(a \ast b)^{-1}=b^{-1} \ast a^{-1}(a∗b)−1=b−1∗a−1
定理3 消去律
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群,则满足消去律
∀x,y,z∈G\forall x,y,z \in G∀x,y,z∈G
x∗y=x∗z ⟹ y=zx \ast y=x \ast z\implies y=zx∗y=x∗z⟹y=z
定理4
在有限群〈G,∗〉(∣G∣=n)〈G, \ast 〉(|G|=n)〈G,∗〉(∣G∣=n)的∗\ast∗运算的运算表中,每一
行(每一列)都与G中元素的自然顺序构成一个置换(双射)。即
每个元素在每行(列)必出现一次且只出现一次。
因此n阶有限群的运算表是由G中元素的 (n个行或n个列所形成的)n个置换所构成的。这个性质来源于群中每个元素都有逆元
定义4.元素的乘幂
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。G中元素乘幂的定义在半群定义的基础
上,增补如下:
∀x∈Gx0=e;x−n=(x−1)n(∀n∈N)\forall x \in G \\ x^0=e;\\ x^{-n}=(x^{-1})^n(\forall n \in N)∀x∈Gx0=e;x−n=(x−1)n(∀n∈N)
定义5.元素的阶(rank)
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。∀g∈G\forall g \in G∀g∈G称
k=min{m:m∈N∣{0}∧gm=e}k=min\{m:m\in N | \{0\} \land g^m=e \}k=min{m:m∈N∣{0}∧gm=e}为元素g的阶,若这样的k不存在,则称g的阶为无穷
-元素g的阶k是使gm=eg^m=egm=e成立的最小正整数;
-由于元素的自乘幂是一次一次乘的,因此这个无穷只能是可数无穷;
- 由定义5可知,么元是群中唯一的一个一阶元素;
- 群的阶和群中元素的阶这样两个阶的概念,这是两个根本不同的概念。
定理5
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。∀g∈G\forall g \in G∀g∈G
- 若g的阶为n,则g1,g2...gn(=e)g^1,g^2...g^n(=e)g1,g2...gn(=e)互不相同;
- 若g的阶为无穷,则g0(=e),g1,g2...gn...g^0(=e),g^1,g^2...g^n...g0(=e),g1,g2...gn...互不相同。
定理6
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。∀g∈G,g与g−1\forall g \in G,g与g^{-1}∀g∈G,g与g−1有相同的阶。
定理7
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。∀g∈G\forall g \in G∀g∈G
- 若g的阶有限,设其为k,从而gk=eg^k=egk=e。则
1.∀m∈N,gm=e ⟺ k∣m\forall m \in N,g^m=e \iff k|m∀m∈N,gm=e⟺k∣m(k整除m,即m=n∗km=n\ast km=n∗k)
2.∀m,n∈N,gm=gn ⟺ k∣m−n\forall m,n \in N,g^m=g^n \iff k|m-n∀m,n∈N,gm=gn⟺k∣m−n - 若g的阶无限,则∀m,n∈N,gm=gn ⟹ m=n\forall m,n \in N,g^m=g^n \implies m=n∀m,n∈N,gm=gn⟹m=n
定理8
有限群中每个元素的阶都是有限的。设〈G,∗〉〈G, \ast 〉〈G,∗〉是有限
群,∣G∣=n|G|=n∣G∣=n,则G中每个元素的阶⩽n\leqslant n⩽n。
循环群
定义6.循环群(cyclic group)
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群。∃g0∈G\exists g_0 \in G∃g0∈G,使得
(∀g∈G)(∃n∈I)(g=g0n)(\forall g \in G)(\exists n \in I)(g=g_0^n)(∀g∈G)(∃n∈I)(g=g0n)
则称〈G,∗〉〈G, \ast 〉〈G,∗〉为循环群;同时称g0g_0g0是该循环群的生成元(generating element)。并且将〈G,∗〉〈G, \ast 〉〈G,∗〉记作(g0)(g_0)(g0)。
定理9
设〈G,∗〉〈G, \ast 〉〈G,∗〉为循环群,|G|=n 。那么
1.g0g_0g0是生成元 ⟺ g0−1\iff g^{-1}_0⟺g0−1是生成元 ;
2.g0g_0g0是生成元 ⟺ g0\iff g_0⟺g0的阶是n 。
定理10
设〈G,∗〉〈G, \ast 〉〈G,∗〉为循环群,g0g_0g0是生成元
- 若g0g_0g0的阶为m,则〈G,∗〉〈G, \ast 〉〈G,∗〉与〈Nm, +m〉 同构;
- 若g0g_0g0的阶为无穷,则〈G,∗〉〈G, \ast 〉〈G,∗〉与 〈I,+〉同构;
定理11. 循环群一定是交换群。
置换群( * )
定义7.置换群(permutation group)
设所有n次置换构成的集合为Sn,A⊆Sn,A≠∅,◇S_n ,A\subseteq S_n,A \ne \varnothing,◇Sn,A⊆Sn,A=∅,◇是置换的合成运算,若〈A,◇〉〈A,◇〉〈A,◇〉构成群,则称〈A,◇〉〈A, ◇〉〈A,◇〉为一(n次)置换群。
定理12
n个元素的非空集合X上的所有n次置换构成的集合SnS_nSn,在置换的合成运算◇下构成一置换〈Sn,◇〉。 称为n次对称群(group of symmetry),简记为SnS_nSn。
定理13.(Cayley定理)
任何n阶有限群〈G,∗〉〈G, \ast 〉〈G,∗〉都与一n次置换群同构。
子群
定义8.子群(subgroup)
若群〈G,∗〉〈G, \ast 〉〈G,∗〉的子代数系统〈S,∗〉〈S, \ast 〉〈S,∗〉也是群,则称〈S,∗〉〈S, \ast 〉〈S,∗〉
是〈G,∗〉〈G, \ast 〉〈G,∗〉的子群。
- 验证子群,除了验证子代数系统的
(1)S⊆G;(2)S≠∅(3)∗(1)S\subseteq G ; (2)S\ne \varnothing(3) \ast(1)S⊆G;(2)S=∅(3)∗运算关于S封闭;
还应该验证
(4)有幺元(并与群G 中的幺元重合);
(5)有逆元(并与群G 中的同一元的逆元重合) ;
而结合律则不须验证,因为根据本章§1定理3可知,遗传。- 群〈S,∗〉〈S, \ast 〉〈S,∗〉是群〈G,∗〉〈G, \ast 〉〈G,∗〉的子群, 简记为S< G ;
定理14
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群,S⊆G,S≠∅S\subseteq G ,S\ne \varnothingS⊆G,S=∅,那么
〈S,∗〉是〈G,∗〉〈S, \ast 〉是〈G, \ast 〉〈S,∗〉是〈G,∗〉的子群 ⟺ \iff⟺
- 封闭性:∀a∀b(a∈S∧b∈S ⟹ a∗b∈S)\forall a \forall b(a \in S \land b\in S \implies a \ast b \in S)∀a∀b(a∈S∧b∈S⟹a∗b∈S)
- 有逆元:∀a(a∈S ⟹ a−1∈S)\forall a(a \in S \implies a^{-1} \in S)∀a(a∈S⟹a−1∈S)
定理15
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群,S⊆G,S≠∅S\subseteq G ,S\ne \varnothingS⊆G,S=∅,那么
〈S,∗〉〈S, \ast 〉〈S,∗〉是〈G,∗〉〈G, \ast 〉〈G,∗〉的子群 ⟺ \iff⟺
混合封闭性:∀a∀b(a∈S∧b∈S ⟹ a∗b−1∈S)\forall a \forall b(a \in S \land b\in S \implies a \ast b^{-1} \in S)∀a∀b(a∈S∧b∈S⟹a∗b−1∈S)
定理16
设〈G,∗〉〈G, \ast 〉〈G,∗〉是有限群, |G|=n ,S⊆G,S≠∅S\subseteq G ,S\ne \varnothingS⊆G,S=∅,那么
〈S,∗〉〈S, \ast 〉〈S,∗〉是〈G,∗〉〈G, \ast 〉〈G,∗〉的子群 ⟺ \iff⟺
封闭性:∀a∀b(a∈S∧b∈S ⟹ a∗b∈S)\forall a \forall b(a \in S \land b\in S \implies a \ast b \in S)∀a∀b(a∈S∧b∈S⟹a∗b∈S)
例20.平凡子群
设〈G,∗〉〈G, \ast 〉〈G,∗〉是群,则〈e,∗〉〈{e}, \ast 〉〈e,∗〉和〈G,∗〉〈G, \ast 〉〈G,∗〉是〈G,∗〉〈G, \ast 〉〈G,∗〉的两个子群。由于每个群都有这样的子群,且这两个子群对问题的研究价值不大。故称这两个子群是〈G,∗〉〈G, \ast 〉〈G,∗〉的平凡子群。
例21
循环群的子群是循环群。即若〈G,∗〉〈G, \ast 〉〈G,∗〉是循环群且〈S,∗〉〈S, \ast 〉〈S,∗〉是〈G,∗〉〈G, \ast 〉〈G,∗〉的子群,则〈S,∗〉〈S, \ast 〉〈S,∗〉是循环群。
陪集与拉格郎日(Lagrange)定理
定义9.陪集(coset)
设〈G,∗〉〈 G, \ast 〉〈G,∗〉是群,〈H,∗〉〈 H, \ast 〉〈H,∗〉是〈G,∗〉〈 G, \ast 〉〈G,∗〉的子群。对于任何元素a∈Ga\in Ga∈G,
- 由a所确定的H在G中的左陪集(left coset)定义为
aH={a∗h:h∈H}aH=\{a \ast h:h\in H\}aH={a∗h:h∈H} - 由a所确定的H在G中的右陪集(right coset)定义为
Ha={h∗a:h∈H}Ha=\{h \ast a:h\in H\}Ha={h∗a:h∈H}
称元素a是左陪集aH及右陪集Ha的代表元素,简称代表元
定理17
设〈G,∗〉〈 G, \ast 〉〈G,∗〉是群,〈H,∗〉〈 H, \ast 〉〈H,∗〉是〈G,∗〉〈 G, \ast 〉〈G,∗〉的子群。
1.Sl={aH:∣a∈G}S_l =\{aH:|a\in G\}Sl={aH:∣a∈G}
2.Sr={Ha:∣a∈G}S_r =\{Ha:|a\in G\}Sr={Ha:∣a∈G}
此表示去掉重复元素
则Sl,SrS_l,S_rSl,Sr均是G的划分
定理18
设〈G,∗〉〈 G, \ast 〉〈G,∗〉是群,〈H,∗〉〈 H, \ast 〉〈H,∗〉是〈G,∗〉〈 G, \ast 〉〈G,∗〉的子群。则有:
1.(∀a∈G)(∣aH∣=∣H∣)(\forall a\in G)(|aH|=|H|)(∀a∈G)(∣aH∣=∣H∣)
2.(∀a∈G)(∣Ha∣=∣H∣)(\forall a\in G)(|Ha|=|H|)(∀a∈G)(∣Ha∣=∣H∣)
定理19
群〈G,∗〉〈 G, \ast 〉〈G,∗〉的子群〈H,∗〉〈 H, \ast 〉〈H,∗〉的不同左陪集的个数等于它的不同右陪集的个数。即
∣Sl∣=∣Sr∣|S_l|=|S_r|∣Sl∣=∣Sr∣
定义10.指数(exponent)
子群〈H,∗〉〈 H, \ast 〉〈H,∗〉关于群〈G,∗〉〈 G, \ast 〉〈G,∗〉的不同左陪集(或右陪集)的个数(或势)称为群〈G,∗〉〈 G, \ast 〉〈G,∗〉关于子群〈H,∗〉〈 H, \ast 〉〈H,∗〉的指数。记为∣G/H∣|G/H|∣G/H∣。
根据定义有∣G/H∣=∣Sl∣=∣Sr∣|G/H| = |S_l|=|S_r|∣G/H∣=∣Sl∣=∣Sr∣;
定理20.拉格朗日(Lagrange)定理
设〈H,∗〉〈 H, \ast 〉〈H,∗〉是有限群〈G,∗〉〈 G, \ast 〉〈G,∗〉的子群。则有
∣G∣=∣G/H∣⋅∣H∣(或∣G/H∣=∣G∣/∣H∣)|G| =|G/H|\cdot |H| (或 |G/H|=|G|/|H| )∣G∣=∣G/H∣⋅∣H∣(或∣G/H∣=∣G∣/∣H∣)。
- 推论1.素数阶群的子群只有两个,即两个平凡子群。
- 推论2.在有限群中,每个元素的阶都是群的阶的因子。
- 推论3.每个素数阶群都是循环群。
- 推论4.四阶不同构的群只有两个,一个是4阶循环群,一个是Klein 4-群。