同态基本定理及其应用

整体思路

对群G作关于子群N的陪集分解:$G=\underset{a\in R}{\cup }Na$(这句话意味着左、右陪集分解的$Na$完全一样),其中每个$Na$都当作一个元素，那么要想让集合 A = { N a ∣ a ∈ R } A=\{Na|a\in R\} A={Na∣a∈R}成为群，$N$就得是正规子群。当$A$变成群后($A$称为商群)，就可以继续研究这种特殊的群的性质了(同态基本定理及其应用)。

正规子群

定义：$N\le G,\forall g\in G,gN=Ng,那么N是G的$正规子群$记为：N◃G.$

引理1: N ≤ G ， 下 列 条 件 彼 此 等 价 ： ( 1 ) N ◃ G ; ( 2 ) ∀ g ∈ G , g N = N g ; ( 3 ) N G ( N ) = G ; ( 4 ) G 对 于 N 的 每 个 左 陪 集 均 是 右 陪 集 \begin{aligned}&N\le G，下列条件彼此等价：\\&(1)N\triangleleft G;\\&(2)\forall g\in G,gN=Ng;\\&(3)N_G(N)=G;\\&(4)G对于N的每个左陪集均是右陪集\\\end{aligned} ​N≤G，下列条件彼此等价：(1)N◃G;(2)∀g∈G,gN=Ng;(3)NG​(N)=G;(4)G对于N的每个左陪集均是右陪集​

证：
$$\begin{array}{rl}& (1)\Rightarrow (2)：根据定义可知。\\ & (2)\Rightarrow (3):gN=Ng\Rightarrow N=gN{g}^{-1}\Rightarrow N_G(N)=G\\ & (3)\Rightarrow (4):\forall g\in G,N=gN{g}^{-1}\Rightarrow \forall g\in G,Ng=gN\Rightarrow (4)成立\\ & (4)\Rightarrow (1):由已知得:\forall g\in G,\exists g^{\prime }\in G,gN=N{g}^{\prime }\\ & 由于1\in N,所以g\cdot 1\in gN=N{g}^{\prime }\\ & 即\forall g\in G,\exists n^{\prime }\in N,g=n^{\prime }{g}^{\prime }\Rightarrow \forall n\in N,ng=n{n}^{\prime }{g}^{\prime }\\ & 由n{n}^{\prime }\in N可知\forall n\in N,ng\in N{g}^{\prime }\\ & 根据消去律,|Ng|=|N|=|N{g}^{\prime }|,故Ng=N{g}^{\prime }=gN\\ & 根据N◃G的定义,(1)成立。\square \end{array}$$

商群

定义: 设 N ◃ G , 那 么 ∀ a ∈ G , N a = a N , 记 a ‾ = N a , 群 G ‾ = { a ‾ ∣ a ∈ G } 叫 做 G 对 N 的 设N\triangleleft G,那么\forall a \in G,Na=aN,记\overline{a}=Na,群\overline{G}=\{\overline{a}|a\in G\}叫做G对N的 设N◃G,那么∀a∈G,Na=aN,记a=Na,群G={a∣a∈G}叫做G对N的 商群$记为\overline{G}=G/N$

根据拉格朗日定理，$|\overline{G}|=\frac{|G|}{|N|}$
下面是商群概念的应用：

定理2: 设 N ◃ G . 令 μ ‾ 是 商 群 G ‾ = G / N 的 全 体 子 群 组 成 的 集 合 , μ = { M ∣ N ≤ M ≤ G } , 即 G 和 N 的 中 间 群 全 体 . 则 f : μ → μ ‾ , M ↦ M ‾ = M / N 是 一 一 对 应 . 并 且 对 M ∈ μ , M ◃ G ⇔ M ‾ ◃ G ‾ \begin{aligned}&设N\triangleleft G.令\overline{\mu}是商群\overline{G}=G/N的全体子群组成的集合,\\&\mu=\{M|N\le M\le G\},即G和N的中间群全体.\\&则f:\mu\rightarrow \overline{\mu},M\mapsto\overline{M}=M/N是一一对应.\\&并且对M\in \mu,M\triangleleft G\Leftrightarrow \overline{M}\triangleleft \overline{G}\end{aligned} ​设N◃G.令μ​是商群G=G/N的全体子群组成的集合,μ={M∣N≤M≤G},即G和N的中间群全体.则f:μ→μ​,M↦M=M/N是一一对应.并且对M∈μ,M◃G⇔M◃G​

