自然同态 ϕ \phi ϕ:群到商群的映射
(商群的单位元就是等价关系对应的陪集??存疑教材P58
群同态的核都是正规子群
群同态 ϕ \phi ϕ满足: ϕ ( x − 1 ) = ϕ ( x ) − 1 \phi(x^{-1})=\phi(x)^{-1} ϕ(x−1)=ϕ(x)−1
单同态与满同态
σ : G → G ′ , 群 同 态 \sigma:G\to G',群同态 σ:G→G′,群同态
满同态 σ \sigma σ,若 σ G = G ′ \sigma G=G' σG=G′
单同态 σ \sigma σ,若 G G G与 σ G \sigma G σG同构,即 G G G与 G ′ G' G′的一个子群同构
满同态,(由于教材P58问题没有解决,解决了补上)
单同态,当且仅当 k e r ( σ ) = { e G } ker(\sigma)=\{e_G\} ker(σ)={eG}
σ : G → G ′ , 环 同 态 \sigma:G\to G',环同态 σ:G→G′,环同态
如果 σ \sigma σ是满同态, N = k e r ( σ ) N=ker(\sigma) N=ker(σ),则
σ − 1 ( σ ( H ) ) = H + N \sigma^{-1}(\sigma(H))=H+N σ−1(σ(H))=H+N
σ ( σ − 1 ( H ′ ) ) = H ′ \sigma(\sigma^{-1}(H'))=H' σ(σ−1(H′))=H′
特别地,若 N ⊆ H N\subseteq H N⊆H ,则
σ − 1 ( σ ( H ) ) = H \sigma^{-1}(\sigma(H))=H σ−1(σ(H))=H(很自然)
更新ing…