抽象代数 04.08 自由幺半群与自由群

$\text{§4.8 自由幺半群与自由群}$

自由幺半群与自由群的思想不仅在群论中，而且在其它数学分支中都是重要的。
设 X = { a 1 , a 2 , ⋯   , a n } 是 一 个 集 合 ， 称 X 中 任 一 有 限 长 度 的 序 列 设X=\lbrace a_1, a_2, \cdots, a_n \rbrace是一个集合，称X中任一有限长度的序列 设X={a1​,a2​,⋯,an​}是一个集合，称X中任一有限长度的序列
$x_1{x}_2\cdots x_i(x_1,x_2,\cdots ,x_i\in X)$
$为一个字.当i=0时,称为空字,记为\wedge .记所有字的集合为\tilde{X}.在\tilde{X}上定义乘法$
$(x_1{x}_2\cdots x_i)(y_1{y}_2\cdots y_j)=x_1{x}_2\cdots x_i{y}_1{y}_2\cdots y_j$
$显然\tilde{X}对此乘法是以\wedge 为幺元的幺半群。这个幺半群称为由X生成的自由幺半群.$
$定理4.8.1.设集合X非空,S是幺半群,f是X到S的映射.则存在唯一的\tilde{X}到S的同态\varphi ,使$
$\varphi (x)=f(x),\forall x\in X.$
$证定义\tilde{X}到S的映射\varphi :\varphi (\wedge )=e,e为S的幺元.$
$\varphi (x_1{x}_2\cdots x_i)=f(x_1)f(x_2)\cdots f(x_i),则\varphi 显然为同态.$
$若\psi 为\tilde{X}到S的同态,且\psi (x)=f(x),则$
$\psi (x_1{x}_2\cdots x_i)=\psi (x_1)\psi (x_2)\cdots \psi (x_i)$
$=f(x_1)f(x_2)\cdots f(x_i)=\varphi (x_1{x}_2\cdots x_i).$
$即\varphi 唯一.$
设 集 合 X = { a 1 , a 2 , ⋯   , a n } , 再 令 集 合 X ′ = { a 1 ′ , a 2 ′ , ⋯   , a n ′ } , X ∩ X ′ = ∅ . 设集合X = \lbrace a_1, a_2, \cdots, a_n \rbrace,再令集合X^{\prime}=\lbrace a_1^{\prime},a_2^{\prime},\cdots,a_n^{\prime} \rbrace, X \cap X^{\prime}=\empty. 设集合X={a1​,a2​,⋯,an​},再令集合X′={a1′​,a2′​,⋯,an′​},X∩X′=∅.
$又a_i\to a_i^{\prime }是X到X^{\prime }上的一一对应.令X^{\ast }=X\cup X^{\prime },设有x\in X^{\ast },我们定义x^{\prime }:$
$x^{\prime }=\{\begin{array}{l}{a}_i,当x=a_i^{\prime };\\ a_i^{\prime },当x=a_i.\end{array}(1)$
$并且记X^{\ast }生成的自由幺半群为\widetilde{X^{\ast }}.$
$设w_1,w_2\in \widetilde{X^{\ast }},且\exists g,h\in \widetilde{X^{\ast }},x\in \widetilde{X^{\ast }}使w_1=gh,w_2=gx{x}^{\prime }h,$
$或w_1=gx{x}^{\prime }h,w_2=gh,则称w_1与w_2是相邻的。$
$定理4.8.2.\widetilde{X^{\ast }}如上所述,在\widetilde{X^{\ast }}中定义关系\sim :w_1\sim w_2,w_1,w_2\in \widetilde{X^{\ast }}且存在\widetilde{X^{\ast }}中序列w_1=v_1,v_2,\cdots ,v_l=w_2,满足v_i与v_{i+1}相邻,则\sim 是同余关系,且\widetilde{X^{\ast }}对于\sim 的商幺半群\widetilde{X^{\ast }}/\sim =F(X)是群(称为由X生成的自由群).$
$证首先证\sim 是等价关系.$
$\forall w\in \widetilde{X^{\ast }},取v_1=w,v_2=w{a}_1{a}_1^{\prime },v_3=w.于是v_1与v_2相邻，v_2与v_3相邻，故有w\sim w.$
$又若w_1=v_1,v_2,\cdots ,v_l=w_2,且v_i与v_{i+1}相邻.令u_i=v_{l-i+1},则u_1=w_2,u_2,\cdots ,u_l=w_1,且u_i与u_{i+1}相邻.即从w_1\sim w_2得到w_2\sim w_1.$
$再设w_1\sim w_2,w_2\sim w_3,于是存在一些序列:$
$w_1=v_1,v_2,\cdots ,v_l=w_2,v_i与v_{i+1}相邻;$
$w_2=u_1,u_2,\cdots ,u_m=w_3,且u_j与u_{j+1}相邻.$
$因而,w_1=v_1,v_2,\cdots ,v_l=u_1,u_2,\cdots ,u_m=w_3为所求序列，故w_1\sim w_3.$
$再证\sim 为同余关系.注意到.若u_1与u_2相邻,则对任何v有u_{1}v与u_{2}v相邻,$
$v{u}_1与v{u}_2相邻.设w_1\sim w_2,u_1\sim u_2,则由序列$
$w_1{u}_1=v_1{u}_1,v_2{u}_1,\cdots ,v_l{u}_1=w_2{u}_1$
$说明w_1{u}_1\sim w_2{u}_1,同样w_2{u}_1\sim w_2{u}_2,故知$
$w_1{u}_1\sim w_2{u}_2,$
$即\sim 是同余关系。$
$最后，证明商幺半群F(X)=\widetilde{X^{\ast }}/\sim 是群，只需证明F(X)中任意元素可逆.$
$对\forall x\in \widetilde{X^{\ast }},\wedge 为空字,x^{\prime }如式(4.8.1),则有\wedge x{x}^{\prime }\wedge =x{x}^{\prime },\wedge =\wedge \wedge .即x{x}^{\prime }与\wedge 相邻.$
$因而\wedge \sim x{x}^{\prime }.又若x_1{x}_2\cdots x_m\in \widetilde{X^{\ast }},则有x_m^{\prime }{x}_{m-1}^{\prime }\cdots x_2^{\prime }\in \widetilde{X^{\ast }},且$
$（x_1{x}_2\cdots x_m)(x_m^{\prime }{x}_{m-1}^{\prime }\cdots x_1^{\prime })=x_1{x}_2\cdots x_m{x}_m^{\prime }\cdots x_1^{\prime }\sim \wedge .$
$这就证明了F(X)中元素均可逆，故为群.$
例 1 设 X = { a } , 则 F ( X ) 为 无 限 循 环 群 . {\color{blue}例1}设X=\lbrace a \rbrace,则F(X)为无限循环群. 例1设X={a},则F(X)为无限循环群.
$定理4.8.3.设X为一非空集合,G是群,又f是X到G的映射,则存在唯一的F(X)到$
$G的同态\psi ,使\psi (\bar{x})=f(x),\forall x\in X,这里\bar{x}表示x在F(X)=\widetilde{X^{\ast }}/\sim 中的同态像.$
$证X^{\prime },X^{\ast }及\widetilde{X^{\ast }}如前所述.首先将f扩充为X^{\ast }到G的映射,仍以f表示,满足f(x^{\prime })=f(x{)}^{-1},\forall x^{\prime }\in X^{\prime }.$
$由定理4.8.1知存在唯一的幺半群\widetilde{X^{\ast }}到G的同态\varphi ,使\varphi (x)=f(x),\forall x\in X^{\ast }.$
$若\widetilde{X^{\ast }}中元素w_1与w_2相邻,不妨设w_1=gh,w_2=gx{x}^{\prime }h,g,h\in \widetilde{X^{\ast }},x,x^{\prime }\in X^{\ast }.x^{\prime }如式(1),则有$
$\varphi (w_2)=\varphi (g)\psi (x)\varphi (x^{\prime })\varphi (h)=\varphi (g)\varphi (h)=\varphi (w_1).$
$即得w_1\sim w_2\Rightarrow \varphi (w_1)=\varphi (w_2).$
$对于F(X)=\widetilde{X^{\ast }}/\sim 中的元素\bar{w}(即w所在的同余类),定义\varphi (\bar{w})=\psi (w),于是有\varphi 为同态,且\psi (\bar{x})=f(x),\forall x\in X.显然\psi 唯一。$
推 论 1 设 X = { a 1 , a 2 , ⋯   , a n } , 则 α : x → x ˉ 是 X 到 F ( X ) 中 的 一 一 映 射 . {\color{blue}推论1}设X=\lbrace a_1,a_2,\cdots,a_n \rbrace,则\alpha:x \to \bar x 是X到F(X)中的一一映射. 推论1设X={a1​,a2​,⋯,an​},则α:x→xˉ是X到F(X)中的一一映射.
证 在 Z n = { ( m 1 , m 2 , ⋯   , m n ) ∣ m i ∈ Z , 1 ≤ i ≤ n } 中 定 义 加 法 运 算 为 {\color{blue}证}在\mathcal{Z}^n=\lbrace (m_1,m_2,\cdots,m_n) | m_i \in \mathcal{Z}, 1\leq i \leq n \rbrace中定义加法运算为 证在Zn={(m1​,m2​,⋯,mn​)∣mi​∈Z,1≤i≤n}中定义加法运算为
$(m_1,m_2,\cdots ,m_n)+(l_1,l_2,\cdots ,l_n)=(m_1+l_1,m_2+l_2,\cdots ,m_n+l_n).$
$则{\mathcal{Z}}^n是交换群,而X到{\mathcal{Z}}^n中映射$
$f:a_i\to (m_1,m_2,\cdots ,m_n),m_j={\delta }_{ij},1\le i,j\le n$
$是一一映射.$
$由定理4.8.3知有F(X)到{\mathcal{Z}}^n的同态\psi ,使得$
$\psi (\bar{x})=f(x),\forall x\in X,$
$即有\psi \alpha =f.因f是一一的,故\alpha 也是一一的.$
$由推论1，X可视为F(X)的子集,此时,定理4.8.3中\psi 的条件可改为$
$\psi (x)=f(x),\forall x\in X.$
$推论2设G是有限生成群,则G同构于一个自由群的商群.$
证 设 G = ⟨ g 1 , g 2 , ⋯   , g n ⟩ , X = { a 1 , a 2 , ⋯   , a n } , 定 义 X 到 G 的 映 射 {\color{blue}证}设G=\lang g_1,g_2,\cdots,g_n \rang,X=\lbrace a_1,a_2,\cdots,a_n \rbrace,定义X到G的映射 证设G=⟨g1​,g2​,⋯,gn​⟩,X={a1​,a2​,⋯,an​},定义X到G的映射
$f:f(a_i)=g_i;$
$于是由定理??有F(X)到G的同态\psi ,满足$
$\psi (a_i)=f(a_i)=g_i.$
$因而\psi (F(X))=G,故G\simeq F(X)/\mathrm{k}\mathrm{e}\mathrm{r}\psi .$
$我们称\mathrm{k}\mathrm{e}\mathrm{r}\psi 为G的生成元g_1,g_2,\cdots ,g_n间的关系集.如\mathrm{k}\mathrm{e}\mathrm{r}\psi 也是由有限个元素$
$w_1,w_2,\cdots ,w_r生成,则称G是有限生成的.而$
$\psi (w_i)=e,1\le i\le r$
$称为G的生成元g_1,g_2,\cdots ,g_n的一组生成关系.$
$例2设D_n是保证正n边形不动的转动与反射生成的群,通常称为二面体群,$
$设a是转动2\pi /n,而b是对x轴的反射(假定正n边形有一个顶点在x轴的正方向).$
$容易看出,D_n由a与b生成,即D_n=⟨a,b⟩,且有$
$a^n=b^2=\mathrm{i}\mathrm{d},bab=a^{-1}.$
$我们来证明这些就是D_n的生成关系.$
令 X = { x 1 , x 2 } , 于 是 有 F ( X ) 到 D n 的 同 态 ψ , 使 ψ ( x 1 ) = a , ψ ( x 2 ) = b . 令X=\lbrace x_1, x_2 \rbrace,于是有F(X)到D_n的同态\psi,使\psi(x_1)=a,\psi(x_2)=b. 令X={x1​,x2​},于是有F(X)到Dn​的同态ψ,使ψ(x1​)=a,ψ(x2​)=b.
$由上面关系知x_1^n,x_2^2,x_1{x}_2{x}_1{x}_2\in \mathrm{k}\mathrm{e}\mathrm{r}\psi .$
$于是由x_1^n,x_2^2,x_1{x}_2{x}_1{x}_2生成的F(X)的正规子群K(即包含x_1^n,x_2^2,x_1{x}_2{x}_1{x}_2的$
$最小正规子群)在\mathrm{k}\mathrm{e}\mathrm{r}\psi 中.$
$又F(X)/\mathrm{k}\mathrm{e}\mathrm{r}\psi 与D_n同构,因此只需证明[F(X):K]\le |D_n|=2n,$
$则有\mathrm{k}\mathrm{e}\mathrm{r}\psi =K,即上述关系为D_n的生成关系.$
$显然{\bar{x}}_1=x_{1}K,{\bar{x}}_2=x_{2}K为F(x)/K的生成元，$
$由x_1^n,x_2^2,x_1{x}_2{x}_1{x}_2\in K,$
$有\overline{X_1^n}=\overline{x_2^2}={\bar{x}}_1{\bar{x}}_2{\bar{x}}_1{\bar{x}}_2=\bar{e},$
$故{\bar{x}}_2{\bar{x}}_1=\overline{x^{-1}}{\bar{x}}_2,{\bar{x}}_2\overline{x_1^k}=\overline{x_1^{-k}}{\bar{x}}_2,$
因 而 F ( X ) / K 中 子 集 G 1 = { x 1 k ‾ , x 1 k ‾ x ˉ 2 ∣ 1 ≤ k ≤ n } 为 子 群 , 因而F(X)/K中子集G_1=\lbrace \overline{x_1^{k}}, \overline{x_1^{k}}\bar x_2 | 1 \leq k \leq n \rbrace为子群, 因而F(X)/K中子集G1​={x1k​​,x1k​​xˉ2​∣1≤k≤n}为子群,
$但由{\bar{x}}_1,{\bar{x}}_2\in G_1,知G_1=F(X)/K,而|G_1|\le 2n,因而[F(X):K]\le 2n.$