◎朱寬云 楊永偉 （．長(zhǎng)江大學(xué) 信息與數(shù)學(xué)學(xué)院，湖北 荊州 43403；．安陽(yáng)師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，河南 安陽(yáng) 455000）

一、引 言

近世代數(shù)是大學(xué)本科數(shù)學(xué)專(zhuān)業(yè)的主干課程之一，主要包括群、環(huán)、域三個(gè)代數(shù)系統(tǒng)．在近世代數(shù)視角下，可以清晰地看到很多初等數(shù)學(xué)內(nèi)容的本質(zhì)，這是數(shù)學(xué)專(zhuān)業(yè)師范生的職業(yè)技能需求［1］．但是由于近世代數(shù)具有高度抽象性和嚴(yán)密邏輯性的特點(diǎn)，學(xué)生學(xué)習(xí)起來(lái)往往困難重重．在群論中，不變子群是一類(lèi)特殊的子群，在商群的構(gòu)造中起著十分重要的作用，然而對(duì)于初學(xué)者來(lái)說(shuō)，對(duì)不變子群的出現(xiàn)往往感到困惑，構(gòu)造商群一定需要不變子群?jiǎn)幔?本文以張禾瑞先生所編的《近世代數(shù)基礎(chǔ)》教材［2］為參照，采用問(wèn)題導(dǎo)向的方式，逐步論述在不變子群的基礎(chǔ)上構(gòu)造商群的必然性．同時(shí)，討論了不變子群的定義條件和元素可換的關(guān)系，以及不變子群的傳遞性問(wèn)題．

二、不變子群的由來(lái)

問(wèn)題1 設(shè)H 是群G 的子群，Sl＝｛aH｜a∈G｝為H 的所有左陪集構(gòu)成的集族，那么Sl關(guān)于子集乘法構(gòu)成群?jiǎn)幔?/p>

解析 如果Sl關(guān)于子集乘法能夠構(gòu)成群，則Sl中的元素關(guān)于子集乘法滿(mǎn)足封閉性，即對(duì)于任意的xH，yH∈Sl，xH·yH＝zH∈Sl，也就是說(shuō)左陪集xH 與左陪集yH 的乘積結(jié)果必須是一個(gè)左陪集．然而，要達(dá)到這一要求，須滿(mǎn)足下述條件．

引理1 設(shè)H 是群G 的子群，?x，y∈G，

則xH·yH 仍是左陪集??a∈G，aH＝Ha．

證明 （?）對(duì)任意的a，b∈G，ba＝（be）（ae）∈（bH）（aH），

故baH＝（bH）（aH）．再根據(jù)群的消去律可得aH ＝HaH，因此，?ha∈Ha，存在h1，h2∈H，使ah1＝hah2，可得ha ＝∈aH，故Ha?aH．

另外，根據(jù)上述討論結(jié)果可得Ha-1?a-1H，

所以aH?Ha．綜上，aH＝Ha．

（?）由于?a∈G，aH ＝Ha，根據(jù)結(jié)合律和子群的性質(zhì)H＝HH，可得

根據(jù)引理1 的分析，Sl要關(guān)于子集乘法構(gòu)成群則須滿(mǎn)足條件：?a∈G，aH ＝Ha．這時(shí)候可求出Sl的單位元（aH）-1＝a-1H，aH·bH＝（ab）H．

因此，我們可以看出，

Sl關(guān)于子集乘法構(gòu)成群??a∈G，aH＝Ha．

此時(shí)，G 中滿(mǎn)足條件?a∈G，aH ＝Ha 的子群H 就構(gòu)成了一類(lèi)新的子群——不變子群（或稱(chēng)為正規(guī)子群）．

三、不變子群及其判定

定義1［2］設(shè)N 是群G 的子群．若?a∈G，

例1設(shè)G ＝S3，則N ＝｛（1），（1，3，2），（1，2，3）｝是G的不變子群．

問(wèn)題2 設(shè)N 是群G 的子群，a∈G，那么aN ＝Na 與?n∈N，an＝na 的關(guān)系是什么？

答 這里“aN ＝Na”代表aN 和Na 兩個(gè)集合相等，“?n∈N，an＝na”代表N 中的所有元素與a 可交換．

（1）顯然，當(dāng)“?n ∈N，an ＝na”成立時(shí)，容易得到aN＝Na．

