抽象代数 04.02 群在集合上的作用

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

$\text{§4.2 群在集合上的作用}$

$问题4.2.1.群的分类和实现(抽象\to 具体):群同态(有时同构不如同态,如:1:1的地图)$
$\pi :G\to S_X$
$\pi (xy)=\pi (x)\pi (y)$
$例4.2.2.$
$1)(\mathbf{C}\mathbf{a}\mathbf{y}\mathbf{l}\mathbf{e}\mathbf{y}定理):G\cong L_G\cong R_G$
$2)(内自同构)\mathrm{a}\mathrm{d}:G\to \mathrm{I}\mathrm{n}\mathrm{t}(G),\mathrm{a}\mathrm{d}\mathrm{g}=L_g{R}_{g^{-1}}$
$3)\pi ：G\to S_X,\pi (g)={\mathrm{i}\mathrm{d}}_X$
$问题4.2.3如何建立群同态？$
$定义4.2.4.设G是一个群，X是一个非空集合。若映射$
$f:G\times X\to X,(g,x)\to f(g,x)$
$满足对任何x\in X,g_1,g_2\in G都有$
$f(1,x)=x,$
$f(g_1{g}_2,x)=f(g_1,f(g_2,x)),$
$则称f决定了G在X上的一个作用.$
$例4.2.51)左平移作用;2)右平移作用;3)伴随作用$
$定义4.2.6.可递作用,齐性空间,有效作用，平凡作用$
$命题4.2.7.G在X上的作用是有效的，当且仅当对应的群同态是单射。$
$例4.2.8.GL(n,\mathbb{R}),SO(n)作用在{\mathbb{R}}^n上。$
$SO(n)作用在S^{n-1}上$
$S_n作用在n元多项式环上$
$GL(n,\mathbb{R})在{\mathbb{R}}^{n\times n}的左乘、右乘、相似、合同$
$问题4.2.9.相抵是不是群作用?$
$定义4.2.10.限制作用:H<G,G在X上的作用可以自然得到H在X上的作用。$
$问题4.2.11.对什么样子的子集X_1\subset X使得G在X上的作用可以限制为G在X_1上的作用？$
$问题4.2.12.对什么样子的子集X_1\subset X使得G在X_1上的作用可以限制为G在X上的作用？$
$X_1满足的充要条件是对任意g\in G有g{X}_1\subset X_1。类似于线性变换中的不变子空间的研究:最小的这样子的子集是什么样的？X是否是这样的子集的不交并(直和？)?$
定 义 4.2.13. 设 群 G 作 用 在 集 合 X 上 ， x ∈ X . 称 X 的 子 集 O x = { g x ∣ g ∈ G } 为 x 的 轨 道 。 ( 人 造 卫 星 的 轨 道 ) {\color{blue}定义4.2.13.\quad}设群G作用在集合X上，x \in X.称X的子集O_x = \lbrace gx | g \in G \rbrace 为x的{\color{blue}轨道}。(人造卫星的轨道) 定义4.2.13.设群G作用在集合X上，x∈X.称X的子集Ox​={gx∣g∈G}为x的轨道。(人造卫星的轨道)
$例4.2.14.1)S_n作用在\mathbb{P}[x_1,\cdots ,x_n]上的单点轨道$
$2)SO(2)在S^2上旋转作用的轨道$
$3)GL(n,\mathbb{R})在{\mathbb{R}}^n上的作用的轨道$
$4)SO(n)作用在{\mathbb{R}}^n上的轨道$
$5)GL(n,\mathbb{C})在{\mathbb{C}}^{n\times n}上的相似作用的轨道$
$6)GL(n,\mathbb{R})在对称矩阵全体的合同作用下的轨道$
$7)仿射变换$
$命题4.2.15.1)设x,y\in X。则O_x\cap O_y=\varnothing 或者O_x=O_y.进一步,X是所有不相同的$
$轨道的不交并，或者说所有不相同的轨道构成X的一个划分。可以在X上定义等$
$价关系。$
$2)G在X上的作用自然可以限制为G在O_x上的作用，该作用可递。因此，G在X的$
$作用可递当且仅当X中只有一个轨道。$
$3)G在O_x上的作用有效的充要条件？$
$我们先考虑G在X上的作用是可递的情况，即X本身就是一个轨道。因此，对任意$
$x\in X,X=O_x.固定x\in X,我们有如下映射$
${\phi }_x:G\to X,{\phi }_x(g)=gx.$
$这实际上就是作用G\times X\to X固定第二个变量得到的。自然的，{\phi }_x(1)=x.$
$显然,映射{\phi }_x是满射，每个gx\in O_x的原象是什么？$
A : φ x − 1 ( x ) = { h ∈ G ∣ h x = x } . 这 个 集 合 是 G 的 子 群 ， 记 为 F x , 称 为 x 的 迷 向 子 群 . {\color{green}A:}\varphi_x^{-1}(x)= \lbrace h \in G | hx = x \rbrace.这个集合是G的子群，记为F_x,称为x的{\color{blue}迷向子群}. A:φx−1​(x)={h∈G∣hx=x}.这个集合是G的子群，记为Fx​,称为x的迷向子群.
$例4.2.16(迷向子群).$
1. S n 作 用 在 { 1 , 2 , ⋯ &ThinSpace; , n } 上 的 迷 向 子 群 。 1. S_n作用在\lbrace 1, 2, \cdots, n \rbrace上的迷向子群。 1.Sn​作用在{1,2,⋯,n}上的迷向子群。
$2.SO(n)作用在S^{n-1}上可递，点(1,0,\cdots ,0)的迷向子群\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}(1,SO(n-1)).$
3. G L ( n , R ) 作 用 在 R n ∖ { 0 } 上 的 迷 向 子 群 。 3. GL(n,\R)作用在\R^n \setminus \lbrace 0 \rbrace 上的迷向子群。 3.GL(n,R)作用在Rn∖{0}上的迷向子群。
B : φ x − 1 ( g x ) = { h ∈ G ∣ h x = g x } = { h ∈ G ∣ g − 1 h x = x } = { h ∈ G ∣ g − 1 h ∈ F x } = { h ∈ G ∣ h ∈ g F x } = g F x 。 即 , g x 的 原 像 是 F x 的 左 陪 集 g F x . {\color{green}B:}\varphi_x^{-1}(gx) = \lbrace h \in G | hx = gx \rbrace = \lbrace h \in G | g^{-1}hx = x \rbrace = \lbrace h \in G | g^{-1}h \in F_x \rbrace = \lbrace h \in G | h \in gF_x \rbrace = gF_x。即,gx的原像是F_x的左陪集gF_x. B:φx−1​(gx)={h∈G∣hx=gx}={h∈G∣g−1hx=x}={h∈G∣g−1h∈Fx​}={h∈G∣h∈gFx​}=gFx​。即,gx的原像是Fx​的左陪集gFx​.
$这样，我们得到一个双射\phi :G/F_x\to O_x。于是，这两个集合存在一一对应。$
$而两者上都有G的作用。这样我们得到交换图$
$定义4.2.17.设群G作用在集合X与X^{\prime }上，若有X到X^{\prime }的一一对应\phi 使得$
$g(\phi (x))=\phi (g(x)),\forall g\in G,x\in X,$
$则称G在X与X^{\prime }上的作用等价。$
例4.2.18.线性空间同构不仅是集合之间的一一对应，还需要保持加法和数乘;同样作用之间的等价也需要保持集合上的结构–群作用。
$定理4.2.19.设群G在X上的作用可递，x\in X。则G在X上的作用与G在G/F_x上$
$的左平移作用等价。$
$推论4.2.20.O_x=|G/F_x|=[G:F_x].从而|O_x|||G|.$
$例4.2.21(等价的作用).G在G上的左平移作用和右平移作用等价。$
$例4.2.22.G在G上的伴随作用:\mathrm{a}\mathrm{d}G:\to S_G,g\to \mathrm{a}\mathrm{d}g.$
$定义4.2.23.设G是一个群,g\in G.在伴随作用下g的轨道称为以g为代表的共轭类,记作G_g。g的迷向子群称为g在$
$G中的中心化子,记作C_G(g)或C(g).称\mathrm{K}\mathrm{e}\mathrm{r}\mathrm{a}\mathrm{d}为中心,记作C(G).$
$定理4.2.24.1)C(G)是G的正规子群，且\mathrm{a}\mathrm{d}G与G/C(G)同构。$
$2)G的共轭类的集合是G的一个划分。$
$3)若G是一个有限群,g\in G,则|C_g|=[G:C(g)],是|G|的因子。$
$4)h\in C(G)当且仅当|C_h=1|,当且仅当h\in {\cap }_{g\in G}C(g).$
$5)(轨道公式)设x_1,\cdots ,x_n是有限群G的所有共轭类的代表元,则|G|={\sum }_n|G|/|C(x_i)|.$
$例4.2.5.试求S_n的共轭类.$