近世代數(shù)--正規(guī)子群--群、同態(tài)核、同態(tài)象的大小關(guān)系

• $|G|=|Ker\phi ||Im\phi |$

博主是初學(xué)近世代數(shù)（群環(huán)域），本意是想整理一些較難理解的定理、算法，加深記憶也方便日后查找；如果有錯(cuò)，歡迎指正。
我整理成一個(gè)系列：近世代數(shù)，方便檢索。

這里是正規(guī)子群的一點(diǎn)基礎(chǔ)概念。

$|G|=|Ker\phi ||Im\phi |$

設(shè)$G,G^{\prime }$是兩個(gè)群，$\phi :G\to G^{\prime }$是一個(gè)群同態(tài)，設(shè)$\bar{G}$是$N=Ker\phi$的所有陪集的集合，則$\bar{\phi }:\bar{G}\to Im\phi ,\phi (aN)=Im(a)$是一個(gè)雙射。

證明：

• 構(gòu)造映射：$\bar{\phi }:\bar{G}\to Im\phi ,\bar{\phi }(aN)=\phi (a)$
• 是一個(gè)函數(shù)：證明$?aN,bN\in \bar{G},$如果$aN=bN,$那么$\phi (a)=\phi (b)$
  $$\begin{gathered} aN=bN \\ \to a^{?1}bN=N \\ \to a^{?1}b\in N=Ker\phi \\ \to \phi (a^{?1}b)=e \\ \to \phi (a^{?1})\phi (b)=e \\ \to \phi (a{)}^{?1}\phi (b)=e \\ \to \phi (a)=\phi (b) \end{gathered}$$
• 單射：證明$?Im(a),Im(b)\in Im\phi ,$如果$\phi (a)=\phi (b),$那么$aN=bN$
  $$\begin{gathered} \phi (a)=\phi (b) \\ \to \phi (a{)}^{?1}\phi (b)=e \\ \to \phi (a^{?1}b)=e \\ \to a^{?1}b\in Ker\phi =N \\ \to a^{?1}bN=N \\ \to aN=bN \end{gathered}$$
• 滿射：$?Im(a)\in Im\phi ,?aN\in \bar{G}$，使得$\phi (aN)=Im(a)$
  易證。

$\bar{\phi }:\bar{G}\to Im\phi ,\phi (aN)=Im(a)$是一個(gè)雙射，$\to |\bar{G}|=|Im\phi |$，又由拉格朗日定理知，$$\begin{gathered} |G|=|N||\bar{G}| \\ \to |G|=|Ker\phi ||Im\phi | \end{gathered}$$

總結(jié)

以上是生活随笔為你收集整理的近世代数--正规子群--群、同态核、同态象的大小关系的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。