[論文レビュー] 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|$ 以上であることを証明している。これはアロン・アミットの予想の特殊ケースを確認するものである。証明ではハルの収束プロセスと交換子恒等式を用いて、任意の語を解の数が $|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.

研究の動機と目的

• 有限ノルム群に対して $P(G,w) \geq \frac{1}{|G|}$ であるというアロン・アミットの予想を、クラス2の場合に証明すること。
• クラス2のノルム群における語方程式の解の数に下界を確立すること。
• 群 $G$ がクラス2の有限ノルム群であるとき、任意の語 $w$ に対して、語写像 $w: G^n \to G$ のファイバーのサイズが $|G|^{n-1}$ 以上であることを示すこと。
• ハルの収束プロセスと交換子恒等式を用いて、任意の群語を標準形に還元し、解の数の推定を可能にすること。

提案手法

• ハルの収束プロセスを適用して、$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$-群に適用し、シローファクターに沿った帰納法を用いて、すべての有限ノルム群のクラス2に一般化する。

実験結果

リサーチクエスチョン

• RQ1 有限ノルム群 $G$ がクラス2であり、$w$ が群語であるとき、$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 交換子恒等式とハルの収束プロセスを用いて、任意の語を解の数を保存する標準形に変換可能か？

主な発見

• 任意の有限ノルム群 $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|$ 種類の選択肢があるためである。
• この結果はすべての有限 $p$-群のクラス2に成り立ち、直接積分解法により、すべての有限ノルム群のクラス2に拡張される。
• 証明では交換子写像の双線形性と自由な $\mathfrak{N}_{2,m}$-群の構造を用いて、還元された語の解の数が下界で抑えられることを保証する。
• $P(G,w) \geq \frac{1}{|G|}$ の下界は、クラス2群に対してニコロフとセガールが得た以前の推定値を改善する。