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