离散数学6.2群的定义.ppt

第六章 群 、环、域 §6.2.4 置 换 群 6.2.4 置换的定义 集合A到A上的映射称为变换。 设M是一个非空的有限集合，M的一个一 对一变换称为一个置换。 例 设M={1，2，3}，写出M的所有置换 置换的乘法 对M中任意元素a及M的任意两个置换σ、τ，στ(a)=σ(τ(a))。 置换乘法性质 满足结合律: (στ)ρ=σ(τρ), σ,τ,ρ?Sn。 n元恒等置换是Sn中的单位元素，设为σ0，有：σ0τ=τσ0 ，τ?Sn。 定理6.2.6 n元置换的全体作成的集合Sn对置换的乘法作成一个群，称为n 次对称群。 6.2.5 置换的轮换表法 定义6.3.2 设σ是M的置换，若可取到M的元素 a1, …, ar使 σ(a1)＝a2, σ(a2)=a3, …, σ(ar-1)= ar,σ(ar)= a1，而σ不变M的其余的元素，则σ称为一个轮换， 记为（a1 a2 … ar ） 当然，也可以把a1, …, ar中的任意元素ai排在头一位而改写成 （ai ai+1 … ar a1 … ai-1） 定义6.2.6 M的两个轮换 σ=( a1 … ar)和τ=( b1 … bs)说是不相杂或不相交，如果 a1, …, ar和b1, …, bs都不相同。 结论：若σ和τ是两个不相杂的轮换，则其乘法适合