近世代数--群同构--第三同构定理
博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:近世代数,方便检索。
先验知识在第一同构定理。
第三同构定理: H ◃ G , N ◃ G , N ⊆ H H\triangleleft G,N\triangleleft G,N\subseteq H H◃G,N◃G,N⊆H,有 G / H ≅ ( G / N ) / ( H / N ) G/H\cong (G/N)/(H/N) G/H≅(G/N)/(H/N)
证明:根据第一同构定理,我们把 G / N G/N G/N看作 G G G, G / H G/H G/H看作 G ′ G' G′, H / N H/N H/N看作 K e r ( f ) , f : G → G ′ Ker(f),f:G\rightarrow G' Ker(f),f:G→G′,就自然有第三同构定理成立。
满足第一同构定理有两个条件:
- 条件1: f : G / N → G / H f:G/N\rightarrow G/H f:G/N→G/H是满同态;
- 条件2: H / N H/N H/N是 K e r ( f ) Ker(f) Ker(f);
定义: f ( a N ) = a H , ∀ a ∈ G f(aN)=aH,\forall a\in G f(aN)=