[論文レビュー] A combinatorial problem in infinite groups

Aliréza Abdollahi|ArXiv.org|Dec 2, 2002

Finite Group Theory Research参考文献 42被引用数 3

ひとこと要約

本稿は、単語 $ w = 1 $ で定義される群の多様体と、より強い組合せ的条件 $ w^* $ の間の関係を調査している。ここで $ w^* $ とは、任意の無限個の部分集合の $ n $ 重タプルが $ w = 1 $ の解を含む群を指す。本稿は、局所的有限性、局所可解性、または有限ランクといった特定の有限性および構造的条件のもとで、$ w^* $ を満たす群は実際に多様体 $ \mathcal{V}(w) $ に属することを証明しており、その結果、広いクラスの群において $ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ が成り立つことを示している。

ABSTRACT

Let $w$ be a word in the free group of rank $n \in \mathbb{N}$ and let $\mathcal{V}(w)$ be the variety of groups defined by the law $w=1$. Define $\mathcal{V}(w^*)$ to be the class of all groups $G$ in which for any infinite subsets $X_1, ..., X_n$ there exist $x_i \in X_i$, $1\leq i\leq n$, such that $w(x_1, ..., x_n)=1$. Clearly, $\mathcal{V}(w) \cup \mathcal{F} \subseteq \mathcal{V}(w^*)$; $\mathcal{F}$ being the class of finite groups. In this paper, we investigate some words $w$ and some certain classes $\mathcal{P}$ of groups for which the equality $(\mathcal{V}(w) \cup \mathcal{F})\cap \mathcal{P}= \mathcal{P} \cap \mathcal{V}(w^*)$ holds.

研究の動機と目的

• 予想 $ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ を解決すること。ここで $ \mathcal{V}(w^*) $ は、任意の無限個の部分集合のタプルが $ w = 1 $ の解を含む群の集合である。
• 局所的有限性、局所可解性、有限ランクなどの群の構造的条件を特定し、それらのもとで $ \mathcal{V}(w^*) $-群が $ \mathcal{V}(w) $ に属することを示すこと。
• エンゲル群、冪零群、メタアーベル群に関する先行結果を一般化し、より広いクラスの群へ等式を拡張すること。
• $ \mathcal{V}(w^*) $-群に特定の無限大単純群や局所的有限部分群が存在しないことの分析を通じて、等式問題の還元を確立すること。

提案手法

• 群 $ \mathcal{V}(w^*) $ を、任意の $ n $ 個の無限大部分集合に対して、それぞれの部分集合から取り出した要素が $ w(x_1,\dots,x_n) = 1 $ を満たすようなものがある、という性質として定義する。
• 特に最小限の群、有限余剰構造、有限ランク可解群に関する結果を含む構造的群論を適用する。
• Kropholler の定理を用いて、$ C_p \text{wr} C_\infty $ に同型な部分群を持たない有限生成可解群は最小限であることを示す。
• 特に、無限大局所的整数化群または有限ランク群が $ \mathcal{V}(w^*) $ に属する場合、それらは $ \mathcal{V}(w) $ に属することを示す。
• 特定の群 $ M(\alpha,p) $ や $ C_q \text{wr} C_\infty $ が障害物として果たす役割を分析する：これらの群が $ \mathcal{V}(w) $ に属しない場合、$ \mathcal{V}(w^*) $-群は $ \mathcal{V}(w) $ に属する。
• 部分群理論を用いた背理法による議論：$ \mathcal{V}(w^*) $ に属する群が $ \mathcal{V}(w) $ に属さない場合、それは無限大単純部分群を持つことになるが、与えられた条件下ではこれが排除される。

実験結果

リサーチクエスチョン

• RQ1 単語 $ w $ と群のクラス $ \mathcal{P} $ に対して、$ \mathcal{V}(w^*) \cap \mathcal{P} = (\mathcal{V}(w) \cup \mathcal{F}) \cap \mathcal{P} $ が成り立つ条件は何か？
• RQ2 $ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ が無限大局所可解群や有限ランク群に対して成り立つかどうか？
• RQ3 $ C_p \text{wr} C_\infty $ や $ M(\alpha,p) $ といった特定の群が、等式 $ \mathcal{V}(w^*) = \mathcal{V}(w) \cup \mathcal{F} $ の妨げとなるか、または可能にする役割を果たすか？
• RQ4 $ \mathcal{V}(w^*) $ に無限大線形単純局所有限群が存在しないことは、$ \mathcal{V}(w^*) $-群が $ \mathcal{V}(w) $ に属することを示唆するか？
• RQ5 局所的有限性、局所可解性、および有限余剰性といった性質が、$ w^* $-条件とどのように作用して $ \mathcal{V}(w) $ への属する性質を強制するのか？

主な発見

• すべての無限大有限生成局所的整数化群で、$ \mathcal{V}(w^*) $ に属する群は、$ \mathcal{V}(w) $ に属する。ただし、$ \mathcal{V}(w) $ に属するすべての有限生成有限余剰群が多可解的有限群であることが前提である。
• すべての無限大有限余剰 $[($局所 $ \mathcal{P} $)$\text{by finite}]$ 群が $ \mathcal{V}(w^*) $ に属する場合、$ \mathcal{P} $ が部分群に関して閉じており、可解群から構成され、かつ $ (\mathcal{P} \text{ by finite}) $-群において等式が成り立つことが前提である。
• すべての無限大局所可解群が $ \mathcal{V}(w^*) $ に属する場合、$ C_q \text{wr} C_\infty \not\in \mathcal{V}(w) $ がすべての素数 $ q $ に対して成り立つ、または $ M(\alpha,p) \not\in \mathcal{V}(w) $ がすべての $ p \geq 0 $ に対して成り立つことが前提である。
• 非線形単純局所有限群は $ \mathcal{V}(w^*) $ に属しない。これは、$ \mathcal{V}(w) \cup \mathcal{F} = \mathcal{V}(w^*) $ の反例を排除するのを助ける。
• 可解的単語 $ w = w_d $ に対して、無限大局所有限 $ \mathcal{V}(w^*) $-群が $ \mathcal{V}(w) $ に属するための必要十分条件は、その群が無限大線形単純局所有限部分群を持たないことである。
• 無限大局所可解有限ランク群が $ \mathcal{V}(w^*) $ に属する場合、それらは最小限であり、したがって必要な有限性条件を満たすため、$ \mathcal{V}(w) $ に属する。