置换怎么表示成轮换_解代数方程(五)：置换群和群

捅了一个大坑，谁能想到从简简单单的解代数方程出发最后会走向抽象代数(近世代数)呢？但是作为连续几期的延续，出于完整性考虑，还是要进一步发掘。本期先讨论置换的一些性质并引入置换群，最后引入一般的群的概念。

所谓的置换是指这样一种符号运算(它的严格定义在后面群的概念引出时再给出)：

置换的乘积

注意置换的乘法不一定满足交换律。而且置换的这种运算是很简单的——有点像消消乐。【难以将这种运算过程描述出来，仔细看看应该能看懂】

置换满足结合律：对任意三个置换s,t,v,有

(st)v=s(tv)

恒等置换

记为I.

由前几期内容知，根的对称多项式是指在n！种置换作用下都不变的多项式，而非对称多项式是指在有些置换下会变的多项式。