群作用，轨迹，稳定化子，中心化子，正规化子

群作用(Group Action)

左（右）群作用定义：

  $G$是一个群，$X$是一个集合。$G$在$X$上的左群作用是一个映射$f:G\times X\to X$，满足：

1. $f\left(1,x\right)=x,\forall x\in G$;
2. $f\left(g_1{g}_2,x\right)=f\left(g_1,f\left(g_2,x\right)\right)$, $\forall g_1,g_2\in G,\forall x\in X$；

可记为$G\circlearrowright X:=f$ ($G$ acts on $X$)。
注：1.类似可考虑右作用$f:X\times G\to X$；
2.左作用和右作用有着对称的关系，本门课不作特殊说明可以只讨论左作用。在抽象代数中，当考虑双模时需要同时考虑左作用和右作用。

群作用例子：

1. $H<G,G\circlearrowright \left(G/H\right)=f:\begin{array}{ccccc}G& \times & G/H& \to & G/H\\ g_1& \times & g_{2}H& \to & g_1{g}_{2}H\end{array}$
   验证：
   1.$f\left(1,gH\right)=1\cdot g\cdot H=gH$
   2.$f\left(g_1{g}_2,gH\right)=\left(g_1{g}_2\right)gH,f\left(g_1,f\left(g_2,gH\right)\right)=g_{1}f\left(g_2,gH\right)=g_1\left(g_{2}gH\right)$
   $\Rightarrow f\left(g_1{g}_2,gH\right)=f\left(g_1,f\left(g_2,gH\right)\right)$

2. $H◃G,G\circlearrowright H=f:\begin{array}{ccccc}G& \times & H& \to & H\\ g_1& \times & h& \to & g_{1}h{g_1}^{-1}\end{array}$
   验证：
   1.$f\left(1,h\right)=1h{1}^{-1}=h$
   2.$f\left(g_1{g}_2,h\right)=\left(g_1{g}_2\right)h{\left(g_1{g}_2\right)}^{-1}=g_1\left(g_{2}h{g_2}^{-1}\right){g_1}^{-1}$
   $f\left(g_1,f\left(g_2,h\right)\right)=f\left(g_1,g_{2}h{g_2}^{-1}\right)=g_1\left(g_{2}h{g_2}^{-1}\right){g_1}^{-1}$
   $\Rightarrow f\left(g_1{g}_2,h\right)=f\left(g_1,f\left(g_2,h\right)\right)$.

群的轨迹(Orbit)与稳定子(Stabilizer)

群的轨迹定义：
  $G$是一个群，$X$是一个集合，$f\left(g,x\right):G\times X\to X$(简记为$gx$)是一个左群作用。对某一个$x\in X$, 定义以下集合为群的轨迹：
O x ( ⊆ X ) : = { g x ∣ ∀ g ∈ G } . { {O}_{x}}\left( \subseteq X \right):=\left\{ \left. gx \right|\forall g\in G \right\}. Ox​(⊆X):={ gx∣∀g∈G}.

群的稳定子定义：
  $G$是一个群，$X$是一个集合，$f\left(g,x\right):G\times X\to X$(简记为$gx$)是一个左群作用。对某一个$x\in X$, 定义以下集合为群的稳定子：
G x ( ⊆ G ) : = { g ∈ G ∣ g x = x } . { {G}_{x}}\left( \subseteq G \right):=\left\{ \left. g\in G \right|gx=x \right\}. Gx​(⊆G):={ g∈G∣gx=x}.

性质：

1. $G_x<G;$
   证明：
   显然有$G_x\subseteq G$，因此只需证明$G_x$是一个群。
   $\forall g_1,g_2\in G_x$，有$g_{1}x=x,g_{2}x=x\Rightarrow$