群同构定理

“群同态基本定理”是群理论中的一个非常重要的定理。在此基础上,我们可以研究群同构性质,得到“群同构定理”。我们先介绍群同态基本定理,然后给出群同构三大定理及其证明。

群同态基本定理:
G,H 都是群,它们之间有一个映射 f:GH 是满同态,令 Nf 的核。于是 G/NH 同构,记为 G/NH

证明:
现我们已经知道 f:GH 是一个满同态,并且 π:GG/N 是一个典型的满同态。定义映射 f¯:G/NHf¯(aN)=f(a)。 我们先验证 f¯ 是良定的,再证明 f¯ 是同构即可。
baN,存在一个 nN 使得 b=an,并且 f(b)=f(an)=f(a)f(n)=f(a)e=f(a), 因此,f 对陪集的每一个元素都有相同的作用,是良定的。 由于f¯(aN)=f(a),因而 f¯ 也是良定的。
再证同态:

f¯(aNbN)=f¯(abN)=f(ab)=f(a)f(b)=f¯(aN)f¯(bN)

再证单同态:
f¯(aN)=f¯(bN)f(a)=f(b)e=f1(a)f(b)=f(a1)f(b)=f(a1b)

a1bNaN=bN

再证满同态:对任意的 bH,由 f 是满同态可知,存在 aG 使得 f(a)=b。由 f¯ 的定义可知 aN¯=f(a)=b, 其中 aNG/N。故 f¯ 是一个满同态。
综上,f¯ 是一个同构,即有 G/NH


接下来,我们介绍群同构三大定理:

第一群同构定理:
如果 f:GH 是一个群同态,那么 f 诱导出一个同构 G/ker(f)im(f)
证明:
与群同态基本定理的证明类似,此处略。


第二群同构定理:
如果 K,N 都是群 G 的子群, 并且 NG 的正规子群,那么就有 K/(NK)NK/N
证明:
NK=NKKNK 可知,映射 f:KNK/N 是一个同态,并且核为 KN 。由第一同构定理,我们得到一个同构 f¯:K/KNim(f)NK。而 NK/N 中元素的形式为 nkN,其中 nN,kK。由 NG可知, 存在 n1N 使得 nk=kn1。从而有 nkN=kn1N=kN=f(k),故 NKim(f)。因此,我们得到 im(f)=NK/N,定理得证。


第三群同构定理:
如果 H,K 都是群 G 的正规子群且 KH 的子群,那么 H/KG/K 的正规子群,并且 (G/K)/(H/K)G/H
证明:
由定义我们很容易可以证得 H/KG/K 的正规子群,因此在这儿就不再赘述。由于 1G:GG 是恒等映射,并且 1G(K)<H,因此我们得到一个满同态 f:G/KG/H,其中 f(aK)=aH
并且 h=f(aK) 当且仅当 aH,即 ker(f)={aK|aH}=H/K。由第一同构定理就可以得出结论。
(注:由于 H/KG/K 的正规子群,那么我们就有 π:G/K(G/K)/(H/K) 是一个典型的满同构。)


从上面的证明过程我们可以发现,群同构定理的关键是群同态基本定理。我们在证明的时候,首先找到一个满同态映射 fGim(f),然后再找到 ker(f),显然 ker(f)G,最后由 f 诱导一个映射 f¯,并且证明这个映射是同构的就可以了。这样,整个证明就变的非常的简单了。

阅读更多
版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/u010450214/article/details/50277635
个人分类: 数学
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