证： μ 和 μ ‾ 都 是 群 的 集 合 , 即 : 这 两 个 集 合 中 的 任 意 元 素 都 是 群 μ 中 元 素 M 可 表 示 为 : N ∪ { a 1 , a 2 , ⋯ ∣ a i ∈ G − N } ; μ ‾ 中 元 素 M ‾ 可 表 示 为 : { N , g 1 N , g 2 N , ⋯ ∣ g i ∈ R } 只 需 找 到 映 射 f 的 逆 映 射 ， 即 可 证 明 f 是 一 一 对 应 。 设 映 射 h : μ ‾ → μ , M ‾ ↦ { g ∈ G ∣ g N ∈ M ‾ } 由 于 N ∈ M ‾ 恒 成 立 ， 所 以 N ⊆ { g ∈ G ∣ g N ∈ M ‾ } 由 M ‾ = { N , g 1 N , g 2 N , ⋯ ∣ g i ∈ R } 是 群 可 知 { g ∈ G ∣ g N ∈ M ‾ } 是 G 的 子 群 当 ∣ M ‾ ∣ = [ G : N ] 时 , { g ∈ G ∣ g N ∈ M ‾ } = G 综 上 所 述 , { g ∈ G ∣ g N ∈ M ‾ } = M . 故 映 射 h : μ ‾ → μ , M ‾ ↦ M h f ( M ) = h ( M ‾ ) = M ; f h ( M ‾ ) = f ( M ) = M ‾ 所 以 映 射 h 是 映 射 f 的 逆 映 射 ， 故 f 是 一 一 对 应 。 ∀ g ∈ G , M ◃ G ⇔ g M g − 1 = M ⇔ f ( g M g − 1 ) = g { N , g 1 N , g 2 N , ⋯ ∣ g i ∈ R } g − 1 = g N { N , g 1 N , g 2 N , ⋯ ∣ g i ∈ R } N g − 1 = g N M ‾ N g − 1 由 g N , N g − 1 ∈ G ‾ 和 g 的 任 意 性 知 M ‾ ◃ G ‾ 所 以 M ◃ G ⇔ M ‾ ◃ G ‾        □ \begin{aligned} &\mu和\overline\mu都是群的集合,即:这两个集合中的任意元素都是群\\ &\mu中元素M可表示为:N\cup\{a_1,a_2,\cdots|a_i\in G-N\};\\ &\overline\mu中元素\overline{M}可表示为:\{N,g_1N,g_2N,\cdots|g_i\in R\}\\ &只需找到映射f的逆映射，即可证明f是一一对应。\\ &设映射h:\overline{\mu}\rightarrow \mu,\overline{M}\mapsto \{g\in G|gN\in \overline{M}\}\\ &由于N\in \overline M恒成立，所以N\subseteq\{g\in G|gN\in \overline{M}\}\\ &由\overline{M}=\{N,g_1N,g_2N,\cdots|g_i\in R\}是群可知\\ &\{g\in G|gN\in \overline{M}\}是G的子群\\ &当|\overline{M}|=[G:N]时,\{g\in G|gN\in \overline{M}\}=G\\ &综上所述,\{g\in G|gN\in \overline{M}\}=M.故映射h:\overline{\mu}\rightarrow \mu,\overline{M}\mapsto M\\ &hf(M)=h(\overline M)=M;fh(\overline M)=f(M)=\overline M\\ &所以映射h是映射f的逆映射，故f是一一对应。\\ &\forall g\in G,M\triangleleft G\Leftrightarrow gMg^{-1}=M\Leftrightarrow \\ &f(gMg^{-1})=g\{N,g_1N,g_2N,\cdots|g_i\in R\}g^{-1}\\&=gN\{N,g_1N,g_2N,\cdots|g_i\in R\}Ng^{-1}\\ &=gN\overline MNg^{-1}\\ &由gN,Ng^{-1}\in \overline G和g的任意性知\overline M\triangleleft \overline G\\ &所以M\triangleleft G\Leftrightarrow\overline M\triangleleft \overline G \;\;\;\Box \end{aligned} ​μ和μ​都是群的集合,即:这两个集合中的任意元素都是群μ中元素M可表示为:N∪{a1​,a2​,⋯∣ai​∈G−N};μ​中元素M可表示为:{N,g1​N,g2​N,⋯∣gi​∈R}只需找到映射f的逆映射，即可证明f是一一对应。设映射h:μ​→μ,M↦{g∈G∣gN∈M}由于N∈M恒成立，所以N⊆{g∈G∣gN∈M}由M={N,g1​N,g2​N,⋯∣gi​∈R}是群可知{g∈G∣gN∈M}是G的子群当∣M∣=[G:N]时,{g∈G∣gN∈M}=G综上所述,{g∈G∣gN∈M}=M.故映射h:μ​→μ,M↦Mhf(M)=h(M)=M;fh(M)=f(M)=M所以映射h是映射f的逆映射，故f是一一对应。∀g∈G,M◃G⇔gMg−1=M⇔f(gMg−1)=g{N,g1​N,g2​N,⋯∣gi​∈R}g−1=gN{N,g1​N,g2​N,⋯∣gi​∈R}Ng−1=gNMNg−1由gN,Ng−1∈G和g的任意性知M◃G所以M◃G⇔M◃G□​

