[论文解读] On the probability of satisfying a word in nilpotent groups of class 2

Matthew Levy|arXiv (Cornell University)|Jan 22, 2011

Finite Group Theory Research参考文献 1被引用 5

一句话总结

本文证明了对于任意有限幂零群（类为2）和任意群词 $w$，随机 $n$-元组满足 $w=1$ 的概率至少为 $1/|G|$，从而证实了 Alon Amit 猜想的一个特例。证明使用了 Hall 的收集过程与换位子恒等式，将任意词化为一种等价形式，使得解的数量至少为 $|G|^{n-1}$，从而确保了概率下界。

ABSTRACT

Let G be a finite group of nilpotency class 2 and w a group word. In this short paper we show that the probability that a random n-tuple of elements from G satisfies w is at least one over the order of G. This answers a special case of a conjecture of Alon Amit.

研究动机与目标

• 证明 Alon Amit 的猜想：对于有限幂零群，有 $P(G,w) \geq \frac{1}{|G|}$，重点研究类为2的情形。
• 建立类为2的幂零群中群词方程解数的下界。
• 证明当 $G$ 为有限幂零群（类为2）时，群词映射 $w: G^n \to G$ 的纤维大小至少为 $|G|^{n-1}$，对任意词 $w$ 成立。
• 利用 Hall 的收集过程与换位子恒等式，将任意群词约化为规范形式，从而实现解数的估计。

提出的方法

• 应用 Hall 的收集过程，将 $G$ 中的任意群词 $w$ 表示为模 $\gamma_3(F_n)$ 的形式：$x_1^{\alpha_1}\cdots x_n^{\alpha_n} \prod_{i<j}[x_i,x_j]^{\beta_{ij}} \cdot c$，其中 $c \in \gamma_3(F_n)$。
• 利用换位子恒等式简化并重写该词，得到包含 $p^l$-次幂与换位子的 $G$-等价形式，同时保持解数不变。
• 将该词约化为形式 $v(y_1, y_2, \dots, y_{2k+1}, x_{2k+2}, \dots, x_n) = y_1^{p^l} \prod_{i=1}^k [y_{2i}, y_{2i+1}]^{\gamma_{2i,2i+1}} [y_1, h^{\prime\prime}]$，其中 $h^{\prime\prime}$ 是其他变量的词。
• 利用类为2群中换位子映射的双线性性质，证明约化后词的解集大小至少为 $|G|^{n-1}$。
• 利用换位子群 $G'$ 为交换群的性质，以及交换群上线性映射的核大小至少为 $|G|^{n-2}$ 的事实，得出最终的下界。
• 通过直积分解将结果应用于 $p$-群，并对 Sylow 子群使用归纳法，将结论推广至所有类为2的有限幂零群。

实验结果

研究问题

• RQ1 在有限幂零群 $G$（类为2）中，满足群词 $w$ 的概率 $P(G,w)$ 是否满足 $P(G,w) \geq \frac{1}{|G|}$？
• RQ2 是否可以将类为2的幂零群中的任意群词约化为一种解数可被 $|G|^{n-1}$ 明确下界的形 式？
• RQ3 群词映射 $w: G^n \to G$ 是否以某种方式保持均匀分布，从而保证对任意词 $w$ 至少有 $|G|^{n-1}$ 个解？
• RQ4 是否可以利用换位子恒等式与 Hall 的收集过程，将任意群词变换为保持解数且便于计数的规范形式？

主要发现

• 对于任意有限幂零群 $G$（类为2）和任意群词 $w$，满足 $w=1$ 的 $n$-元组数量至少为 $|G|^{n-1}$，因此 $P(G,w) \geq \frac{1}{|G|}$。
• 群词映射 $w: G^n \to G$ 与一种涉及 $p^l$-次幂与换位子的约化形式 $G$-等价，且解数保持不变。
• 约化后词的解集大小至少为 $|G|^{n-1}$，因为交换群 $G'$ 上线性映射的核大小至少为 $|G|^{n-2}$，且其余变量有 $|G|$ 种选择。
• 该结论对所有类为2的有限 $p$-群成立，并通过直积分解推广至所有类为2的有限幂零群。
• 证明利用了换位子映射的双线性性质以及自由 $\mathfrak{N}_{2,m}$-群的结构，以确保约化后词的解数有下界。
• 该下界 $P(G,w) \geq \frac{1}{|G|}$ 优于 Nikolov 与 Segal 对类为2群先前得到的估计。