（2）若aN ＝Na，不妨設(shè)an1∈aN，則存在n2∈N 使得an1＝n2a，進(jìn)一步可得，n1＝a-1n2a．但是，在沒(méi)有其他條件限制的情況下無(wú)法得到n1＝n2．也就是說(shuō)條件“aN ＝Na”無(wú)法保障“?n∈N，an＝na”是成立的．在例1 中，（1，2）N ＝N（1，2）＝｛（1，2），（2，3），（1，3）｝成立，并且（1，2）（1，2，3）＝（1，3）＝（1，3，2）（1，2），但是（1，2，3）≠（1，3，2）．

（3）G 的中心

是G 的子群，并且G 的任一元a 和N（G）中的任一元n可換，即an＝na，故aN（G）＝N（G）a，所以N（G）是G 的不變子群．對(duì)于N（G）來(lái)說(shuō)，可以根據(jù)aN（G）＝N（G）a 得到結(jié)論“?n∈N（G），an ＝na”．不妨設(shè)an1∈aN（G），則存在n2∈N（G）使an1＝n2a，進(jìn)一步，由an1＝an2根據(jù)群的消去律可得n1＝n2．這里，可以看到由an1＝n2a 推出n1＝n2的關(guān)鍵在于N（G）中的任一元素與群G 中的所有元素是可換的，故“aN＝Na??n∈N，an＝na”成立．

（4）對(duì)于可換群G 的任一子群N，由于?a，x∈G，總有ax＝xa，所以aN＝Na，故可換群的任一子群都是不變子群．并且N 中的任一元素與G 中的所有元素是可換的，所以結(jié)論“aN＝Na??n∈N，an＝na”成立．

定理1［3，4］（不變子群的判別定理）設(shè)N 是群G 的子群，則下列條件等價(jià)：

定理1 的前提條件是：N 是群G 的子群，而不是N 是群G 的非空子集．不變子群之所以重要，其根本原因在于這種子群的全體陪集對(duì)于子集的乘法可以做成一個(gè)新的群．

設(shè)N 是群G 的不變子群，將N 的所有陪集做成一個(gè)集合S＝｛aN｜a∈G｝，由問(wèn)題1 的討論可知，在陪集的乘法下，即?x，y∈G，

S 構(gòu)成一個(gè)群，將其稱(chēng)為G 關(guān)于N 的商群，記作G／N．

四、不變子群的傳遞性問(wèn)題

群的不變性與群的可換性在有限群論的研究中扮演著非常重要的角色，而如何利用二者的聯(lián)系來(lái)研究有限群的結(jié)構(gòu)是一個(gè)重要的課題．

我們知道“子群”的概念具有傳遞性：

那么“不變子群”是否也具有傳遞性呢？ 即

例2［5］已知Klein 四元群

是4 次對(duì)稱(chēng)群S4的一個(gè)不變子群，又因?yàn)镵4是一個(gè)可換群，故其子群

是K4的一個(gè)不變子群，從而有

但是B4不是S4的不變子群，因?yàn)?/p>

（1，3）B4＝｛（1，3），（1，2，3，4）｝≠B4（1，3）＝｛（1，3），（1，4，3，2）｝．

這說(shuō)明了，不變子群的不變子群不一定是原群的不變子群，亦即不變子群不具有傳遞性．

例2 同時(shí)表明了在非可換群S4中有的不變子群不具有傳遞性，但并不是所有的不變子群都無(wú)傳遞性．例如，4 次交替群A4是4 次對(duì)稱(chēng)群S4的不變子群，Klein 四元群K4是A4的不變子群，即而根據(jù)例2 可知，K4是S4的不變子群，即這就論證了非可換群S4中有的不變子群具有傳遞性．

在一些特殊的非可換群中，不變子群的傳遞性是恒成立的．例如，Hamilton 群

是非可換群，H 的每個(gè)子群都是正規(guī)子群，因此，對(duì)于Hamilton 群H 來(lái)說(shuō)，不變子群的傳遞性恒成立．

一般地，若一個(gè)群G 的任何子群都是不變子群，則稱(chēng)G為Dedekind 群．顯然，Dedekind 群G 具有不變子群的傳遞性的性質(zhì)．

雖然并不是所有的群都具有不變子群傳遞性，然而，若添加一定條件，則可以得到下述結(jié)論．

定理2［3，4］設(shè)G 是群，N≤H≤G．若

證明 對(duì)任意的n∈N，h∈H，則h∈G，由N 是G 的不變子群，可得hnh-1∈N．根據(jù)定理1 可知，N 是H 的不變子群．