繆應(yīng)鐵

【摘要】本文主要對(duì)圖的因子分解進(jìn)行研究，得出了一些重要的性質(zhì)和結(jié)論。

【關(guān)鍵詞】圖；齊次分解

【中圖分類號(hào)】O157.5 【文獻(xiàn)標(biāo)識(shí)碼】B 【文章編號(hào)】2095-3089（2017）33-0265-01

定義1.設(shè)Γ=（VΓ，AΓ），若存在弧集Aг的一個(gè)分類P={P1，P2，…Pk}，k≥2，

M≤G≤Aut（Γ），使得：

M在Vг上傳遞，且對(duì)任意的x∈M都有Pix=Pi，i=1，2，…k；

對(duì)任意的Pi∈P，g∈G，都存在某個(gè)j∈{1，2，…，k}使得Pix=Pi且G在P上的作用是傳遞的，則稱（г，P）是一個(gè)指數(shù)為K的（M，G）齊次因子分解。

性質(zhì)1.1.若（г，P）是一個(gè)指數(shù)為k的（M，G）齊次因子分解，令K為G作用在P上的核，則M≤K?G，且（г，P）是一個(gè)指數(shù)為k，（K，G）齊次因子分解。

性質(zhì)1.2.若（г，P）是一個(gè)（M，G）齊次因子分解，則Val（Γ）=|P|Val（Γi），其中Γi是圖г分解后的任意一個(gè)子圖。

性質(zhì)1.3.若（г，P）是一個(gè)指數(shù)為k的（M，G）齊次因子分解，則存在Q，R≤H，使得（г，Q）是一個(gè)指數(shù)為p的（R，H）齊次因子分解，其中p為素?cái)?shù)，P|k且H/RZp。

性質(zhì)1.4.設(shè)（г，P）是一個(gè)（M，G）齊次因子分解，若G在Vг是非本原的，則存在Vг的G-不變分類β，且對(duì)于任意的B∈β，有（г[B]，PB）是一個(gè)指數(shù)為k的（MBB，GBB）齊次因子分解，其中PB={（P1）B，（P2）B，…，（Pk）B}，（Pi）B=Pi∩（B×B）=Pi∩（A（Γ[B]））。

性質(zhì)1.5.對(duì)任意的n≥3，則存在指數(shù)為n的圖г使得г有齊次因子分解。

性質(zhì)1.6.設(shè)M是任意給定的群，則存在（г，P）是一個(gè)（M，G）齊次因子分解的充要條件三|M|≥3。

證明“”因?yàn)閨Vг|≥2，且M在Vг上傳遞，所以|Vг||M|，故|M|≥2。

若|M|=2，|Vг|=2，則г=K2，所以M在弧集Aг上的作用是傳遞的。又因?yàn)镸≤Aut（гi），則所有的弧都在Aut（гi）中，得出矛盾。故|M|≥3。

“”斷言：階數(shù)大于等于3的群一定有非平凡的自同構(gòu)。事實(shí)上，如果M是一個(gè)非交換群，則Inn（M）M/Z（M）≠1，如果M是一個(gè)交換群，則M=〈a1〉×〈a2〉×…×〈as〉，其中（ai）=piri，其中pi是素?cái)?shù)。若存在（ai）≥3，則可定義一個(gè)映射

φ：aiai-1

ajaj（j≠i）

易證φ是M的自同構(gòu)，且φ≠1。

若（a1）=（a2）=…=（as）=2，澤s≥2。令

τ：a1→a2

a2→a1

ai→ai（i≠1，2）

則τ∈Aut（M）＼{idM}。所以Aut（M）≠1。故斷言成立。取σAut（M），σ≠1，令N=，記V：=M，則在V上正則。因?yàn)?（2），又N，所以有（2）=M≤N≤NSym（M）（）。存在（г，P）是一個(gè)（M，G）齊次因子分解。

性質(zhì)1.7設(shè)г=Kn，且n-1為素?cái)?shù)，則г有齊次分解的充要條件是n=2r或者n=3。

性質(zhì)1.8設(shè)（г，P）是一個(gè)（M，G）齊次因子分解，且Val（г）=p，其中p是一個(gè)素?cái)?shù)，則P=p，Val（гi）=1，гi是г分解后的一個(gè)子圖。即（г，P）是一個(gè)（M，G）齊次因子分解。此時(shí)，гi=或гi=n/2K2。

參考文獻(xiàn)

[1]徐明曜，有限群導(dǎo)論引[M]，北京：科學(xué)出版社，1999.

[2]張遠(yuǎn)達(dá)，有限群構(gòu)造[M]，北京：科學(xué)出版社，1982

[3]王萼芳，有限群論基礎(chǔ)[M]，北京：北京大學(xué)出版社，1985.

[4]王福榮，素?cái)?shù)階對(duì)稱圖的齊次分解，首都師范大學(xué)學(xué)報(bào)自然科學(xué)版，2006.