抽象代数 04.05 群的直积

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

$\text{§4.5 群的直积}$

$例4.5.1回顾线性空间的定义，子空间，商空间，补子空间，不变子空间。$

群G	正规子群N	A	商群G/N	B
数域$\mathbb{P}$上线性空间V	子空间W		商空间V/W
G = { 1 , a , a 2 , a 3 } G=\lbrace 1, a, a^2, a^3\rbrace G={1,a,a2,a3}为四阶循环群	{ 1 , a 2 } \lbrace 1, a^2\rbrace {1,a2}	${\mathbb{Z}}_2$	{ 1 ˉ , a ˉ } \lbrace \bar 1, \bar a\rbrace {1ˉ,aˉ}	${\mathbb{Z}}_2$
K 4 = { 1 , a , b , c ∣ a 2 = b 2 = c 2 = 1 , a b = c } K_4=\lbrace 1, a, b, c \vert a^2 = b^2 =c^2 = 1, ab = c \rbrace K4​={1,a,b,c∣a2=b2=c2=1,ab=c}	{ 1 , a } \lbrace 1, a \rbrace {1,a}	${\mathbb{Z}}_2$	{ 1 ˉ , b ˉ } \lbrace \bar 1, \bar b \rbrace {1ˉ,bˉ}	${\mathbb{Z}}_2$
$S_3$	$A_3$	${\mathbb{Z}}_3$	$S_3/A_3$	${\mathbb{Z}}_2$
$\mathbb{Z}$	$2\mathbb{Z}$	$\mathbb{Z}$	$\mathbb{Z}/2\mathbb{Z}$	${\mathbb{Z}}_2$
$O(n)$	$SO(n)$		$O(n)/SO(n)$	${\mathbb{Z}}_2$

