抽象代数 04.01 群的生成元组

http://www.icourses.cn 南开大学《抽象代数》

$\text{§4.1 群的生成元组}$

本节讨论群的生成元组及元素的阶的一些性质。给出n个文字的对称群$S_n$的生成组。
设S是群G的非空子集，以$⟨S⟩$表示G的包含S的最小子群，即S$生成的子群$。显然$⟨S⟩$是G中所有包含S的子群的交。
$定理4.1.1设S是群G的非空子集，则$
⟨ S ⟩ = { x 1 x 2 ⋯ x m ∣ x i ∈ S ∪ S − 1 , 1 ≤ i ≤ m , m ∈ N } . \lang S \rang = \lbrace x_1x_2\cdots x_m | x_i \in S \cup S^{-1}, 1 \leq i \leq m, m \in N \rbrace. ⟨S⟩={x1​x2​⋯xm​∣xi​∈S∪S−1,1≤i≤m,m∈N}.
证 : 令 S ‾ = { x 1 x 2 ⋯ x m ∣ x i ∈ S ∪ S − 1 , 1 ≤ i ≤ m , m ∈ N } . 由 ⟨ S ⟩ 为 子 群 ， {\color{blue}证:}令\overline{S} = \lbrace x_1x_2 \cdots x_m | x_i \in S \cup S^{-1}, 1 \leq i \leq m, m \in N \rbrace.由\lang S \rang 为子群， 证:令S={x1​x2​⋯xm​∣xi​∈S∪S−1,1≤i≤m,m∈N}.由⟨S⟩为子群，
$且S\subseteq ⟨S⟩.知S^{-1}\subseteq ⟨S⟩.因而S\subseteq \overline{S}\subseteq ⟨S⟩.又⟨S⟩是含S的最小子群，$
$故只需证明\overline{S}为子群，则\overline{S}=⟨S⟩.$
$设x_1{x}_2\cdots x_m\in \overline{S},y_1{y}_2\cdots y_n\in \overline{S}.于是y_i^{-1}\in S\cup S^{-1},1\le i\le m.则有$
$(x_1{x}_2\cdots x_m)(y_1{y}_2\cdots y_n{)}^{-1}=x_1{x}_2\cdots x_m{y}_n^{-1}{y}_{n-1}^{-1}\cdots y_2^{-1}{y}_1^{-1}\in \overline{S},$
$因而\overline{S}为G的子群，故\overline{S}=⟨S⟩.$
$定义4.1.1若S为G的子群，且G=⟨S⟩.则称S为G的生成组.若G有一个含有限个元素的生成组，则称G是有限生成的.$
$例1若G=⟨a⟩为循环群，则a本身就是生成组，这时称a为G的生成元.$
$在\text{§1.5}中讨论过这种群。$
例 2 设 G = S 3 , 又 a = ( 1 2 3 2 1 3 ) , b = ( 1 2 3 3 2 1 ) . 则 S 3 = ⟨ { a , b } ⟩ . {\color{blue}例2\quad}设G = S_3,又a = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}, b = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}.则S_3 = \lang \lbrace a, b \rbrace \rang. 例2设G=S3​,又a=(12​21​33​),b=(13​22​31​).则S3​=⟨{a,b}⟩.
设 G 1 = ⟨ a ⟩ . 则 G 1 为 S 3 的 二 阶 子 群 ， 且 b ∉ G 1 . 于 是 G 1 ⊂ ⟨ { a , b } ⟩ . 又 ⟨ { a , b } ⟩ 的 阶 n 为 S 3 的 阶 6 的 因 子 ， 故 有 2 ∣ n , 2 &lt; n , 而 且 n ∣ 6. 因 而 有 n = 6. 由 此 知 S 3 = ⟨ { a , b } ⟩ . 设G_1 = \lang a \rang.则G_1为S_3的二阶子群，且b \notin G_1.于是G_1 \subset \lang \lbrace a, b \rbrace \rang.又\lang \lbrace a, b \rbrace \rang的阶n为S_3的阶6的因子，故有2|n, 2 &lt; n,而且n|6.因而有n=6.由此知S_3=\lang \lbrace a, b \rbrace \rang. 设G1​=⟨a⟩.则G1​为S3​的二阶子群，且b∈/​G1​.于是G1​⊂⟨{a,b}⟩.又⟨{a,b}⟩的阶n为S3​的阶6的因子，故有2∣n,2<n,而且n∣6.因而有n=6.由此知S3​=⟨{a,b}⟩.
定 义 4.1.2 设 集 合 { i 1 , i 2 , ⋯ &ThinSpace; , i r } 为 集 合 { 1 , 2 , ⋯ &ThinSpace; , n } 的 子 集 . 若 σ ∈ S n , 满 足 ： {\color{blue}定义4.1.2\quad}设集合\lbrace i_1, i_2, \cdots, i_r \rbrace为集合\lbrace 1, 2, \cdots, n \rbrace的子集.若\sigma \in S_n,满足： 定义4.1.2设集合{i1​,i2​,⋯,ir​}为集合{1,2,⋯,n}的子集.若σ∈Sn​,满足：
$\sigma (i_j)=i_{j+1},1\le j\le r-1;$
$\sigma (i_r)=i_1;$
σ ( k ) = k , k ∉ { i 1 , i 2 , ⋯ &ThinSpace; , i r } , \qquad \sigma(k) = k, k \notin \lbrace i_1, i_2, \cdots, i_r \rbrace, σ(k)=k,k∈/​{i1​,i2​,⋯,ir​},
$则称\sigma 为一个长为r的轮换或r-轮换,这时记\sigma =(i_1{i}_2\cdots i_r).$
$将2-轮换(ij)成为对换.$
$若\sigma =(i_1{i}_2\cdots i_r)与\tau =(j_1{j}_2\cdots i_s)是两个轮换，且$
{ i 1 , i 2 , ⋯ &ThinSpace; , i r } ∩ { j 1 , j 2 , ⋯ &ThinSpace; , j s } = ∅ , \qquad \lbrace i_1, i_2, \cdots, i_r \rbrace \cap \lbrace j_1, j_2, \cdots, j_s \rbrace = \empty, {i1​,i2​,⋯,ir​}∩{j1​,j2​,⋯,js​}=∅,
$则称\sigma 与\tau 为不相交的轮换.$
$一个r-轮换(i_1{i}_2\cdots i_r)有r种不同的表示:$
$(i_1{i}_2\cdots i_r)=(i_2{i}_3\cdots i_r{i}_1)=\cdots =(i_r{i}_1\cdots i_{r-1}).$
$定义4.1.2设a\in S_n,且a={\sigma }_1{\sigma }_2\cdots {\sigma }_k,其中{\sigma }_i为r_i-轮换：i≠j时,{\sigma }_i与{\sigma }_j不相交,1\le i,j\le k,则a的阶为r_1,r_2,\cdots ,r_k的最小公倍数[r_1,r_2,\cdots ,r_k].$
$证对因子个数k用数学归纳法证明。k=1时，a=(i_1{i}_2\cdots i_{r_1})是一个轮换。对任何s,1\le s\le r_1,有$
$a^s(j)=j,j≠i_1,i_2,\cdots ,i_r.$
$而$
$a^s(i_j)=\{\begin{array}{l}{i}_{s+j},当j+s\le r_1;\\ i_{s+j-r_1},当j+s>r_1.\end{array}$
$于是,s<r_1时，a^s≠id,而s=r_1时,a^{r_1}=id,故a的阶为r_1.$
$设k-1(k\ge 2)时定理成立。设a={\sigma }_1{\sigma }_2\cdots {\sigma }_k,令$
$a_1={\sigma }_2{\sigma }_3\cdots {\sigma }_k,$
于 是 a 1 的 阶 为 [ r 2 , r 3 , ⋯ &ThinSpace; , r k ] . 设 σ 2 , σ 3 , ⋯ &ThinSpace; , σ k 中 包 含 的 文 字 为 { i r 1 + 1 , i r 1 + 2 , ⋯ &ThinSpace; , i t } , 于是a_1的阶为[r_2,r_3,\cdots, r_k].设\sigma_2,\sigma_3,\cdots,\sigma_k中包含的文字为\lbrace i_{r_1+1},i_{r_1+2},\cdots,i_t \rbrace, 于是a1​的阶为[r2​,r3​,⋯,rk​].设σ2​,σ3​,⋯,σk​中包含的文字为{ir1​+1​,ir1​+2​,⋯,it​},
σ 1 中 的 文 字 为 { i 1 , i 2 , ⋯ &ThinSpace; , i r 1 } . \sigma_1中的文字为\lbrace i_1,i_2, \cdots, i_{r_1} \rbrace. σ1​中的文字为{i1​,i2​,⋯,ir1​​}.
$若j≠i_l,1\le l\le t,则{\sigma }_1(j)=a(j)=j.故{\sigma }_1{a}_1(j)=a_1{\sigma }_1(j)=j.$
$若j=i_l且1\le l\le r_1,则a_1(j)=j,{\sigma }_1(j)=i_{l^{\prime }},l^{\prime }\le r_1.因而a_1{\sigma }_1(j)=i_{l^{\prime }}={\sigma }_1{a}_1(j).$
$若j=i_l且t\ge l\ge r_1+1,则{\sigma }_1(i_l)=i_l,a_1(i_l)=i_{l^{\prime }},t\ge l^{\prime }\ge r_1+1.故有a_1{\sigma }_1(j)=i_{l^{\prime }}={\sigma }_1{a}_1(j).$
定 理 4.1.3 令 S = { ( 1 &ThickSpace; i ) ∣ 2 ≤ i ≤ n } , 则 S n = ⟨ S ⟩ . {\color{blue}定理4.1.3\quad}令S=\lbrace (1\;i)|2 \leq i \leq n \rbrace,则S_n=\lang S \rang. 定理4.1.3令S={(1i)∣2≤i≤n},则Sn​=⟨S⟩.
$证:首先证明任何对换(ij)可写成S中元素的积.事实上,$
$(ij)=(1i)(1j)(1i).(1)$
$其次,我们用数学归纳法证明任何轮换(i_1{i}_2\cdots i_r)可写成对换之积,$
$(i_1{i}_2\cdots i_r)=(i_1{i}_r)(i_1{i}_{r-1})\cdots (i_1{i}_2)(2)$
$当r=2时上式显然成立。假设定理对r-1(r\ge 3)成立，并记a=(i_1{i}_2\cdots i_r),于是有$
$(i_1{i}_r)(i_1{i}_{r-1})\cdots (i_1{i}_3)(i_1{i}_2)=(i_1{i}_3\cdots i_r)(i_1{i}_2)=a^{\prime }$
$当j≠i_k时,a^{\prime }(j)=j=a(j);$
$当j=i_k,k\ge 3时,a^{\prime }(j)=(i_1{i}_3\cdots i_r)(j)=a(j);$
$当j=i_1时,a^{\prime }(i_1)=(i_1{i}_3\cdots i_r)(i_2)=i_2=a(i_1);$
$当j=i_2时,a^{\prime }(i_2)=(i_1{i}_3\cdots i_r)(i_1)=i_3=a(i_2).$
$故知式(2)成立。故任何轮换可写成S中元素之积.$
$最后证明\forall a\in S_n一定可写成轮换之积,即可写成S中元素之积。$
设 a ∈ S n , 令 F a ‾ = { j ∣ a ( j ) = ̸ j } . 显 然 有 设a \in S_n,令\overline{F_a} = \lbrace j | a(j) =\not j \rbrace.显然有 设a∈Sn​,令Fa​​={j∣a(j)≠​j}.显然有
$\overline{F_{id}}=\varnothing (3)$
$当a≠id时，$
$|\overline{F_a}|\ge 2(4)$
$当且仅当a为对换时，式(4)中等号成立.下面不妨设a≠id.我们证明存在轮换{\sigma }_1满足$
$\begin{array}{l}\overline{F_a}=\overline{F_{{\sigma }_1}}\cup \overline{F_{{\sigma }_1^{-1}a}}\\ \overline{F_{{\sigma }_1}}\cap \overline{F_{{\sigma }_1^{-1}a}}=\varnothing \end{array}\}(5)$
$因a≠id,故由式(4)知有i_1\in \overline{F_a},令$
$i_2=a(i_1),i_3=a(i_2),\cdots ,i_k=a(i_{k-1}).$
$由于\overline{F_a}是有限集,故存在r使得i_1,i_2,\cdots ,i_{r-1}互不相同，而i_r=i_t,1\le t\le r-1.现证t=1.若不然,则有$
$a(i_{t-1})=i_t=i_r=a(i_{r-1}).$
$于是$
$i_{t-1}=i_{r-1}.$
$即有t=r,矛盾,故t=1.令{\sigma }_1=(i_1{i}_2\cdots i_{r-1}).显然$
F σ 1 − 1 ‾ = { i 1 , i 2 , ⋯ &ThinSpace; , i r − 1 } ⊆ F a ‾ \qquad \overline{F_{\sigma_1^{-1}}} = \lbrace i_1, i_2, \cdots, i_{r-1} \rbrace \subseteq \overline{F_a} Fσ1−1​​​={i1​,i2​,⋯,ir−1​}⊆Fa​​
$再令a_1={\sigma }_1^{-1}a,若l≠F_a,则l\notin \overline{F_{{\sigma }_1^{-1}}}.故a_1(l)=l,l\notin \overline{F_{a_1}},因而\overline{F_{{\sigma }_1}}\subseteq \overline{F_a}.$
$于是\overline{F_{a_1}}\cup \overline{F_{{\sigma }_1}}\subseteq \overline{F_a}.反之,若l\notin \overline{F_{a_1}}\cup \overline{F_{{\sigma }_1}},则有a_1(l)={\sigma }_1(l)=l.故a(l)=l,即l\notin \overline{F_a}.于是联立式(5)中第一个式成立.设i_k\in \overline{F_{{\sigma }_1}},则有a_1(i_k)={\sigma }_1^{-1}a(i_k)={\sigma }_1^{-1}{\sigma }_1(i_k)=i_k.即i_k\notin \overline{F_{a_1}}.故联立式(5)中第二式也成立.若a≠{\sigma }_1,则\overline{F_{{\sigma }_1^{-1}a}}≠\varnothing .$
$再对{\sigma }_1^{-1}a用上述方法,可得另一轮换{\sigma }_2与\overline{F_{{\sigma }_2^{-1}{\sigma }_1^{-1}a}}\subset \overline{F_{{\sigma }_1^{-1}a}}\subset \overline{F_a}.由于\overline{F_a}是有限的，最后有n使得$
$\overline{F_{{\sigma }_n^{-1}{\sigma }_{n-1}^{-1}\cdots {\sigma }_1^{-1}a}}=\varnothing .$
$即{\sigma }_n^{-1}{\sigma }_{n-1}^{-1}\cdots {\sigma }_1^{-1}a=id.因而$
$a={\sigma }_1{\sigma }_2\cdots {\sigma }_n.$
$即S_n中任意元素可标为轮换之积，故定理成立。$
$仔细分析定理4.1.3可知{\sigma }_1,{\sigma }_2,\cdots ,{\sigma }_n是很容易求出来的,$
$且{\sigma }_1,{\sigma }_2,\cdots ,{\sigma }_n是两两不相交的.有下面推论.$
$推论1若把S_n中的幺元id记为长为1的轮换,即id=(i).则\forall a\in S_n,一定可写成不相交的轮换之积.$
$推论2奇置换可表示为奇数个对换之积,偶置换可以表示为偶数个对换之积.$
$这是因为对换(ij)是奇置换.$