北师大版高中数学选修3-4对称与群置换与置换群.pptVIP

置换与置换群 新知学习 在集合论与抽象代数等领域中，“置换”一词被保留为集合(通常是有限集)到自身的双射的一个称呼。例如对于从一到十的数字构成的集合，其置换将是从集合到自身的双射。一个集合上的置换在函数合成运算下构成一个群，称为对称群或置换群。 新知学习 在组合数学中，置换一词的传统意义是一个有序序列，其中元素不重复，但可能有阙漏。例如1,2,4,3可以称为1,2,3,4,5,6的一个置换，但是其中不含5,6。此时通常会标明为“从n个对象取r个对象的置换”。 新知学习 n?元集合置换群到它自身的一个——映射，称为Ω上的一个置换或?n元置换。其中i1,i2,…,in是1，2，…,n的一个排列，是 αk在置换σ下的像。有时也把α在σ下的像记为α。 新知学习 对于这样定义的运算，Ω上全体置换所组成的集合S 成一个群，称为Ω上的对称群或n元对称群，简称对称群，其阶为n!。对称群的子群称为Ω上的置换群或简称置换群。当Ω＝{1,2,…,n}时把S?记为Sn。较置换群更为一般的概念，有所谓的作用。 新知学习 作用G是一个群，Ω是一个非空集合。G中每个元素g都对应Ω的一个映射：x→x，x∈Ω，若满足：x=x（e是G的单位元素），则称G作用于Ω上。G作用于Ω上的充分必要条件是，G同态于Ω上的一个置换群。 设G 是Ω上的一个置换群，H 是Γ上的一个置换群。如果存在Ω到Γ上的一个——对应ρ，以及G 到H 上的一个——对应φ,使得对Ω中任一个点α及G 中任一个置换g 都有一定关系，那么G与H?称为置换同构的。两个置换同构的置换群一定是同构的。但是同构的置换群不一定是置换同构的。 新知学习 如果Ω与Γ都是n元集合，那么S与Sг是置换同构的。因此，n元对称群都与Sn置换同构。 新知学习 而σ保持Ω中其余的点不动，那么σ称为一个轮换，记作(α1,α2,…,αs)。若两个轮换没有公共的变动点，则称这两个轮换是不相交的。每一个置换都可表为不相交轮换的乘积，称为置换的轮换表示法，而且除表示式中轮换的次序以外，置换的轮换表示法是惟一的。 两个点的轮换称为对换。任一置换都可表为一些对换的乘积,表示法不是惟一的,但是表示式中对换个数的奇偶是惟一确定的。若σ可表成偶数个对换的乘积,则称σ为偶置换。若σ可表成奇数个对换的乘积,则称σ为奇置换。 新知学习 S 中全部偶置换组成S 的一个正规子群，称为n 元交错群,简称交错群,记作A。Sn的交错子群记作An。n 元交错群都与An置换同构。当n≥2时,An的阶为n!/2。当n≠4时，An是单群，这是一类很重要的有限单群。 新知学习 对称群Sn是n重传递的，交错群An是n-2重传递的。除去Sn及An外，有无穷多个3重传递群，但是只知道4个4重传递群，它们是法国数学家 é.L.马蒂厄在1861年及1873年先后发现的次数分别为11，12，23及24的马蒂厄群M11,M12,M23,M24，其中M12及M24是5重传递的,而且M11是M12的稳定子群，M23是M24的稳定子群。 新知学习 置换矩阵在数学中的矩阵论里，置换矩阵是一种系数只由0和1组成的方块矩阵。置换矩阵的每一行和每一列都恰好有一个1，其余的系数都是0。在线性代数中，每个n阶的置换矩阵都代表了一个对n个元素(n 维空间的基)的置换。当一个矩阵乘上一个置换矩阵时，所得到的是原来矩阵的横行(置换矩阵在左)或纵列(置换矩阵在右)经过置换后得到的矩阵。 新知学习 Tn={1,2,3,…,n}一共有n!个置换，它们组成的集合记作Sn，如果把置换之间的合成“?”看成是Tn上的运算，那么下述四条成立: 新知学习 (1)Sn中任意两个置换合成的结果一定在Sn中。 (2)Sn中存在恒等置换。 (3)Sn中任意一个置换的逆置换也在Sn当中。 新知学习 (4)Sn中置换的合成满足结合律。 那么(Sn，?)是Tn的对称群，叫做n元对称群。 谢 谢！