有限群作用下非平凡元素唯一不动点的一致性证明问询

嘿，你的思路方向其实没跑偏，轨道稳定子定理确实是核心工具，咱们可以从反证法结合**Burnside引理（不动点计数定理）**来推进，这会比你当前的尝试更清晰。

先给你几个关键的思考切入点：

1. 先用Burnside引理算不动点总和，找$|A|$和$|G|$的关系 #

根据Burnside引理，群作用的轨道数等于所有群元素的不动点个数之和除以$|G|$。咱们来计算这个总和：

• 单位元$e$的不动点是整个集合$A$，共$|A|$个；
• 每个非平凡元素$g\in G\setminus{e}$都有且仅有1个不动点，这类元素共有$|G|-1$个。

所以不动点总数是 $|A| + (|G|-1) \times 1 = |A| + |G| - 1$。因为轨道数一定是正整数，这个总和必须能被$|G|$整除，也就是：
$$|A| + |G| - 1 \equiv 0 \pmod{|G|}$$
化简后得到 $|A| \equiv 1 \pmod{|G|}$，即 $|A| = 1 + k|G|$，其中$k$是非负整数。

2. 反证：假设存在两个不同的不动点，推导矛盾 #

假设存在两个非平凡元素$g$和$h$，$g$的唯一不动点是$a$，$h$的唯一不动点是$b$，且$a\neq b$：

• 首先看$g$作用在$b$上：因为$g$的唯一不动点是$a$，所以$g(b)\neq b$；同理$h(a)\neq a$。
• 考虑元素$gh$：如果$gh=e$（单位元），那么$h=g^{{-1}$，此时$h(a)=g}{-1}(a)=a$，这和$h$的唯一不动点是$b$矛盾，所以$gh$一定是非平凡元素，它必须有唯一的不动点$c$。
• 但$c$不可能是$a$（因为$gh(a)=g(h(a))\neq g(a)=a$），也不可能是$b$（因为$gh(b)=g(h(b))=g(b)\neq b$），这意味着我们又得到了一个新的不动点$c$。

按照这个逻辑，只要存在两个不同的不动点，就能不断构造出新的不动点，但$A$是有限集，这显然不可能。再结合之前Burnside引理得到的$|A|=1+k|G|$：

• 如果$k=0$，则$|A|=1$，所有群元素都固定这个唯一的点，结论成立；
• 如果$k\geq1$，$|A|\geq1+|G|$，但非平凡元素只有$|G|-1$个，不可能对应$|G|-1$个不同的不动点（否则加上单位元的全不动点，会和$|A|$的表达式矛盾）。

3. 回到你的轨道稳定子思路，补全关键步骤 #

你之前假设了有$m$个群元素不固定$a_0$，那稳定子$Stab_G(a_0)$的大小是$|G|-m$。根据轨道稳定子定理，$a_0$的轨道大小是$|G|/|Stab_G(a_0)|$，这必须是整数，所以$|Stab_G(a_0)|$整除$|G|$。

如果存在某个不固定$a_0$的元素$g$，它的不动点是$b\neq a_0$，那么$Stab_G(b)$至少包含$e$和$g$，大小$\geq2$，对应的轨道大小$\leq|G|/2$。但结合$|A|=1+k|G|$，轨道大小的总和要等于$|A|$，而一个轨道大小$\geq|G|/(|G|-m)\geq2$（因为$m\geq1$），另一个轨道大小$\leq|G|/2$，加起来远小于$1+|G|$，这就产生了矛盾——说明不存在这样的$b$，所有非平凡元素的不动点只能是$a_0$。

试试沿着这些方向推，应该就能顺利得到结论啦！

备注：内容来源于stack exchange，提问作者Jason R.