置换群

Template:NoteTA Template:群 数学中，對一個给定的集合$M$，所有由$M$到自身的可逆映射构成的集合关于映射的合成构成一个群，称为$M$的对称群，记为$S_M$。$S_M$的任一子群称为$M$上的置换群（Template:Lang-en）。

如果$M$是包含$n$个元素的有限集，称其到自身的可逆映射为$n$阶置换，其对称群$S_M$称为$n$阶对称群，记为$S_n$。$S_n$的任一子群亦为置换群。

置换群到被置换的元素的应用称为群作用；它在对称性和组合论以及数学的其他很多分支中有应用，也是研究晶体结构等所不可或缺的工具。

定義及基本性質

置換群皆為某個對稱群的子群，它的所有元素都是一集合的置換。因而它的元素所構成的集合是所對應的對稱群中關於映射的合成以及在到反元素的映射下封閉的一個子集，它亦需要包含該集合的恆等函數作為其單位元。

例子

置换通常写作轮换形式，例如，在轮换指标计算中，给定集合$M=\{1,2,3,4\}$，$M$的一个置换$g$若为$g(1)=2,g(2)=4,g(4)=1$和$g(3)=3$，可以写作$(1,2,4)(3)$，或者更常见的写作$(1,2,4)$，因为$3$保持不变；若对象有单个字母或数字表示，逗号也被省去，所以可以记作$(124)$。

常见的置换群

$M=\{1,2\}$

$g_1=(1),g_2=(12)$

$M=\{1,2,3\}$

$(1),(12),(13),(23),(123),(132)$

$M=\{1,2,3,4\}$

$(1),$ $(12),(13),(14),(23),(24),(34),$ $(123),(132),(124),(142),(134),(143),(234),(243),$ $(1234),(1243),(1324),(1342),(1423),(1432),(12)(34),(13)(24),(14)(23)$

参看

• 群作用
• 本原群
• 置换
• 轮换
• 交错群

参考

• John D. Dixon and Brian Mortimer. Permutation Groups. Number 163 in Graduate Texts in Mathematics. Springer-Verlag, 1996.
• Akos Seress. Permutation group algorithms. Cambridge Tracts in Mathematics, 152. Cambridge University Press, Cambridge, 2003.
• Meenaxi Bhattacharjee, Dugald Macpherson, Rögnvaldur G. Möller and Peter M. Neumann. Notes on Infinite Permutation Groups. Number 1698 in Lecture Notes in Mathematics. Springer-Verlag, 1998.
• Alexander Hulpke. GAP Data Library "Transitive Permutation Groups" Template:Wayback.