Klein四元群

现已知四元群$G$中若有一元素的阶是4,则$G\stackrel{\sim }{=}{Z}_4$.现讨论$g(\ne 1)\in G$都是2阶元素的情况：
$\forall a,b\in G,(ab{)}^2=abab=1\Rightarrow ab=a(abab)b=ba\Rightarrow G是阿贝尔群$
a ∈ G ⇒ a 2 = 1 ⇒ a = a − 1 ⇒ < a > = { 1 , a } a\in G\Rightarrow a^2=1\Rightarrow a=a^{-1}\Rightarrow <a>=\{1,a\} a∈G⇒a2=1⇒a=a−1⇒<a>={1,a}
则 对 于 b ∈ G 且 b ∉ < a > 有 : G / < a > = { < a > , b < a > } 则对于b\in G且b\notin <a>有:G/<a>=\{<a>,b<a>\} 则对于b∈G且b∈/​<a>有:G/<a>={<a>,b<a>}
此 时 G 的 四 个 互 异 元 素 都 已 经 找 到 : { 1 , a , b , a b } 它 的 每 一 个 非 幺 元 的 阶 都 是 2 ， 这 个 群 称 为 K 4 ， 与 Z 4 不 同 构 。 此时G的四个互异元素都已经找到:\{1,a,b,ab\}它的每一个非幺元的阶都是2，这个群称为K_4，与Z_4不同构。 此时G的四个互异元素都已经找到:{1,a,b,ab}它的每一个非幺元的阶都是2，这个群称为K4​，与Z4​不同构。

同态基本定理

定 理 1 ： 设 f : G → G ′ 是 群 的 同 态 . 则 I m f = f ( G ) 是 G ′ 的 子 群 , K e r f = f − 1 ( 1 ) = { g ∈ G ∣ f ( g ) = 1 } 是 G 的 正 规 子 群 . 并 且 有 群 同 构 f ‾ : G / K e r f → ∼ I m f , f ‾ ( g ‾ ) = f ( g ) \begin{aligned}&定理1：设f:G\rightarrow G'是群的同态.则Im f=f(G)是G'的子群,\\&Ker f=f^{-1}(1)=\{g\in G|f(g)=1\}是G的正规子群.\\&并且有群同构\overline{f}:G/Ker f\mathop{\rightarrow}\limits^{\sim} Im f,\overline{f}(\overline{g})=f(g)\end{aligned} ​定理1：设f:G→G′是群的同态.则Imf=f(G)是G′的子群,Kerf=f−1(1)={g∈G∣f(g)=1}是G的正规子群.并且有群同构f​:G/Kerf→∼Imf,f​(g​)=f(g)​

