抽象代数的入门课程，就像是一场思维训练，计算量不大，但是内部逻辑却不太容易搞明白。本文，借助3阶置换群，来介绍一下共轭类的相关概念。
工具/原料
电脑
Mathematica
基本结构
1、三阶置换群S3是由两稍僚敉视个元素生成的：x：对换第一个元素和第二个元素；y：轮换，第二个元素跑到第一个位置，第三个元素跑到第二个位置，第一个元素跑到第三个位置；如果原来是{a,b,c}鹚兢尖睁的话，那么执行x操作，就变成了{b,a,c}；执行y操作，就变成了{b,c,a}。
2、x操作是二阶的，因为x·x=1，表示恒等变换；y操作是三阶的，因为y·y·y=1。实际上，S3只有6个元素，而且都是用x和y的组合操作实现的。
共轭操作
1、设u和v是S3里面的元素，u的逆元素是w，那么v'=uvw就表示v的一个共轭。比如，yy关于yx的共轭是y。
2、如果v遍历S3所有的元素，固定u为xy，那么所有关于u的共轭，就是S3的一个置换：xy·{1,x,y,yy,xy,yx}·xy注意，xy的逆元素是xy。
3、如果u遍历S3的所有元素，那么v的所有共轭，组成一个共轭类。
4、这样，我们可以把所有侍厚治越元素的共轭类写出来：x的共轭类包括{x,xy,yx}y的共轭类包括{y,yy}yy的共轭类包括{y,y烤恤鹇灭y}xy的共轭类包括{x,xy,yx}yx的共轭类包括{x,xy,yx}单位元的共轭类是{1}。
5、可以发现，共轭类只有三类：{1}、{y,yy}、{x,xy,咯悝滩镞yx}。这是S3的一种分类方法。类方程是指：|S3|=|{1}|+|{y,yy}|+|{旌忭檀挢x,xy,yx}|6=1+2+3不同的共轭类的元素数目之和，就是S3的元素数目。
6、如果v关于u的共轭v'等于v，就说u属于v的中心化子。比如，x的中心化子是{1,x}、y的中心化子是{1,y,yy}、yy的中心化子是{1,y,yy}、xy的中心化子是{1,xy}、yx的中心化子是{1,yx}。
7、注意，x的中心化子是{1,x}，x的共轭类是{x,xy,yx}，那么：|S3|=|{1,x}|·|{x,xy,yx}|6=2*3其它元素都有类似公式。
8、单位元1的中心化子是S3的所有元素，它的共轭类是{1}。这样，6=6*1也是符合公式的。