置换的定义.pptVIP

8.6 置换群 8.6.1 置换的定义 因为置换按定义是一对一的，所以 b1, b2, …, bn 是 a1, a2, …, an 的一个排列，由此可见，Ｍ 的每个置换对应 a1, a2, … , an 的一个排列，不同的置换对应不同的排列。此外，a1, a2, … , an 的任意排列也确定 M 的一个置换，所以，M 的置换共有 n! 个，其中 n 是 M 的元数，M 上的置换也称为 n 元置换。以下用 Sn 表示这 n！个置换作成的集合。 【例8.41】设 A＝{l, 2}，那么 A 上有两个置换： p1＝ ， p2＝ 当 A＝{1, 2, 3} 时，A 上有 6 个置换： p1＝ , p2＝ , p3＝ p4＝ , p5＝ , p6＝ 【例8.42】令 A＝{1, 2, 3},那么 S3＝{pi ? i＝1, 2, 3, 4, 5, 6}，(pi 如例 8.42 给定)。其中 p1 为幺置换，p2?1＝p2, p3?1＝p3, p4?1＝p4, p5?1＝p5。 S3,?为三次对称群。 从另一个角度也可得到这个群。 设正三角形的三个顶点由 1, 2, 3 所标记（如下图所示）。考虑以三角形中心 o 为轴的旋转σ0, σ1, σ2（旋转 0?，旋转 120?，旋转 240?），以及以直线 l1, l2, l3 的翻转（σ3, σ4, σ5）。显然，每次旋转和翻转都对应于三角形顶点的一个置换，对应关系如下： 【例8.43】令 A＝{1, 2, 3, 4}，S4＝{p ? p为 A 上置换}，因此，S4,? 为四次对称群。 再来考虑由 1, 2, 3, 4 标记 4 个顶点的正方形（如下图所示）的旋转和翻转，它们又各对应于 A 上的一个置换： σ0（旋转 0?） p1＝ σ1（旋转 90?） p2＝ σ2（旋转 180?） p3＝ σ3（旋转 270?） p4＝ 设 ? 为这 8 种旋转、翻转操作的集合，? 为操作的合成运算，那么易证 ?,? 为群。? 的运算表见下表。 因此 {p1, p2, …, p8},? 也为群，它是 S4,? 的子群。一个 4 次的 8 阶置换群，它不是 4 次对称群，4 次对称群有 24 个置换。 对置换群稍作推广便有变换群的概念。 定义8.25 任意集合上的双射函数称为变换。 定义8.26 对任意集合 A 定义集合 S S＝{f ? f∈AA∧f 为双射} 那么群 S,? 及其子群称为变换群，其中 ? 为函数的合成运算。 8.7 拉格朗日定理 和子群概念直接相关的是陪集的概念。 定义8.27 设 H,? 为 G,? 的子群，那么对任一g∈G，称 gH 为 H 的左陪集（left coset），称 Hg 为 H 的右陪集（right coset）。这里 gH＝{g?h ? h∈H}，Hg＝{h?g ? h∈H} 关于左(右)陪集我们有以下定理。 定理8.13 设 H,? 为 G,? 的子群，那么 (1) 当 g∈H 时，gH＝H(Hg＝H)。 (2) 对任意 g∈G，? gH ?＝? H ?，? Hg ?＝? H ?。 证明：⑴ 由定理立得。 ⑵ 只要证 H 与 gH 之间存在双射即可。 定义函数 f：H→gH 如下：对任何一 h∈H， f(h)＝g?h 设 h1≠h2，那么 f(h1)＝g?h1，f(h2)＝g?h2， 若 f(h1)＝f(h2)，那么由可约性即得 h1＝h2，与h1≠h2矛盾。 f 为单射得证。 f 为满射是显然的，因此 f 为双射。 ? gH ?＝? H ? 得证。同理可证 ? Hg ?＝? H ?。 定理8.14 设 H,? 为 G,? 的子群，a, b∈G，那么，或者 aH＝bH（Ha＝Hb），或者 aH∩bH＝Φ（Ha∩