《有限群论导论》习题1.11求助：子集并的阶不等式证明

嘿，这道有限群论的习题我来帮你拆解一下，思路其实很清晰，咱们一步步来：

关键前提推导：确定$A$的正规化子 #

首先，我们先分析$A$在$G$中的正规化子$N_G(A)$（即所有满足$A^g=A$的$g\in G$的集合）：

假设存在$n\in N_G(A)\setminus A$，那么根据正规化子的定义，$A^n=A$，此时$A\cap A^n=A\neq1$，这直接违反了题中“对所有$g\in G\setminus A$，$A\cap A^g=1$”的条件。
因此，$N_G(A)=A$——这是整个证明的核心突破口。

计算共轭子群的数量与并集大小 #

1. 由$N_G(A)=A$，根据群论中的共轭子群计数定理，$A$的不同共轭子群的个数等于$[G:N_G(A)]=[G:A]$，记这个数为$m$，即$m=\frac{|G|}{|A|}$。
2. 接下来看共轭子群的交集：任意两个不同的共轭子群$A^g$和$Ah$（对应$g\notin hA$），由于$gh^{-1}\notin A$，根据题设条件$A\cap A^{gh{-1}}=1$，两边同时用$h$共轭可得$A^g\cap A^h=(A\cap A^{gh{-1}})^h=1h=1$。也就是说，所有不同的共轭子群除了单位元之外，没有其他公共元素。
3. 基于此，我们可以计算并集的大小：所有共轭子群都包含单位元，其余元素互不重叠，因此并集的元素总数为：
   $$\left|\bigcup_{g\in G}A^g\right|=1 + m(|A|-1)$$

代入化简并完成不等式证明 #

将$m=\frac{|G|}{|A|}$代入上式，化简可得：
$$1 + m(|A|-1)=1 + |G| - m=|G| - m + 1$$
现在需要证明这个值$\geq\frac{|G|}{2}+1$：

• 由于$A\neq1$，所以$|A|\geq2$，因此$m=\frac{|G|}{|A|}\leq\frac{|G|}{2}$。
• 将$m\leq\frac{|G|}{2}$代入$|G| - m +1$，可得：
  $$|G| - m +1\geq |G| - \frac{|G|}{2} +1=\frac{|G|}{2}+1$$

特殊情况验证 #

如果$A=G$，此时$G\setminus A$是空集，题设条件 vacuously 成立，而并集就是$G$本身。由于$A\neq1$，所以$|G|\geq2$，显然$|G|\geq\frac{|G|}{2}+1$成立（比如$|G|=2$时，$2\geq1+1=2$；$|G|>2$时更成立）。

综上，原不等式得证。

内容的提问来源于stack exchange，提问作者user517681