离散数学ii（占山）6.3置换群.pptVIP

§6.3 置 换 群 6.3.1 置换的定义 6.3.2 置换的轮换表法 6.3.3 置换的顺向圈表示 6.3.4 置换的奇偶性 6.3.1 置换的定义 定义. 设M是一个非空的有限集合，M的一个一对一变换称为一个置换。 设M={a1,a2,…,an},则M的置换σ可简记为 σ＝ ，bi=σ(ai)，i=1,2,…,n 结论：M的置换共有n！个。 M上的置换称为n元置换。 特别地， 若σ(ai)=ai, i=1,2,…,n,则σ为n元恒等置换。 Sn: n！个置换作成的集合。 置换的例 设M={1，2，3}，则有3！=6个3元置换， 所有元素不动：σ1＝ 一个元素不动：σ2＝ σ3＝ σ4＝ 0个元素不动：σ5＝ σ6＝ 故，S3 = {σ1，σ2，σ3，σ4，σ5，σ6} 置换的乘法 对M中任意元素a及M的任意两个置换σ，τ，规定στ（a）=σ（τ（a））。 例. 设σ＝ ，τ＝ 则στ= ， τσ= ≠ στ 置换的乘法的性质 满足结合律：(στ)ρ=σ(τρ)，σ,τ,ρ∈ Sn。