CHITA 作业六：同态、第一同构定理
- 根据命题
9.5
9.5
9.5，
H
\mathbb{H}
H 是
G
\mathbb{G}
G 的正规子群当且仅当对任意
g
∈
G
g\in\mathbb{G}
g∈G，有
g
H
g
−
1
=
H
g\mathbb{H}g^{-1}=\mathbb{H}
gHg−1=H。后置条件可以放松到只要求
g
H
g
−
1
⊂
H
g\mathbb{H}g^{-1}\sub\mathbb{H}
gHg−1⊂H。请给出证明。
要证：后置条件可放松至 g H g − 1 ⊂ H g\mathbb{H}g^{-1}\sub\mathbb{H} gHg−1⊂H
(1) 需有： g H g − 1 ⊂ H g\mathbb{H}g^{-1}\sub\mathbb{H} gHg−1⊂H 则有： g H = H g g\mathbb{H}=\mathbb{H}g gH=Hg（正规子群）
(2) 且： H \mathbb{H} H 为 G \mathbb{G} G 的正规子群时， ∀ g ∈ G \forall g\in\mathbb{G} ∀g∈G 满足 g H g − 1 ⊂ H g\mathbb{H}g^{-1}\sub\mathbb{H} gHg−1⊂H（双向成立）
-
g H g − 1 ⊂ H g\mathbb{H}g^{-1}\sub\mathbb{H} gHg−1⊂H 有： g H = H g g\mathbb{H}=\mathbb{H}g gH=Hg
同 左 乘 g − 1 ： H g − 1 ⊂ g − 1 H 同 右 乘 g ： g H ⊂ H g ∵ g 为 G 的 任 意 元 素 ∴ 进 行 g 与 g − 1 的 替 换 得 到 ： H g ⊂ g H 双 向 成 立 则 有 ： g H = H g 同左乘 g^{-1}：\mathbb{H}g^{-1}\sub g^{-1}\mathbb{H}\\ 同右乘 g： g\mathbb{H}\sub\mathbb{H}g\\ \because g 为 \mathbb{G} 的任意元素\\ \therefore 进行 g 与 g^{-1} 的替换\\ 得到：\mathbb{H}g\sub g\mathbb{H} 双向成立\\ 则有：g\mathbb{H}=\mathbb{H}g 同左乘g−1：Hg−1⊂g−1H同右乘g：gH⊂Hg∵g为G的任意元素∴进行g与g−1的替换得到：Hg⊂gH双向成立则有：gH=Hg -
H \mathbb{H} H 为 G \mathbb{G} G 的正规子群， ∀ g ∈ G \forall g\in\mathbb{G} ∀g∈G ，有 g H g − 1 ⊂ H g\mathbb{H}g^{-1}\sub\mathbb{H} gHg−1⊂H
由 定 义 ： ∀ g ∈ G 有 g H = H g 同 样 地 ： g − 1 H = H g − 1 已 知 正 规 子 群 间 的 乘 法 为 良 定 义 ： ( g H ) ( H g − 1 ) = ( H g ) ( g − 1 H ) 由 封 闭 性 及 结 合 律 ： g H g − 1 = H 显 然 有 ： g H g − 1 ⊂ H 由定义：\forall g\in\mathbb{G} 有 g\mathbb{H}=\mathbb{H}g\\ 同样地：g^{-1}\mathbb{H}=\mathbb{H}g^{-1}\\ 已知正规子群间的乘法为良定义：\\ (g\mathbb{H})(\mathbb{H}g^{-1})=(\mathbb{H}g)(g^{-1}\mathbb{H})\\ 由封闭性及结合律：g\mathbb{H}g^{-1}=\mathbb{H}\\ 显然有：g\mathbb{H}g^{-1}\sub\mathbb{H} 由定义：∀g∈G有gH=Hg同样地：g−1H=Hg−1已知正规子群间的乘法为良定义：(gH)(Hg−1)=(Hg)(g−1H)由封闭性及结合律：gHg−1=H显然有：gHg−1⊂H
- 定义映射 ϕ \phi ϕ： G ↦ G \mathbb{G}\mapsto\mathbb{G} G↦G 为： g ↦ g 2 g\mapsto g^2 g↦g2。请证明 ϕ \phi ϕ 是一种群同态当且仅当 G \mathbb{G} G 是阿贝尔群。
-
ϕ \phi ϕ 是一种群同态，则 G \mathbb{G} G 为阿贝尔群
已 知 ： ϕ 映 射 为 群 同 态 映 射 已知：\phi 映射为群同态映射 已知：ϕ映射为群同态映射
那 么 ： ∀ a , b ∈ G 有 ϕ ( a ∘ b ) = a 2 × b 2 = b 2 × a 2 = ϕ ( b ∘ a ) 得 到 原 群 为 阿 贝 尔 群 那么：\forall a,b\in\mathbb{G} 有\\ \phi(a\circ b)=a^2\times b^2=b^2\times a^2=\phi(b\circ a)\\ 得到原群为阿贝尔群 那么：∀a,b∈G有ϕ(a∘b)=a2×b2=b2×a2=ϕ(b∘a)得到原群为阿贝尔群
-
G \mathbb{G} G 为阿贝尔群，则 ϕ \phi ϕ 映射为群同态映射
∀ a , b ∈ G 那 么 ： ϕ ( b ∘ a ) = ( b ∘ a ) 2 = b 2 × a 2 ∴ ϕ 为 群 同 态 映 射 \forall a,b\in\mathbb{G}\\ 那么：\phi(b\circ a)=(b\circ a)^2=b^2\times a^2\\ \therefore \phi 为群同态映射 ∀a,b∈G那么：ϕ(b∘a)=(b∘a)2=b2×a2∴ϕ为群同态映射
- 设 ϕ \phi ϕ： G ↦ H \mathbb{G}\mapsto\mathbb{H} G↦H 是一种群同态。请证明：如果 G \mathbb{G} G 是循环群，则 ϕ ( G ) \phi(\mathbb{G}) ϕ(G) 也是循环群；如果 G \mathbb{G} G 是交换群，则 ϕ ( G ) \phi(\mathbb{G}) ϕ(G) 也是交换群。
-
如果 G \mathbb{G} G 是循环群，则 ϕ ( G ) \phi(\mathbb{G}) ϕ(G) 也是循环群
∵ G 为 循 环 群 ∴ ∃ g 为 G 生 成 元 且 又 有 ∀ k ∈ G 可 得 a , b ∈ G 使 ： a ∘ b = k 又 ∵ ϕ : G ↦ H 为 群 同 态 映 射 ∴ 原 式 有 ϕ ( a ∘ b ) = ϕ ( k ) = ϕ ( a ) × ϕ ( b ) 那 么 有 ： ϕ ( g 2 ) = ϕ ( g ∘ g ) = ϕ ( g ) × ϕ ( g ) = ( ϕ ( g ) ) 2 由 此 推 ： ϕ ( g n ) = ϕ ( g ) n G 的 元 素 均 可 由 ϕ ( g ) 生 成 ∴ ϕ ( G ) 也 是 循 环 群 \because \mathbb{G} 为循环群\\ \therefore \exist g 为 \mathbb{G} 生成元\\ 且又有 \forall k\in\mathbb{G} 可得 a,b\in\mathbb{G}\\ 使：a\circ b=k\\ 又 \because \phi: \mathbb{G}\mapsto\mathbb{H} 为群同态映射\\ \therefore 原式有 \phi(a\circ b)=\phi(k)=\phi(a)\times\phi(b)\\ 那么有：\phi(g^2)=\phi(g\circ g)=\phi(g)\times\phi(g)=(\phi(g))^2\\ 由此推：\phi(g^n)=\phi(g)^n\\ \mathbb{G} 的元素均可由 \phi(g) 生成\\ \therefore \phi(\mathbb{G}) 也是循环群 ∵G为循环群∴∃g为G生成元且又有∀k∈G可得a,b∈G使：a∘b=k又∵ϕ:G↦H为群同态映射∴原式有ϕ(a∘b)=ϕ(k)=ϕ(a)×ϕ(b)那么有：ϕ(g2)=ϕ(g∘g)=ϕ(g)×ϕ(g)=(ϕ(g))2由此推：ϕ(gn)=ϕ(g)nG的元素均可由ϕ(g)生成∴ϕ(G)也是循环群
-
如果 G \mathbb{G} G 是交换群，则 ϕ ( G ) \phi(\mathbb{G}) ϕ(G) 也是交换群
已 知 ： G 为 交 换 群 那 么 ： ∀ a , b ∈ G 有 ϕ ( a ∘ b ) = ϕ ( a ) × ϕ ( b ) , ϕ ( b ∘ a ) = ϕ ( a ∘ b ) ϕ ( b ∘ a ) = b × a = a × b ∴ ϕ ( G ) 为 交 换 群 已知：\mathbb{G} 为交换群\\ 那么：\forall a,b\in\mathbb{G} 有 \phi(a\circ b)=\phi(a)\times \phi(b), \phi(b\circ a)=\phi(a\circ b)\\ \phi(b\circ a)=b\times a=a\times b\\ \therefore \phi(\mathbb{G}) 为交换群 已知：G为交换群那么：∀a,b∈G有ϕ(a∘b)=ϕ(a)×ϕ(b),ϕ(b∘a)=ϕ(a∘b)ϕ(b∘a)=b×a=a×b∴ϕ(G)为交换群
- 证明：如果 H \mathbb{H} H 是群 G \mathbb{G} G 上指标为 2 2 2 的子群，则 H \mathbb{H} H 是 G \mathbb{G} G 的正规子群。
-
任取 h ∈ H h\in\mathbb{H} h∈H
那 么 有 ： h G = G h = H 为 正 规 子 群 那么有：h\mathbb{G}=\mathbb{G}h=\mathbb{H} 为正规子群 那么有：hG=Gh=H为正规子群
-
任取 h ∉ H h\notin\mathbb{H} h∈/H
那 么 ： h G ≠ H ∧ G h ≠ H 已 知 ： H 是 群 G 上 指 标 为 2 的 子 群 ∴ 而 且 对 于 G 左 陪 集 与 右 陪 集 个 数 相 同 （ 同 一 等 价 关 系 ） G = H ∪ h H = H ∪ H h ∴ h H = H h 可 得 其 为 正 规 子 群 那么：h\mathbb{G}\neq\mathbb{H}\wedge\mathbb{G}h\neq\mathbb{H}\\ 已知：\mathbb{H} 是群 \mathbb{G} 上指标为 2 的子群\\ \therefore 而且对于 \mathbb{G} 左陪集与右陪集个数相同（同一等价关系）\\ \mathbb{G}=\mathbb{H}\cup h\mathbb{H}=\mathbb{H}\cup \mathbb{H}h\\ \therefore h\mathbb{H}=\mathbb{H}h 可得其为正规子群 那么：hG=H∧Gh=H已知：H是群G上指标为2的子群∴而且对于G左陪集与右陪集个数相同（同一等价关系）G=H∪hH=H∪Hh∴hH=Hh可得其为正规子群
262
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
