抽象代数 01.06 变换群与置换群

最新推荐文章于 2023-06-05 10:19:52 发布

longji

最新推荐文章于 2023-06-05 10:19:52 发布

阅读量6.2k

点赞数 7

分类专栏：抽象代数文章标签：抽象代数群变换群置换群

本文链接：https://blog.csdn.net/longji/article/details/89742591

版权

抽象代数专栏收录该内容

13 篇文章 12 订阅

订阅专栏

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

$\color{blue} \text{\S 1.6 变换群与置换群}$

变换群在历史上和理论上都有重要意义。人们研究群，最早是从研究变换群中的置换群开始的。本节将证明，任一个群与某一个变换群同构。 $\text{\S 1.2}$ 例6中曾提到全变换群的概念。
${\color{blue}定义1.6.1\quad}设A是非空集合,A的所有可逆变换关于映射的乘法构成的群,$
$称为A的{\color{blue}全变换群},记为\lbrace S_A;\cdot \rbrace,简记为S_A.S_A的一个子群称为A的一个{\color{blue}变换群}.$
$当A为含有n个元素的有限集时,S_A也叫做{\color{blue}n元对称群},也记作S_n.S_n中的一个元$
$素称为一个{\color{blue}n元置换}.S_A的一个子群称为一个{\color{blue}n元置换群}.$
${\color{blue}例1\quad}设A是整个平面上所有点的集合,在平面上建立直角坐标系.记R_{\theta}是平面绕原$
$点按逆时针方向旋转\theta角的变换,H = \lbrace R_{\theta}|0 \leq \theta < 2\pi \rbrace,则H是A的一个变换群.$
${\color{blue}定理1.6.1(凯莱(Cayley)定理)\quad}{\color{green}任何一个群都与一个变换群同构.}$
${\color{blue}证:}设G是一个群.\forall a \in G,令\phi_a:G \to G.$
$\qquad \phi_a(g) = ag, \forall g \in G.$
$则因\forall g \in G,有a^{-1}g \in G,而\phi_a(a^{-1}g) = g,故\phi_a是G到自身的满射.$
$又若\phi_a(g_1) = \phi_a(g_2),即ag_1 = ag_2,由群中消去律知g_1=g_2,所以\phi_a还是单射,$
$从而\phi_a是双射,即G是自身的可逆映射,故\phi_a \in S_G.$
$令T=\lbrace \phi_a | a \in G \rbrace \subseteq S_G.注意到(\phi_b)^{-1}=\phi_{b^{-1}},\phi_a \cdot \phi_{b^{-1}} = \phi_{ab^{-1}} \in T,$
$据定理1.3.1知 T < S_G,即T是G的一个变换群.$
$\to T,f(a) = \phi_a,\forall a \in G.$
$则f是G到T的满射,又若\phi_a = \phi_b,a,b \in G,则\phi_a(e) = \phi_b(e),即ae=be,$
$所以 a = b, 故 f 还是单射, 从而 f 是双射 . 又$
$\quad f(ab) = \phi_{ab} = \phi_a \cdot \phi_b = f(a) \cdot f(b), \forall a, b \in G.$
$\simeq T.$
$证明中的\phi_a称为群G中由a决定的{\color{blue}左平移变换}.$
$类似地,还有由a决定的{\color{blue}右平移变换}:$
$\qquad \psi_a(g) = ga, \forall g \in G.$
${\color{blue}推论1.6.2 \quad}{\color{green}任一有限群都与一个置换群同构.}$
凯莱定理使我们可以将群的研究归结为对变换群的研究，对有限群的研究归结为对置换群的研究。
$若\sigma \in S_n,则\sigma 称为一个n元置换,通常表示为$
$\qquad \sigma = \begin{pmatrix} 1 & 2 & \cdots & n \\ i_1 & i_2 & \cdots & i_n \end{pmatrix}.$
$它的含义是\sigma(1) = i_1, \sigma(2) = i_2, \cdots, \sigma(n) = i_n.由于\sigma 是双射,所以i_1,i_2,$
$\cdots, i_n是1,2,\cdots,n的一个排列.并且不同的排列得到的置换\sigma也不同.因此,$
$n元置换的个数,就是1,2,\cdots,n的所有排列的个数.$
${\color{blue}命题1.6.3\quad}{\color{green}n元对称群S_n的阶为n!.}$
$当j_1,j_2,\cdots,j_n是1,2,\cdots,n的一个排列时,也可记$
$\quad \sigma = \begin{pmatrix} j_1 & j_2 & \cdots & j_n \\ \sigma(j_1) & \sigma(j_2) & \cdots & \sigma(j_n) \end{pmatrix}.$
$从而, 一个 n 元置换可以有 n! 种记法 .$
置换时一种映射，所以，置换的乘法、置换的逆与映射的乘法、映射的逆有类似的表示法。
${\color{blue}例2\quad}S_3中有3!=6个元素:$
$\begin{pmatrix}1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix}, \begin{pmatrix}1 & 2 & 3 \\ 1 & 3 & 2 \end{pmatrix}, \begin{pmatrix}1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}, \begin{pmatrix}1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}, \begin{pmatrix}1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}, \begin{pmatrix}1 & 2 & 3 \\ 3& 2 & 1 \end{pmatrix}.$
$容易看出,S_3不是交换群,例如,取$
$\qquad f = \begin{pmatrix}1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}, \varphi = \begin{pmatrix}1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}.$
$则$
$\quad \varphi \cdot f = \begin{pmatrix}1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}\begin{pmatrix}1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix} = \begin{pmatrix}1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix},$
$\cdot \varphi = \begin{pmatrix}1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}\begin{pmatrix}1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix} = \begin{pmatrix}1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}.$
$所以,\varphi \cdot f =\not f \cdot \varphi.还可以看出$
$f^{-1} = \begin{pmatrix}3 & 2 & 1 \\ 1 & 2 & 3 \end{pmatrix} = \begin{pmatrix}1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}, \varphi^{-1} = \begin{pmatrix}2 & 1 & 3 \\ 1 & 2 & 3 \end{pmatrix} = \begin{pmatrix}1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}.$
上述表示置换 $\sigma$ 的记号,在括号中写成两列,略显繁琐,又看不出 $\sigma$ 的特点,下面引入轮换的概念和记号,并给出置换的另一种表示法.
${\color{blue}定义1.6.2\quad}设集合\lbrace i_1,i_2, \cdots, i_r \rbrace为集合\lbrace 1, 2, \cdots, n \rbrace的一个子集.若\sigma \in S_n,满足\sigma(i_1) = i_2, \sigma(i_2) = i_3, \cdots, \sigma(i_{r-1}) = i_r, \sigma(i_r) = i_1,及$
$\quad \sigma(k) = k, \forall k \in \lbrace 1, 2, \cdots, n \rbrace - \lbrace i_1, i_2, \cdots, i_r \rbrace,$
$则称\sigma为S_n中的一个{\color{blue}r-轮换},或称{\color{blue}r-循环置换},记为\sigma = (i_1i_2\cdots i_r).i_1, i_2, \cdots, i_r均称为轮换\sigma中的{\color{blue}文字},r称为{\color{blue}轮换\sigma的长}.$
$特别,2-轮换(ij)称为{\color{blue}对换},恒等置换可记为1-轮换.$
用轮换的定义和群中元素的阶的定义可证明。
${\color{blue}命题1.6.4\quad}{\color{green}在S_n中,r-轮换的阶为r.}$
$任一个 r - 轮换都可以有 r 种表示法 :$
$\sigma=(i_1i_2 \cdots i_r) = (i_2i_3 \cdots i_ri_1) = \cdots = (i_ri_1 \cdots i_{r-1}).$
${\color{blue}定义1.6.3\quad}在S_n中,如果若干个轮换间没有共同文字,则称它们是{\color{blue}不相交的轮换}.$
${\color{blue}命题1.6.5\quad}{\color{green}在S_n中,两个不相交的轮换的乘积是可交换的.}$
${\color{blue}命题1.6.6\quad}{\color{green}\forall \sigma \in S_n,\sigma都可表为S_n中一些不相交轮换之积.}$
${\color{blue}证:}取a \in \lbrace 1, 2, \cdots, n \rbrace, 作序列$
$\qquad a = \sigma^{0}(a), \sigma^{1}(a), \sigma^{2}(a), \cdots$
$(\sigma^{0}就是恒等置换id)其中一定包含重复的文字,记\sigma^{m}(a)是第一个与前面相重复的$
$文字,并设它与\sigma^{k}(a)(0 \leq k < m)重复.可证k = 0,因若不然,由\sigma^{k-1}(a) =\not \sigma^{m-1}(a),$
$及\sigma(\sigma^{k-1}(a)) = \sigma(\sigma^{m-1}(a)),推出\sigma把两个不同的文字映到相同的文字,$
$这与“\sigma是单射”矛盾.因此k = 0,即\sigma^{m}(a) = a.作轮换$
$\qquad \sigma_1 = (a, \sigma(a), \cdots, \sigma^{m-1}(a)).$
$则\sigma与\sigma_1在文字a,\sigma(a),\cdots, \sigma^{m-1}(a)上的作用相同.$
$若m=n,则\sigma=\sigma_1,本身就已表为一个轮换.若m<n,则取b \in \lbrace 1, 2, \cdots, n \rbrace - \lbrace a,\sigma(a), \cdots, \sigma^{m-1}(a) \rbrace,仿照上面的方法再作一个轮换$
$\qquad \sigma_2 = (b, \sigma(b), \cdots, \sigma^{l-1}(b)).$
$则\sigma与\sigma_2在文字b,\sigma(b),\cdots,\sigma^{l-1}(b)上的作用相同.$
$而且因\sigma是单射,知\sigma_1与\sigma_2不相交.$
$这样继续下去，直到1,2,\cdots,n用完为止.这就得到有限个不相交的轮换\sigma_1,\sigma_2,\cdots,\sigma_s使$
$\qquad \sigma = \sigma_1\sigma_2\cdots \sigma_s.$
$注意到，由于对a,b等选择可以不同,选择的先后也可以不同,所以上述轮换\sigma_1,\sigma_2,\cdots,$
$\sigma_s的次序可以不同.但任一文字c所在的轮换是唯一的,即(c,\sigma(c),\sigma^{2}(c),\cdots),虽然形式上$
$未必是以 c 起头 .$
${\color{blue}命题1.6.7\quad}{\color{green}任一n元置换表为不相交轮换的乘积时,如果不计次序,表法是唯一的.}$
${\color{blue}例3\quad}\begin{pmatrix}1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 1 & 7 & 5 & 2 & 3 & 6 & 4 \end{pmatrix} = (1)(274)(35)(6) = (274)(35) = (35)(274).$
$后两个等号中, 删除了 1 - 轮换 (1), (6), 效果是一样的, 这是因为在轮换的定义 1.6.2 中, 轮换对不出现的文字$
$的作用效果, 是保持该文字不变 .$
${\color{blue}例4\quad}(i_1i_2\cdots i_r)=(i_1i_r)(i_1i_{r-1})\cdots(i_1i_3)(i_1i_2).$
$即, 任一个 r - 轮换都可以写成 r - 1 个对换 (不一定是不相交的对换) 的乘积 .$
${\color{blue}命题1.6.8\quad}{\color{green}任一n元置换都可以表为一些对换的乘积.}$
一个置换表为对换之乘积的表法是不唯一的,但其中对换个数的奇偶性不变.
${\color{blue}定义1.6.4\quad}当一个置换能表为奇(偶)数个对换的乘积时,称为{\color{blue}奇置换(偶置换)}.$
${\color{blue}命题1.6.9\quad}{\color{green}两个偶置换之积是偶置换,两个奇置换之积是偶置换,}$
${\color{green}偶置换与奇置换之积是奇置换,奇置换与偶置换之积是奇置换.}$
${\color{green}偶置换的逆置换是偶置换,奇置换的逆置换是奇置换.}$
${\color{blue}定义1.6.5\quad}n元偶置换的全体对置换的乘法构成一个群,称为n元{\color{blue}交错群},记为A_n.$
$用正规子群的定义及命题 1.6.9 容易证明 .$
${\color{blue}命题1.6.10\quad}{\color{green}A_n \lhd S_n, |A_n| = \frac{n!}{2}.}$
${\color{blue}命题1.6.11\quad}{\color{green}设置换\sigma表为不相交轮换的乘积是}$
${\color{green}\qquad \sigma = \sigma_1\sigma_2\cdots \sigma_s,}$
${\color{green}这里\sigma_i是r_i-轮换(i=1,2,\cdots,s),则作为群S_n中的元素,\sigma的阶是r_1,r_2,\cdots,r_s的}$
${\color{green}最小公倍数[r_1,r_2,\cdots,r_s].}$
${\color{blue}例5\quad}例3中置换的阶为[3,2]=6.$
${\color{blue}定义1.6.6\quad}{\color{green}群G到自身的同构映射,称为G的一个}{\color{blue}自同构}$
${\color{green},群G的全体自同构的集合记为{\textsf{Aut}}G.}$
${\color{blue}命题1.6.12\quad}{\color{green}设G是群,则{\textsf{Aut}}G < S_G,称{\textsf{Aut}G}为}{\color{blue}群G的自同构群}.$
${\color{blue}证:}\forall \theta_1,\theta_2 \in {\textsf{Aut}G},据同构映射的性质知\theta_2^{-1} \in {\textsf{Aut}G},\theta_1\theta_2^{-1} \in {\textsf{Aut}G},再据定理1.3.1知,{\textsf{Aut}G} < S_G.$
${\color{blue}命题1.6.3\quad}{\color{green}设G为群,a \in G,定义映射\sigma_a:G \to G为}$
${\color{green}\qquad \sigma_a(g) = aga^{-1},\forall g \in G.}$
${\color{green}则\sigma_a \in {\textsf{Aut}G}, 称为由a决定的}{\color{blue}内自同构}{\color{green}.记}$
${\color{green}\qquad \textsf{Inn} G = \lbrace \sigma_a | a \in G \rbrace,}$
${\color{green}则{\textsf{Inn}G} \lhd {\textsf{Aut}G},称{\textsf{Inn}G}为G的}{\color{blue}内自同构群.}$
${\color{blue}证:}由\sigma_{a^{-1}} \cdot \sigma_a(g) = a^{-1}(aga^{-1})a = g知\sigma_a的逆映射是\sigma_{a^{-1}},从而\sigma_a是双射,又$
$\sigma_a(g_1g_2)=ag_1g_2a^{-1}=a_1g_1a^{-1}ag_2a^{-1}=\sigma_a(g_1)\sigma_a(g_2), \forall g_1,g_2 \in G,$
$所以\sigma_a \in {\textsf{Aut}G}.$
$\forall \sigma_{a_1},\sigma_{a_2} \in {\textsf{Inn}G},考察\sigma_{a_1} \cdot (\sigma_{a_2})^{-1}在G中任一元g上的作用,有$
$\sigma_{a_1} \cdot (\sigma_{a_2})^{-1}(g) = \sigma_{a_1}\sigma_{a_2^{-1}}(g)=\sigma_{a_1}(a_2^{-1}ga_2)=a_1(a_2^{-1}ga_2)a_1^{-1}$
$\qquad =a_1a_2^{-1}g(a_1a_2^{-1})^{-1}=\sigma_{a_1a_2^{-1}}(g),$
$所以\sigma_{a_1}\cdot (\sigma_{a_2})^{-1}=\sigma_{a_1a_2^{-1}} \in {\textsf{Inn}G},因此据定理1.3.1,{\textsf{Inn}G}<{\textsf{Aut}G}.$
$又\forall \theta \in {\textsf{Aut}G},\forall \sigma_a \in {\textsf{Inn}G},我们去证\theta \sigma_a \theta^{-1} \in {\textsf{Inn}G},再据正规子群的定义便证出{\textsf{Inn}G} \lhd {\textsf{Aut}G}.$
$\forall g \in G, \theta \sigma_a \theta^{-1}(g) = \theta \sigma_a(\theta^{-1}(g)) = \theta(a\theta^{-1}(g)a^{-1})=\theta(a)\theta(\theta^{-1}(g))\theta(a^{-1})=\theta(a)g(\theta(a)^{-1}=\sigma_{\theta(a)}(g).$
$所以\theta_{\sigma_a}\theta^{-1}=\sigma_{\theta(a)} \in {\textsf{Inn}G}.$
$\to {\textsf{Inn}G}为$
$\qquad f(a) = \sigma_a, \forall a \in G,$
$\sigma_{ab} = \sigma_a\sigma_b = f(a)f(b),从而f是满同态映射,且$
$\qquad \ker f \lhd G, G/\ker f \simeq {\textsf{Inn}G}.$
$\forall a \in \ker f,因f(a) = id,记\sigma_a = id,也即\sigma_a(g) = g, \forall g \in G,$
$也即aga^{-1} = g,\forall g \in G,也即ag = ga,\forall g \in G.所以$
$\qquad \ker f = \lbrace a \in G | ag = ga, \forall g \in G \rbrace.$
${\color{blue}定义1.6.7\quad}群G中,与G中所有元素可交换的元素的集合称为{\color{blue}群G的中心},记为\textsf{C}(G).$
$以上讨论说明,\textsf{C}(G) = \ker f,G/\textsf{C}(G) \simeq {\textsf{Inn}G}.$

longji

关注

7
点赞
踩
28

收藏

觉得还不错? 一键收藏
1
评论
抽象代数 01.06 变换群与置换群

http://www.icourses.cn 南开大学《抽象代数》§1.6 变换群与置换群\color{blue} \text{\S 1.6 变换群与置换群}§1.6 变换群与置换群变换群在历史上和理论上都有重要意义。人们研究群，最早是从研究变换群中的置换群开始的。本节将证明，任一个群与某一个变换群同构。§1.2\text{\S 1.2}§1.2例6中曾提到全变换群的概念。...
复制链接

扫一扫