置换群

第二章群论第9讲§6置换群(2课时)(pormutationgroup)本讲的教学目的和要求:置换群是一种特殊的变换群。换句话说，置换群就是有限集上的变换群。由于是定义在有限集上，故每个置换的表现形式，固有特点都是可揣测的。这一讲主要要求：1º弄清置换与双射的等同关系。2º掌握置换—轮换—对换之间的联系和置换的奇偶性。3º掌握置换的分解和将轮换表成对换之积的基本方法。4º理解对称群与交错群的结构以及有限群的cayley定理。本讲的重点与难点：对于置换以及置换群需要特别注意的是：对称群和交错群的结构和置换的分解定理。注意：由有限群的cayley定理可知：如把所有置换群研究清楚了。就等于把所有有限群都研究清楚了，但经验告诉我们，研究置换群并不比研究抽象群容易。所以，一般研究抽象群用的还是直接的方法。并且也不能一下子把所有群都找出来。因为问题太复杂了。人们的方法是将群分成若干类（即附加一定条件）；譬如有限群；无限群；交换群；非交换群等等。对每个群类进行研究，并设法回答上述三个问题。可惜，人们能弄清的群当今只有少数几类（后面的循环群就是完全解决了的一类群），大多数还在等待人们去解决。变换群是一类应用非常广泛的群，它的具有代表性的特征—置换群，是现今所研究的一切抽象群的来源，是抽象代数创始人E.Galais(1811-1832)在证明次数大于四的一元代数方程不可能用根号求解时引进的。一．置换群的基本概念定义1任一集合A到自身的映射都叫做A的一个变换，如果A是有限集且变换是一一变换（双射），那么这个变换为A的一个置换。有限集合A的若干个置换若作成群，就叫做置换群。含有n个元素的有限群A的全体置换作成的群，叫做n次对称群。通常记为nS.说明：由定义1知道，置换群就是一种特殊的变换群（即有限集合上的变换群）而n次对称群nS也就是有限集合A的完全变换群。现以321,,aaaA为例，设：AA是A的一一变换。即:1a2a,2a3a,3a1a,利用本教材中特定的表示方法有：21aa，32aa，13aa.由于映射中只关心元素之间的对称关系.而不在乎元素的具体内容.故可设3,2,1　A.故此.:12,23,31.稍做修改:：213213=132321　　　　　　　　.用=132321　　　　　　　　来描述A的一个置换的方便之处是显而易见的.当然,上述的置换可记为123312　　　　　　　　，321213　　　　　　　　…,但习惯上都将第一行按自然序列排写这就可以让我们都统一在一种表示置换的方法内进行研究工作了.习惯上称它为三元置换.二.置换的乘积.设3,2,1　A的任二个置换为132321　　　　　　　　,213321　　　　　　　　,那么由于和都是一一变换,于是也是A的一一变换.且有:11,22,33.记为:11,22,33.换句话说:321321213321132321　　　　　　　　　　　　　　　　　　　　　　　　例1.计算下列置换的乘积:(1),(2)2,(3)2.解:321321132321213321　　　　　　　　　　　　　　　　　　　　　　　　2133211323211323212　　　　　　　　　　　　　　　　　　　　　　　　2133212133213213212　　　　　　　　　　　　　　　　　　　　　　　　注意:置换乘积中,是从左到右求变换值,这是与过去的习惯方法不同的（也要看各书要求）。例2设3,2,1　A,那么A的全部一一变换构成的三次对称群为5432103,,,,,　S.其中3213210　　　　　　　　,2313211　　　　　　　　,3123212　　　　　　　　1323213　　　　　　　　,2133214　　　　　　　　　,1233215　　　　　　　　所以6!33S.其中0是恒等变换.即0是3S的单位元.证明任意1212nniiinS,1i有n种取法,当1i取定后,2i只有n-1种取法,如此继续下去,ni只有1种取法.因此共有n(n-1)…2•1=n!个不同的置换,所以nS=n!.定理1n次对称群nS的阶是!n.，由于置换群也是变换群,故必蕴含着变换群的一切特征.譬如,不可交换性和结合律:231321312321213321132321312321231321　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　三循环置换及循环置换分解.(1)循环置换(轮换)前面我们已经引入了置换的记法,下面,再介绍一种记法.设有8元置换8761253487654321　　　　　　　　　　　　　　　　　　　　　　　　　　　　,的变换过程为153241,即其他元素都不改变,若将不发生改变的文字都删掉,那么上述置换可写成循环置换的形式:53241　　　　　　　　注意:①循环置换是置换的另一种表达形式,它以发生变化的文字的变化次序为序,表达成轮换的形式.虽然表达形式简捷,但所含置换的原有文字的数目可能反映不出来.这要求事先予以说明.例如.“8元置换53241　　　　　　　　”②.一般地,每个循环的表达方法不唯一,例如.324154153253241　　　　　　　　　　　　　　　　　　　　　　　　这是因为,每个循环置换都可视为一个首尾相接的圆环:所以,循环中的每个文字都可以置于首位.一旦首位确定后,整个循环置换的表达形式也就确定了.但习惯上,总是将循环置换中出现的最小文字置于首位.③.8S的单位(恒等置换)3210同上,习惯写成10.定义2nS中的一个将1i变到2i，2i变到kii,,3变回到1i而其余文字（如果还有其他文字）不发生变化的置换，叫做k—循环置换（或称k—循环）,记为(kiiii321,,)例3在5S中.3215413254321　　　　　　　　　　　　　　　　　　　　叫作3—循环置换.543211543254321　　　　　　　　　　　　　　　　　　　　　　　　　叫作5—循环置换.15432154321　　　　　　　　　　　　　　　　叫作1—循环置换.（2）循环置换分解很容易发现，并不是每个置换都能成为循环置换.比如5元置换1254354321　　　　　　　　　　　　　　　　不可能是循环置换，但我们会发现(*)42531523415432114523543211254354321　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　可见，虽不是循环置换，但它是循环置换之积。（3）置换的一个乘积公式：设nkknkkjjjjjjjj1)1()1(1111)2()2(11112nkknkkjjjjjjjj则)2()2(1)1()1(11121nkknkkjjjjjjjj证明因为1是njjjaaa,,,21这个元的一一变换，而在1之下，nkkjjjaaa,,,21，已经各是nkkjjjaaa,,,21的象，所以它们不能再是)(kiaij的象，这就是说，当ki时，kljjli,)1(这样，当ki时，)1(22121)()(illiijjjjjaaaaa当ki时，)2(22121)(iiiijjjjaaaa。定义3设kiii,,,21和sjjj,,,21都是循环置换.如果与不含相同的文字，那么称与是不相连的.定理2每一个n元置换都可以写成若干个不相连的循环置换的乘积.（循环置换分解定理）【证明】.设是nS中任一个n元置换，下面对中改变文字的个数用数学归纳法。如果使n,,3,2,1中每个文字都不发生改变，则是恒等置换.即1，定理2成立.假设最多变动)(1nrr个文字时，定理成立。现考察变动了r个元的情形：首先在被变动的文字中随意取一个文字1i，从1i出发找到1i在下的象2i,再找2i的象3i,…,直到找到ki，其中：1iik.于是1321iiiiik因为只变动了rr个文字，故rk.如果rk，则本身就是一个r—循环置换:kiii,,,21定理证毕。如果rk，由乘积公式有nrrknrrkkiiiiiiiiiiiiii1''11321121　　　　　　1211''11111211''11111111321121knrrkknrkkknrrkknrrkknrrknrrkkiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii　　　　　　　　　　　　　　　　由于中只变动了r个文字，1中只能变动rkr个文字.由归纳假设，1必可以写成若干个不相连的循环置换之积:m211还需特别说明:1中的所有循环置换m,,,21中不可能再出现kiii,,,21,否则,当kpiigpt　　因为m,,,21是互不相连,pi　只在t中出现.1　将gpii，但前面已有nrrkknrrkkiiiiiiiiiiiiii1''12111211　　　　　　即1将使pi保持不动，这样就导出了矛盾.这恰说明：mkiii2121　是互不相连的循环置换之积.说明：将置换写成不互相连的循环置换之积是表示置换的第二种方法.四．循环置换的性质问题1.3S是一个3阶群（三次对称群），所以3S中每个元素的阶自然都是有限的，那么具体是多少呢？比如：321132321　　　　　　　　　　　　　,则2313213212　　　　　　　　　　　　,132123123　　　　　　　　.3这里是3-循环置换，恰好的阶是3.这不是巧合,我们有：结论1k—循环置换kiii21的阶就是k解释：k—循环置换kiii21的一次方则将1i变成2i，二次方则将1i变成3i，k次方则将1i变回到1i，其余文字也是如此。所以，当km时，1m而1k.∴k.问题2.每个置换都是双射，那么的逆置换也必是双射必也是置换，那么1会是什么样子呢？设3145254321543212351423514543211　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　若将