近世代数--商群--群和商群是一一对应的

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

• 商群：$G$是群，$N◃G$，那么$G/N$就是$G$关于$N$的商群。

群和商群是一一对应的，函数$\phi (H)=H/N$双射

群$G$所有包含$N$的子群，与商群$G/N$的子群一一对应。
用数学符号表示：$N◃G,N\le H\le G,H/N\le G/N,$函数$\phi (H)=H/N$定义在 { H : N ≤ H ≤ G } → { Q : Q ≤ G / N } \{H:N\le H \le G\}\rightarrow\{Q:Q\le G/N\} { H:N≤H≤G}→{ Q:Q≤G/N}，是双射的。

证明：单射+满射

• 单射：要证$H_1\ne H_2\to \phi (H_1)\ne \phi (H_2)$
  反证：$\phi (H_1)=\phi (H_2)\to H_1=H_2$
  $$\begin{gathered} \phi (H_1)=\phi (H_2) \\ \to H_{1}N=H_{2}N \\ \to \forall h_1\in H_1,\exists h_2\in H_2, \end{gathered}$$使得$$\begin{gathered} h_{1}N=h_{2}N \\ \to h_1^{-1}{h}_{2}N=N \\ \to h_1^{-1}{h}_2\in N\subset H \\ \to h_1^{-1}{h}_2\in H_2 \\ \to h_1^{-1}{h}_2=h\in H_2 \\ \to h_1^{-1}=h{h}_2\in H \\ \to h_1\in H_2 \\ \to H_1\subset H_2 \end{gathered}$$
  同理，$H_2\subset H_1$
  所以，$H_1=H_2$

• 满射：要证$\phi ({\phi }^{-1}(Q))=Q$
  注意！${\phi }^{-1}$要从$Q$所在域出发，即从 { Q : Q ≤ G / N } \{Q:Q\le G/N\} { Q:Q≤G/N}出发。函数$$\begin{gathered} \pi :G\to G/N, \\ {\pi }^{-1}:G/N\to G, \\ {\pi }^{} \end{gathered}$$