群在两个集合上的作用等价，群在群的集合上的伴随作用，群的中心与Abel群

群在两个集合上的作用等价：

条件一：
$$集合的一一对应x\stackrel{\phi }{\to }{x}^{\prime }，\forall g\in G$$
条件二：
$$\begin{array}{lcc}x& \stackrel{\phi }{\to }& x^{\prime }\\ \downarrow g& & \downarrow g\\ x& \stackrel{\phi }{\to }& x^{\prime }\end{array}$$

群在集合上的作用可递 群对 集合 与 群对迷向子群的商群 上的作用等价
（因为实际上 集合 与 商集是等价的 ：g（x） 映为 g乘Fx ）

群的作用与集合中的元素是一一对应的关系

实际上，当G模掉了迷向的作用之后，群的作用与集合中的元素是一一对应的关系，如果对于某一个元素g1(x)=g2(x),则
$$g_1^{-1}{g}_2是迷向作用，g_1{F}_x=g_2{F}_x，则他们是同一个作用$$

交换易证：……

问：有限群作用集合，轨道中元素的个数是多少？

由以上 可得 有限群作用集合，轨道元中元素的个数 商集的指数(阶)相同 =[G:Fx]

下面讨论

群在群 集合上的伴随作用adg：

首先 任意群中的元素g到adg的伴随 是 G到SG(置换群) 的同态。群到群的substitude的一一
substitude 代替者; 代替物; 代用品; 替补(运动员);
共轭类 共轭类为 对群中的元素做 伴随形成的轨道 Og记为Cg conjugate共轭；结合
实际就是伴随作用的等价类称为共轭类

群的中心

这个伴随映射的核称为群的 中心 记为 C(G)

显然：群G是Abel群当且仅当C(G)=G。所以群G的中心C(G)越大，可以认为G越接近Abel群。

伴随作用下的迷向子群Fg 称为中心化子 记作 CG（g）或 C(g)
可证：

中心 C(G)是中心化子 C(g)的并集（看定义4.2.7）

若G是有限群，则g的共轭类的元素个数|Cg|=[G:C(g)],是|G|的因数

g在中心，|Cg|=1

参考：
https://blog.csdn.net/qq_39800591/article/details/105307538?
https://zhuanlan.zhihu.com/p/165163924?
话交换图
http://www.doc88.com/p-9932981693194.html