王慧蓉，董 炯

（長(zhǎng)治學(xué)院 數(shù)學(xué)系，山西 長(zhǎng)治 046011）

文章對(duì)正四多面體的置換群進(jìn)行了計(jì)算,在正四面體自同構(gòu)群G 中，G=H∪x2H∪x3H∪x4H

其中H 是保持頂點(diǎn)1不變的對(duì)稱變換的集合，且正四面體置換群的階數(shù)為24.

1 預(yù)備知識(shí)

1.1 群論知識(shí)

定義1[1]設(shè)G 為群，H 是G 的一個(gè)非空子集，如果H 關(guān)于G 的運(yùn)算也構(gòu)成群，則稱H 為G 的一個(gè)子群，記作H≤G.

定義2[1]設(shè)H 為群G 的一個(gè)子群，a∈G.其中叫做子群H 的一個(gè)左陪集.

定義3[2]設(shè)σ 為集合A 的一個(gè)一一變換，其中A 是一個(gè)含有n 個(gè)元素的集合，不妨記為A={1, 2, …，N }:

（1）則A 上的每個(gè)一一變換叫做一個(gè)n 元置換；

（2）A 上的全體n 元置換構(gòu)成的群叫做n 次對(duì)稱群，記為Sn；n 次對(duì)稱群Sn的階是n!；

（3）Sn的每個(gè)子群稱為置換群.

定義4[2]設(shè)M 是一個(gè)代數(shù)運(yùn)算的集合（不必是群），則M 的全體自同構(gòu)關(guān)于變換的乘法做成一個(gè)群，稱為M 的自同構(gòu)群.

定理1[2]設(shè)H≤G，設(shè)a,b∈G，那么

（1）a∈Ha

（2）對(duì)于陪集Ha 和Hb 而言，只有二種關(guān)系：Ha=Hb 或Ha∩Hb=

1.2 正多面體的對(duì)稱性

1.2.1 正交變換

（1）正交變換的幾何意義：保持圖形形狀和大小不變的幾何變換，包含旋轉(zhuǎn)，平移，軸對(duì)稱及上述變換的復(fù)合.平面V3的正交變換或者是繞某一直線的旋轉(zhuǎn)，或者是關(guān)于某一平面的線的反射.或者是上述兩種變換的合成.

（2）如果平面上（或空間中）的正交變換將圖形變成與它自己重合的圖形，則把這個(gè)正交變換叫做圖形ι 的對(duì)稱變換.

（3）通過上述正交變換得定義我們可以定義圖形的對(duì)稱群：設(shè)ι 是n 維歐式空間的一個(gè)子集（即圖形），則將ι 映射成自身的正交變換的全體關(guān)于變換的乘法構(gòu)成一個(gè)群叫做圖形ι 的對(duì)稱群.

1.2.2 對(duì)稱軸和對(duì)稱面

（1）對(duì)稱軸是正多面體繞之旋轉(zhuǎn)θ（0＜θ＜2π）后與原來正多面體重合的旋轉(zhuǎn)軸.

（2）對(duì)稱面又稱鏡面，是物體或圖形中的一個(gè)假想平面，它可將物體或圖形等分為互成鏡像反映關(guān)系的兩個(gè)相同部分.對(duì)稱面是指正多面體對(duì)其做鏡面反射后能與原正多面體重合的鏡面.

1.2.3 正多面體的對(duì)偶性

對(duì)于一個(gè)正多面體來說，它的對(duì)偶體是連接正多面體所有面的中心構(gòu)成的新正多面體.由于對(duì)偶體之間共對(duì)稱軸和對(duì)稱面，故對(duì)偶多面體有相同的對(duì)稱群.

2 正四面體置換群的計(jì)算

由正多面體的對(duì)偶性可知，正四面體的對(duì)偶是正四面體.

正四面體圖形的結(jié)構(gòu)如圖1可知：正四面體有4個(gè)頂點(diǎn)，6條棱，4個(gè)面.其中1，2，3，4分別為正四面體的四個(gè)頂點(diǎn)；A，B，C分別為線段34、線段43、線段23的中點(diǎn)；O點(diǎn)為平面234的中心.

圖1 正四面體

為方便對(duì)正四面體對(duì)稱群的計(jì)算，我們需要先對(duì)保持頂點(diǎn)1不動(dòng)的群H 進(jìn)行討論，我們有如下引理：

引理1設(shè)G 是由正四面體中所有對(duì)稱變換構(gòu)成的群，H?G 是保持頂點(diǎn)1不變的對(duì)稱變換的集合，則H 是G 子群.

證明：由于正四面體中的每一個(gè)對(duì)稱變換都可用一個(gè)4元置換表示，其中（1）表示為保持正四面體不動(dòng)的變換；（34）表示為關(guān)于平面12A 為對(duì)稱面的反射；（24）表示為關(guān)于平面12B 為對(duì)稱面的反射；（23）表示為關(guān)于平面14C 為對(duì)稱面的反射；（234）表示為以軸O1為旋轉(zhuǎn)軸，按逆時(shí)針方向旋轉(zhuǎn)120°的一個(gè)旋轉(zhuǎn)；（243）表示為以軸O1為旋轉(zhuǎn)軸，按逆時(shí)針方向旋轉(zhuǎn)240°的一個(gè)旋轉(zhuǎn).則.

下證H 為G 的子群：

（1）H 為G 的非空子集.

（3）對(duì)于?a∈H，由(2)可知ab-1∈H,因?yàn)閍 與b-1均為保持頂點(diǎn)1不變的對(duì)稱變換，所以它們的乘積相當(dāng)于連續(xù)做兩次保持頂點(diǎn)1不變的對(duì)稱變換，則它們的乘積也屬于H.

由此可知H 為G 的子群,證畢.

利用這個(gè)引理我們可以對(duì)正四面體對(duì)稱群的元素及其階進(jìn)行探討，我們有如下定理：

定理1 設(shè)G 是正四面體中所有對(duì)稱變換構(gòu)成的群，H 是保持頂點(diǎn)1不變的對(duì)稱變換的集合，則G 的階為24，且G=H∪x2H∪x3H∪x4H.

證明：由引理1得H 為G 的一個(gè)子群.固定x∈G 集xH= {xh|h∈H,x∈G }稱為H 在G 里的一個(gè)左陪集.由陪集的性質(zhì)可知H 在G 里的任意兩個(gè)左陪集或者不相交，或者相等；左陪集所含的元素個(gè)數(shù)都一樣，等于H 的階數(shù).這樣我們可以寫出G=H∪x2H∪x3H∪x4H.其中xi（i=1,2,3,4）表示G 中把頂點(diǎn)1變?yōu)轫旤c(diǎn)i 的對(duì)稱變換.

由此可知G=H∪x2H∪x3H∪x4H=S4

［1］唐高華.近世代數(shù)［M］.北京：清華大學(xué)出版社.2008.

［2］張遠(yuǎn)達(dá).有限群構(gòu)造［M］.北京：科學(xué)出版社.2008.

［3］長(zhǎng)青.從“正四面體的對(duì)稱群”談起［J］.福清師專學(xué)報(bào),1982，(01)：10-13.