$定义4.5.2.设A,B,G都是群，若存在N⊲G使得N\cong A,G/N\cong B,则称G是B过A的扩张，称N为扩张核。$
$上述定义，存在群同态\lambda :A\to (单)和\mu :G\to B(满),即有群和群同态的序列$
$A\stackrel{\lambda (单)}{⟶}G\stackrel{\mu (满)}{⟶}B,$
$并且\mathrm{I}\mathrm{m}(\lambda )=\lambda (A)=N=\mathrm{K}\mathrm{e}\mathrm{r}\mu (称序列在G处正合).$
$定义4.5.3.(等价定义).称群及群同态构成的序列$
$1\stackrel{i}{⟶}A\stackrel{\lambda }{⟶}G\stackrel{\mu }{⟶}B\stackrel{0}{⟶}1(5.1)$
$为短正合序列，$
$如果前一个群同态恰为后一个群同态的核，即该序列在A,G,B处正合。$
$引理4.5.4.设A,B,G为群,则G是B过A的扩张当且仅当存在短正合序列(5.1)。$
$注记4.5.5.类似于群作用与群同态的关系。扩张和短正合序列也是同一个事物的$
$不同描述。类似于群作用的研究，我们需要研究不同的扩张或短正合序列的关系。$
$定理4.5.6.设A,B,G,G^{\prime }是群。$
$1)若G是B过A的扩张，G\cong G^{\prime },则G^{\prime }也是B过A的扩张。$
$2)若G,G^{\prime }都是B过A的扩张，有群同态f:G\to G^{\prime }使得下图为交换图，则f是群同构。称G与G^{\prime }是B过A的等价扩张。$
$证:2)需要证明f是单射也是满射。$
$注记4.5.7.B过A的扩张得到的群的同构类的全体与B过A的扩张(或短正合序列(5.1))$
$的等价类的全体一一对应。$
$类似于研究商空间是寻求补子空间，我们有如下命题:$
$定理4.5.8.设G是B过A的扩张，N为扩张核，对应的短正合序列为(5.1)。$
1 ) 若 有 H &lt; G 满 足 G = H N , H ∩ N = { 1 } , 则 μ ∣ H 是 H 到 B 上 的 同 构 ， 此 时 v = ( μ ∣ H ) − 1 是 B 到 G 的 同 态 且 μ v = i d B . 1)若有H&lt;G满足G=HN,H \cap N = \lbrace 1 \rbrace,则\mu \vert _H是H到B上的同构，此时v=(\mu \vert _H)^{-1}是B到G的同态且\mu v = \mathrm{id}_B. 1)若有H<G满足G=HN,H∩N={1},则μ∣H​是H到B上的同构，此时v=(μ∣H​)−1是B到G的同态且μv=idB​.
2 ) 若 存 在 B 到 G 的 同 态 v 使 得 μ v = i d B , 则 H = v ( B ) &lt; G 且 G = H N , H ∩ N = { 1 } . 2)若存在B到G的同态v使得\mu v = \mathrm{id}_B,则H=v(B)&lt;G且G=HN,H\cap N = \lbrace 1 \rbrace. 2)若存在B到G的同态v使得μv=idB​,则H=v(B)<G且G=HN,H∩N={1}.
$定义4.5.9.设G是B过A的扩张，N为扩张核，对应的短正合序列为(5.1)。$
若 有 H &lt; G 满 足 G = H N , H ∩ N = { 1 } , 则 称 此 扩 张 为 非 本 质 扩 张 ( 子 空 间 的 补 子 空 间 ) , 并 称 G 是 N 与 H 的 半 直 积 , 若有H&lt;G满足G=HN,H\cap N = \lbrace 1 \rbrace,则称此扩张为{\color{blue}非本质扩张}(子空间的补子空间),并称G是N与H的{\color{blue}半直积}, 若有H<G满足G=HN,H∩N={1},则称此扩张为非本质扩张(子空间的补子空间),并称G是N与H的半直积,
$进一步，如果H⊲G,则称此扩张为平凡扩张。G是N和H的(内)直积(记为G=H\otimes N)(不变子空间的不变补子空间)。也称G是A和B的(外)直积(记为G=A\times B)。$
$如果N\subset C(G),则称此扩张为中心扩张。$
$例4.5.10.1)\mathbb{Z}是\mathbb{Z}过{\mathbb{Z}}_2的扩张，但不是非本质扩张。$
$2)n\ge 3时，S_n是{\mathbb{Z}}_2过A_n的非本质扩张。$
$3)O(n)是{\mathbb{Z}}_2过SO(n)的非本质扩张。$
$4)15阶群是{\mathbb{Z}}_3过{\mathbb{Z}}_5的平凡扩张。$
$问题4.5.11.上述非本质扩张是否为平凡扩张。$
$引理4.5.12.设A，B是G的子群。G=AB。则下列命题等价。$
1 ) A ∩ B = { 1 } . 1)A \cap B=\lbrace 1 \rbrace. 1)A∩B={1}.
$2)任意g\in G,g的分解g=ab(a\in A,b\in B)唯一。$
$3)幺元的分解唯一。$
定 理 4.5.13. 设 A ， B 是 G 的 子 群 ， G = A B ， A ∩ B = { 1 } . 则 A ， B 都 是 G 的 正 规 子 群 当 且 仅 当 对 任 意 a ∈ A , b ∈ B , a b = b a . {\color{blue}定理4.5.13.}设A，B是G的子群，G=AB，A\cap B = \lbrace 1 \rbrace.则A，B都是G的正规子群当且仅当对任意a \in A,b \in B,ab = ba. 定理4.5.13.设A，B是G的子群，G=AB，A∩B={1}.则A，B都是G的正规子群当且仅当对任意a∈A,b∈B,ab=ba.
$定理4.5.14.(直积的存在唯一性).设A，B为群，$
$则在同构意义下存在唯一B过A的平凡扩张G。$
$注记4.5.15.类似于分块矩阵。$
证 ： 存 在 性 。 在 G = A × B = { ( a , b ) ∣ a ∈ A , b ∈ B } 中 定 义 乘 法 并 验 证 G 是 群 。 证：存在性。在G=A \times B = \lbrace (a,b)|a \in A, b \in B \rbrace中定义乘法并验证G是群。 证：存在性。在G=A×B={(a,b)∣a∈A,b∈B}中定义乘法并验证G是群。
则 A 1 = { ( a , 1 B ) ∣ a ∈ A } , B 1 = { ( 1 A , b ) ∣ b ∈ B } 都 是 G 的 正 规 子 群 且 G = A 1 ⊗ B 1 . 则A_1 = \lbrace (a, 1_B) | a \in A \rbrace, B_1 = \lbrace (1_A,b) | b \in B \rbrace 都是G的正规子群且G = A_1 \otimes B_1. 则A1​={(a,1B​)∣a∈A},B1​={(1A​,b)∣b∈B}都是G的正规子群且G=A1​⊗B1​.
$唯一性。G^{\prime }=A^{\prime }\otimes B^{\prime },且A\stackrel{\lambda }{\cong }{A}^{\prime },B\stackrel{\mu }{\cong }{B}^{\prime },则f:G\to G^{\prime },f(a,b)=\lambda (a)\mu (b),为群同构。$
$4.5.16(对称群S_n).$
$1.S_n的共轭类于n的划分、幂零矩阵的共轭类、Young图的一一对应。$
$2.S_n的正规子群和商群$
$n=1,2,$
$n=3,A_3$
$n=4,K_4,A_4.S_4/K_4\cong S_3.$
$n\ge 5,A_5(5次以上方程不可根式解).$
3. A u t ( S n ) = S n , C ( S n ) = { 1 } , n = ̸ 2 , 6. S 5 的 S y l o w 5 − 子 群 共 6 个 ， S 5 → S 6 . 3.{\mathrm{Aut}(S_n)} = S_n, C(S_n) = \lbrace 1 \rbrace, n =\not 2, 6. S_5的Sylow 5-子群共6个，S_5 \to S_6. 3.Aut(Sn​)=Sn​,C(Sn​)={1},n≠​2,6.S5​的Sylow5−子群共6个，S5​→S6​.
$4.S_n做为多面体的对称群:$
$S_3正三角形。$
$S_4正四面体、立方体。$