证：
$$\begin{array}{rl}& 证Imf是G^{\prime }的子群:\\ & 因为f是同态映射，所以\forall f(g_1),f(g_2)\in Imf,f(g_1)f^{-1}(g_2)=f(g_1)f(g_2^{-1})=f(g_1{g}_2^{-1})\\ & 由g_1{g}_2^{-1}\in G可知f(g_1)f^{-1}(g_2)=f(g_1{g}_2^{-1})\in Imf,故Imf是G^{\prime }的子群\\ & 证Kerf是G的正规子群：\\ & \forall k\in Kerf,f(g^{-1}kg)=f^{-1}(g)f(k)f(g)=1\Rightarrow g^{-1}kg\in Kerf\Rightarrow g^{-1}Kerfg=Kerf\\ & 故Kerf◃G\\ & 证映射\overline{f}存在：根据映射的定义，即证若{\overline{g}}_1={\overline{g}}_2则\overline{f}({\overline{g}}_1)=\overline{f}({\overline{g}}_2)\\ & {\overline{g}}_1={\overline{g}}_2\Rightarrow \exists k_1,k_2\in Kerf,g_1{k}_1=g_2{k}_2\Rightarrow g_1{k}_1{k}_2^{-1}=g_2\\ & 所以\overline{f}({\overline{g}}_2)=\overline{f}(\overline{g_1{k}_1{k}_2^{-1}})=f(g_1)f(k_1{k}_2^{-1})=f(g_1)=\overline{f}({\overline{g}}_1)\\ & 证\overline{f}是同态映射：\\ & \overline{f}({\overline{g}}_1\cdot {\overline{g}}_2)=\overline{f}(\overline{g_1{g}_2})=f(g_1\cdot g_2)=f(g_1)\cdot f(g_2)=\overline{f}({\overline{g}}_1)\cdot \overline{f}({\overline{g}}_2)\\ & 证\overline{f}是满同态：\\ & \forall a\in Imf,\exists g\in G使得f(g)=a.\\ & 因为gKerf\in G/Kerf所以\forall f(g)\in Imf,\exists \overline{g}\in G/Kerf,\overline{f}(\overline{g})=f(g)\\ & 证\overline{f}是单同态：\\ & f(g_1)=f(g_2)\Rightarrow f^{-1}(g_2)f(g_1)=f(g_2^{-1}{g}_1)=1\Rightarrow g_2^{-1}{g}_1\in Kerf\\ & 所以g_2^{-1}{g}_1\cdot Kerf=Kerf\Rightarrow g_1\cdot Kerf=g_2\cdot Kerf\Rightarrow {\overline{g}}_1={\overline{g}}_2\\ & 综上所述，\overline{f}是群同构。\square \end{array}$$

推论 设 f : G → G ′ 是 群 的 同 态 . 则 ( 1 ) f 为 单 同 态 ⇔ K e r f = { 1 } ; ( 2 ) 若 f 为 满 同 态 ， 则 有 ( 正 则 ) 同 构 f ‾ : G / K e r f → ∼ G ′ . \begin{aligned}&设f:G\rightarrow G'是群的同态.则\\&(1)f为单同态\Leftrightarrow Ker f=\{1\};\\&(2)若f为满同态，则有(正则)同构\overline f:G/Ker f \mathop{\rightarrow}\limits^{\sim}G'.\end{aligned} ​设f:G→G′是群的同态.则(1)f为单同态⇔Kerf={1};(2)若f为满同态，则有(正则)同构f​:G/Kerf→∼G′.​

