通过商群以及群同态基本定理来研究群结构是群论里的一个重要方法。这里介绍群同态基本定理、同构基本定理、子群对应定理。主要是Noether,Jordan,Ruffini等人的结果。
一、群同态基本定理
首先介绍群同态的核和像的概念:
定义1 设φ是群G到群G̅的群同态,G̅的单位元在φ下的所有原象作成的集合,称为φ的核,记为Kerφ。 群G的所有元素在φ下的像作成的集合,称为φ的像集,记作Imφ , 或φ(G).
很容易验证:Kerφ是G的正规子群,Imφ是G̅的子群。
证:因为之前已经知道群的同态保持子结构,所以,Imφ是G̅的子群。满的群同态保持正规子群的结构。特别的,φ是G到Imφ的满同态,所以将平凡的正规子群{e̅}拉回到正规子群Kerφ。
群和商群之间存在一个自然的满同态,称为自然同态。设N是G的正规子群。
自然同态:
,Ker τ=N.
有了自然同态之后,很容易得到下面的群同态基本定理。
定理2(群同态基本定理) 设φ是群G到群G̅的一个满同态. 则 N=Kerφ⊴G, 且 G⁄N≅G̅。
若φ只是一个同态,