- 根据命题9.5,H是G的正规子群当且仅当对任意g∈G,有 gHg −1 = H。实 际上,条件可以放松到只证明 gHg −1 ⊂ H。请给出证明。
∵ ∀ g ∈ G , g H g − 1 ⊂ H , ∴ g H ⊂ H g , ∴ H ⊂ g − 1 H g ∴ H ⊂ g − 1 H ( g − 1 ) − 1 即 H ⊂ g H g − 1 ∵ g H g − 1 ⊂ H ∴ g H g − 1 = H ∴ g H = H g ∴ H 是 G 的 正 规 子 群 . \because\forall g\in G,gHg^{-1}\subset H,\\ \therefore gH\subset Hg,\\ \therefore H\subset g^{-1}Hg\\ \therefore H\subset g^{-1}H(g^{-1})^{-1}\\ 即H\subset gHg^{-1}\\ \because gHg^{-1}\subset H\\ \therefore gHg^{-1}=H\\ \therefore gH=Hg\\ \therefore H是G的正规子群. ∵∀g∈G,gHg−1⊂H,∴gH⊂Hg,∴H⊂g−1Hg∴H⊂g−1H(g−1)−1即H⊂gHg−1∵gHg−1⊂H∴gHg−1=H∴gH=Hg∴H是G的正规子群.
-
定义映射 ϕ : G → G 为:g → g 2。请证明 ϕ 是一种群同态当且仅当 G 是阿贝尔群。
⇒ : ∵ ϕ 是 一 种 群 同 态 , ∴ ∀ a , b ∈ G , ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) = a 2 ∘ b 2 , ∵ ϕ : G → H : g → g 2 , ∴ ϕ ( a ⋅ b ) = ( a ⋅ b ) 2 = b 2 ∘ a 2 , ∵ a 2 ∘ b 2 = b 2 ∘ a 2 , ∴ G 是 阿 贝 尔 群 ⇐ : ∵ G 是 阿 贝 尔 群 ∴ ∀ a , b ∈ G , ϕ ( a ⋅ b ) = ( a ⋅ b ) 2 = b 2 a 2 = a 2 b 2 = ϕ ( a ) ∘ ϕ ( b ) ∴ ϕ 是 一 种 群 同 态 \Rightarrow:\\ \because \phi是一种群同态,\\ \therefore\forall a,b\in G,\phi(a\cdot b)=\phi(a)\circ\phi(b)=a^2\circ b^2,\\ \because \phi:G\rightarrow H:g\rightarrow g^2,\\ \therefore\phi(a\cdot b)=(a\cdot b)^2=b^2\circ a^2,\\ \because a^2\circ b^2=b^2\circ a^2,\\ \therefore G是阿贝尔群\\ \Leftarrow:\\ \because G是阿贝尔群\\ \therefore \forall a,b\in G,\phi(a\cdot b)=(a\cdot b)^2=b^2a^2\\ =a^2b^2=\phi(a)\circ\phi(b)\\ \therefore \phi是一种群同态 ⇒:∵ϕ是一种群同态,∴∀a,b∈G,ϕ(a⋅b)=ϕ(a)∘ϕ(b)=a2∘b2,∵ϕ:G→H:g→g2,∴ϕ(a⋅b)=(a⋅b)2=b2∘a2,∵a2∘b2=b2∘a2,∴G是阿贝尔群⇐:∵G是阿贝尔群∴∀a,b∈G,ϕ(a⋅b)=(a⋅b)2=b2a2=a2b2=ϕ(a)∘ϕ(b)∴ϕ是一种群同态 -
设 ϕ : G → H 是一种群同态。请证明:如果 G 是循环群,则 ϕ(G) 也是循环群;如果 G 是交换群,则 ϕ(G) 也是交换群。
( 1 ) ∵ G 是 循 环 群 , ∴ ∃ g 是 G 的 生 成 元 , 且 ∀ c ∈ G , 都 有 a , b ∈ G , a ⋅ b = c ∵ ϕ : G → H 是 群 同 态 ∴ ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) = ϕ ( c ) 即 ϕ ( g ⋅ g ) = ϕ ( g ) ∘ ϕ ( g ) = ϕ ( g 2 ) = ϕ ( g ) 2 同 理 有 ϕ ( g n ) = ϕ ( g ) n 即 ϕ ( G ) 中 的 元 素 都 可 由 由 ϕ ( G ) 中 的 生 成 元 ϕ ( g ) 形 成 ∴ ϕ ( G ) 也 是 循 环 群 。 ( 2 ) ∵ G 是 交 换 群 ∴ ∀ a , b ∈ G , 有 a ⋅ b = b ⋅ a ∵ ϕ : G → H 是 群 同 态 ∴ ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) ϕ ( b ⋅ a ) = ϕ ( b ) ∘ ϕ ( a ) ∴ ϕ ( a ) ∘ ϕ ( b ) = ϕ ( b ) ∘ ϕ ( a ) ∴ ϕ ( G ) 是 阿 贝 尔 群 (1)\\ \because G是循环群,\\ \therefore \exist g是G的生成元,\\ 且\forall c\in G,都有a,b\in G,a\cdot b=c\\ \because \phi:G\rightarrow H是群同态\\ \therefore \phi(a\cdot b)=\phi(a)\circ\phi(b)=\phi(c)\\ 即\phi(g\cdot g)=\phi(g)\circ\phi(g)=\phi(g^2)=\phi(g)^2\\ 同理有\phi(g^n)=\phi(g)^n\\ 即\phi(G)中的元素都可由由\phi(G)中的生成元\phi(g)形成\\ \therefore\phi(G)也是循环群。\\ (2)\\ \because G是交换群\\ \therefore\forall a,b\in G,有a\cdot b=b\cdot a\\ \because \phi:G\rightarrow H是群同态\\ \therefore\phi(a\cdot b)=\phi(a)\circ\phi(b)\\ \phi(b\cdot a)=\phi(b)\circ\phi(a)\\ \therefore\phi(a)\circ\phi(b)=\phi(b)\circ\phi(a)\\ \therefore \phi(G)是阿贝尔群 (1)∵G是循环群,∴∃g是G的生成元,且∀c∈G,都有a,b∈G,a⋅b=c∵ϕ:G→H是群同态∴ϕ(a⋅b)=ϕ(a)∘ϕ(b)=ϕ(c)即ϕ(g⋅g)=ϕ(g)∘ϕ(g)=ϕ(g2)=ϕ(g)2同理有ϕ(gn)=ϕ(g)n即ϕ(G)中的元素都可由由ϕ(G)中的生成元ϕ(g)形成∴ϕ(G)也是循环群。(2)∵G是交换群∴∀a,b∈G,有a⋅b=b⋅a∵ϕ:G→H是群同态∴ϕ(a⋅b)=ϕ(a)∘ϕ(b)ϕ(b⋅a)=ϕ(b)∘ϕ(a)∴ϕ(a)∘ϕ(b)=ϕ(b)∘ϕ(a)∴ϕ(G)是阿贝尔群
- 证明:如果 H 是群 G 上指标为 2 的子群,则 H 是 G 的正规子群。
( 1 ) 若 a ∉ H , 则 a H ≠ H , H a ≠ H , ∵ H 是 群 G 上 指 标 为 2 的 子 群 , 且 易 知 左 陪 集 和 右 陪 集 元 素 个 数 相 等 ∴ G = H ∪ H a = H ∪ a H , ∴ a H = H a ( 2 ) 若 a ∈ H , 则 a H = H a = H 综 上 , H 是 G 的 正 规 子 群 (1)若a\notin H,则aH\neq H,Ha\neq H,\\ \because H是群G上指标为2的子群,\\ 且易知左陪集和右陪集元素个数相等\\ \therefore G=H\cup Ha=H\cup aH,\\ \therefore aH=Ha\\ (2)若a\in H,则aH=Ha=H\\ 综上,H是G的正规子群 (1)若a∈/H,则aH=H,Ha=H,∵H是群G上指标为2的子群,且易知左陪集和右陪集元素个数相等∴G=H∪Ha=H∪aH,∴aH=Ha(2)若a∈H,则aH=Ha=H综上,H是G的正规子群