唐耀平　吳建平　周立平

?

5次對(duì)稱群S5的一類子群的一個(gè)構(gòu)造方法

唐耀平吳建平周立平

（湖南科技學(xué)院 理學(xué)院，湖南 永州 425199）

由于有限群的Lagrange定理的逆定理不成立。因此，要確定S5的各階子群是較困難的。文章通過次對(duì)稱群的基本概念及5-循環(huán)置換各次方冪的計(jì)算及研究，找到了S5的一類子群的構(gòu)成規(guī)律，并使用構(gòu)造性方法給出了3、5、6、8階子群。

5次對(duì)稱群；子群；Lagrange定理；循環(huán)置換

1　引　言

關(guān)于子群及個(gè)數(shù)的研究在計(jì)算機(jī)通信、代數(shù)編碼及計(jì)數(shù)理論研究中都具有重要意義。次對(duì)稱群S是一個(gè)重要的群，由定理知，任何有限群都同構(gòu)于對(duì)稱群S的一個(gè)子群. 所以，只要能夠解決S的所有子群及這些子群的結(jié)構(gòu)，則任意有限群的問題就得到完全解決。但較大時(shí)，要找出S的全部子群及決定各子群的結(jié)構(gòu)仍然困難。文獻(xiàn)[2]討論了4的所有子群及其結(jié)構(gòu)，文獻(xiàn)[3-5]討論了6的所有子群及兩類子群的構(gòu)造方法，文獻(xiàn)[6]討論了5的2、4、20、24階的子群，文獻(xiàn)[7-13]給出了5的子群5的一些性質(zhì)及其結(jié)構(gòu)。這些文獻(xiàn)表明對(duì)次對(duì)稱群S及其子群的討論依然是非?；钴S的。本文使用有限群的定理及次對(duì)稱群的結(jié)果，構(gòu)造性地給出了5的3、5、6、8階子群，文中所引用的符號(hào)見文獻(xiàn)[1]。

2　預(yù)備定理

3　主要結(jié)果

3.1 5－循環(huán)置換冪的計(jì)算

‖???‖ ???‖ ???‖ ???‖

（5）5－循環(huán)置換24個(gè)，由上述5－循環(huán)置換冪的計(jì)算，全部24個(gè)5－循環(huán)置換按其1，2，3，4次方冪進(jìn)行分組，共為6組，分別為：

，，， ，，，

，， ，，

（7）3×2－循環(huán)置換的乘積20個(gè)，按3－循環(huán)置換與不相交的2－循環(huán)置換的乘積進(jìn)行，即

，，，

，，，

3.2 構(gòu)造S5的子群

命題15有10個(gè)3階子群.

證明：由定理1及推論，由于3是素?cái)?shù)，因此3階群必為循環(huán)群，且由一個(gè)3階元生成，又由定理3，3階元的平方是其逆元，因此5有10個(gè)3階子群，即：

，，，

.

命題25有6個(gè)5階子群.

證明：由定理1及推論，5的5階子群的元素的階只可能為1、5，又由于5是素?cái)?shù)，因此5階群必為循環(huán)群，所以組成5的5階子群的元素除單位元外，只可能由5－循環(huán)置換的元素組成，即：

，

命題35有30個(gè)6階子群.

證明：由定理1及推論，5的6階子群的元素的階只可能為1、2、3、6，所以組成5的6階子群的元素除單位元外，只可能由2－循環(huán)置換、3－循環(huán)置換、2×2－循環(huán)置換的乘積、3×2－循環(huán)置換的乘積、6－循環(huán)置換或它們的元素組合形式，即；

（1）經(jīng)計(jì)算由單位元、2－循環(huán)置換、3－循環(huán)置換與3×2－循環(huán)置換的乘積形式的元素組成5的10個(gè)子集均為5的6階子群，即：

，，

，，

每個(gè)子群的構(gòu)浩方法（本文取、、、、為5－循環(huán)置換的5個(gè)元素）：

（1.l）從命題2中任意選定一個(gè)3階子群，取其3階元（如()）.

（1.2）取與這個(gè)3階元不相交的2階元（如()）.

（1.3）將2階元與3階子群相乘即得.

（2）經(jīng)計(jì)算由單位元、3－循環(huán)置換與3×2－循環(huán)皆換的乘積形式的元素組成5的10個(gè)子集均為5的6階子群，即：

，，

，，

每個(gè)子群的構(gòu)造方法：

（2.1）從命題2中任意選定一個(gè)3階子群，取其3階元（如()）.

（2.2）取這個(gè)3階元3個(gè)數(shù)字的任意二者組合，組成2階元（如()、()、()）.