证
( 1 ) 必 要 性 ： f 是 单 同 态 ⇒ 1 G ′ ∈ G ′ 的 原 像 只 有 一 个 , 即 ∣ K e r f ∣ = 1 ⇒ f ( g ) = f ( g ) ⋅ f ( K e r f ) = f ( g ⋅ K e r f ) 可 知 K e r f = { 1 G } 充 分 性 ： 当 K e r f = { 1 G } 时 ， f ( g 1 ) = f ( g 2 ) ⇒ f ( g 1 g 2 − 1 ) = 1 G ′ ⇒ g 1 g 2 − 1 ∈ K e r f g 1 g 2 − 1 = 1 G ⇒ g 1 = g 2 . 由 f ( g 1 ) = f ( g 2 ) ⇒ g 1 = g 2 可 知 f 是 单 同 态 。 ( 2 ) 若 f 是 满 同 态 ， 则 I m f = G ′ . 根 据 同 态 基 本 定 理 , f ‾ 是 同 构 映 射 。        □ \begin{aligned} &(1)必要性：f是单同态\Rightarrow 1_{G'}\in G'的原像只有一个,即|Ker f|=1\\ &\Rightarrow f(g)=f(g)\cdot f(Ker f)=f(g\cdot Ker f)可知Ker f=\{1_G\}\\ &充分性：当Ker f=\{1_G\}时，f(g_1)=f(g_2)\Rightarrow f(g_1g_2^{-1})=1_{G'}\Rightarrow g_1g_2^{-1}\in Ker f\\ &g_1g_2^{-1}=1_G\Rightarrow g_1=g_2.由f(g_1)=f(g_2)\Rightarrow g_1=g_2可知f是单同态。\\ &(2)若f是满同态，则Imf=G'.根据同态基本定理,\overline f是同构映射。\;\;\;\Box\\ \end{aligned} ​(1)必要性：f是单同态⇒1G′​∈G′的原像只有一个,即∣Kerf∣=1⇒f(g)=f(g)⋅f(Kerf)=f(g⋅Kerf)可知Kerf={1G​}充分性：当Kerf={1G​}时，f(g1​)=f(g2​)⇒f(g1​g2−1​)=1G′​⇒g1​g2−1​∈Kerfg1​g2−1​=1G​⇒g1​=g2​.由f(g1​)=f(g2​)⇒g1​=g2​可知f是单同态。(2)若f是满同态，则Imf=G′.根据同态基本定理,f​是同构映射。□​

同态基本定理的应用

$\begin{array}{rl}& 定理3:设N◃G,H\le G.则\\ & (H\cap N)◃H,N◃NH\le G,NH/N\stackrel{\sim }{=}H/H\cap N\end{array}$

证
$$\begin{array}{rl}& 因为NH\le G，所以由N◃G可知N◃NH.\\ & 下文都是关于映射f:H\to NH/N,h\mapsto Nh的讨论：\\ & 根据映射的定义,h_1=h_2\Rightarrow N{h}_1=N{h}_2,映射f存在.\\ & \forall NH/N中的元素,都可以表示为Nh(其中h\in H).故f是满射.\\ & NH/N的幺元是N=\overline{1}.h\in Kerf\iff f(h)=Nh=N\iff h\in N\\ & 所以kerf=H\cap N\\ & 所以(H\cap N)◃H,根据同态基本定理,H/H\cap N\stackrel{\sim }{=}NH/N\square \end{array}$$

$定理4:设N◃G,M◃G,N\le M,则G/M\stackrel{\sim }{=}\frac{G/N}{M/N}$

证
$$\begin{array}{rl}& 设f:G/N\to G/M,gN\mapsto gM\\ & 根据映射的定义，g_{1}N=g_{2}N\Rightarrow g_2^{-1}{g}_{1}N=N\Rightarrow g_2^{-1}{g}_1\in N\\ & 故g_2^{-1}{g}_1\in M\Rightarrow M=g_2^{-1}{g}_{1}M\Rightarrow g_{2}M=g_{1}M.所以映射f存在。\\ & \forall G/M中的元素都可以表示为gM(其中g\in G),gM的原像gN一定存在,所以f是满射.\\ & \forall g_{1}N,g_{2}N\in G/N,f(g_{1}N\cdot g_{2}N)=f(g_1{g}_{2}N)=g_1{g}_{2}M\\ & =g_{1}M\cdot g_{2}M=f(g_{1}N)\cdot f(g_{2}N),故f是满同态\\ & G/M的幺元是M=\overline{1}\\ & gN\in Kerf\iff gM=M\iff g\in M\iff gN\in M/N\\ & 所以Kerf=M/N\\ & 根据同态基本定理，\frac{G/N}{M/N}\stackrel{\sim }{=}G/M\square \end{array}$$