（2.3）取與這個(gè)3階元不相交的2階元（如()）.

（2.4）將()與第2步中任一個(gè)2階元（如()）相乘得2×2－循環(huán)置換的乘積(如()()).

（2.5）將這個(gè)2×2－循環(huán)置換乘積形式的元與第1步中3階子群相乘即得.

（3）經(jīng)計(jì)算由單位元、2－循環(huán)置換與3－循環(huán)置換的元素組成5的10個(gè)子集均為5的6階子群，即：

，，

，，

每個(gè)子群的構(gòu)造方法：

（3.1）從命題2中任意選定一個(gè)3階子群，取其3階元（如(abc)）.

（3.2）取這個(gè)3階元3個(gè)數(shù)字的任意二者組合，組成2階元（如(ab)、(ac)、(b c)）.

（3.3）取第2步中任一個(gè)2階元（如(ab)）.

（3.4）將這個(gè)2－循環(huán)置換的元與第1步中3階子群相乘即得.

命題45有15個(gè)8階子群.

證明：由定理1及推論，5的8階子群的元素的階只可能為1、2、4、8，所以組成5的6階子群的元素除單位元外，只可能由2－循環(huán)置換、4－循環(huán)置換、2×2－循環(huán)置換的乘積或它們的元素組合形式，即：

經(jīng)計(jì)算由單位元、2－循環(huán)置換、4－循環(huán)置換與2×2－循環(huán)置換的乘積形式的元素組成5的15個(gè)子集均為5的8階子群，即：

，

，

，

，

，

每個(gè)子群的構(gòu)造方法：

（1）每個(gè)子群的前三個(gè)元素是從文章所給的5組2×2－循環(huán)置換的乘積中任取的一組，再加上單位元.

（2）第五、六個(gè)元素為前三個(gè)的第一個(gè)2×2－循環(huán)皆換的拆分.

（3）第七、八個(gè)元素分別為第二、三個(gè)2×2－循環(huán)置換按順序合并成4－循環(huán)置換.

（4）在所取的2×2－循環(huán)置換的3個(gè)元素中按輪回排列先后順序.

[1]徐明耀.有限群導(dǎo)引[M].北京:科學(xué)出版社,1999.

[2]孫自行,崔方達(dá).4次對(duì)稱群的子群個(gè)數(shù)及其證明[J].阜陽(yáng)師范學(xué)院學(xué)報(bào),2005,(4):13-16.

[3]黃本文.對(duì)稱群6的一類子群[J].武漢交通科技大學(xué)學(xué)報(bào),2000,(2):129-134.

[4]Huang Ben-wen.The subgroups of symmetric groups6[J].Applied Mathematics A Journal of Chinese Universities,2001,(1):31-35.

[5]Huang Ben-wen.The subgroups of symmetric group6[J].Journal of Wuhan Transportation University,2000,(2):129-134.

[6]班桂寧,吳建平,張中建,張玉.5的一類子群的一個(gè)構(gòu)造方法[J].吉首大學(xué)學(xué)報(bào)(自然科學(xué)版),2008,(4):1-4.

[7]Machi A,Siconofi A.A new characterization of5[J].Arch.Math.1977:385-388.

[8]Arad Z,Chillang D,Herjog M.Classification of finite groups by a maximal subgroup[J].Journal of Algebra,1981,(1):235-244.

[9]Shi Wu-jie.Characterization of A5and the finite groups in which every element has prime order[J].Journal of Southwest Teachers University,1984,(1):36-40.

[10]Shi Wu-jie.Characterization proerty of5[J].Journal of Southwest Teachers University,1986,(3):11-14.

[11]Huang Ben-wen.The characterization of5[J].Wuhan University Journal of Natural Sciences,1997,(4):405-410.

[12]孫自行.5次交錯(cuò)群5的10階子群的一個(gè)構(gòu)造方法[J].電子科技大學(xué)學(xué)報(bào),2006,(3):419-422.

[13]包霞,焦艷.5的一類12階子群的構(gòu)造[J].西北民族大學(xué)學(xué)報(bào),2007,(3):11-15.

（責(zé)任編校：何俊華）

2017－05－09

湖南省自然科學(xué)基金項(xiàng)目（項(xiàng)目編號(hào)12JJ3077）。湖南省教育廳資助科研項(xiàng)目（項(xiàng)目編號(hào)12C0688）。

唐耀平（1973－），男，湖南永州人，教授，碩士，主要從事數(shù)值代數(shù)及群體決策研究。

O152

A

1673-2219（2017）10-0001-04