[論文レビュー] Generalized power central group identities in almost subnormal subgroups of $\GL_n(D)$

Bui Xuan Hai, H. V. Khanh+1 more|arXiv (Cornell University)|Jan 18, 2018

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

ひとこと要約

本稿は、$D$ を除法環とする $\mathrm{GL}_n(D)$ のほぼ部分正規部分群における一般化されたべき中心群的恒等式（GPCGIs）を調査する。非自明なGPCGIを満たすような部分群が存在する場合、その部分群は中心的でなければならないことを証明しており、与えられた恒等式条件のもとで、これらの部分群に強い構造的制約が課されることを示している。

ABSTRACT

In this paper, we study almost subnormal subgroups of the general linear group $\GL_n(D)$ of degree $n\ge 1$ over a division ring $D$ that satisfy a generalized power central group identity.

研究の動機と目的

• 非自明な一般化されたべき中心群的恒等式（GPCGIs）を満たす $\mathrm{GL}_n(D)$ のほぼ部分正規部分群の構造を調査すること。
• 非自明なGPCGIを満たすような部分群が、中心的でなければならないかどうかを特定すること。
• 斜線型群における群的恒等式および自由部分群に関する既知の結果を、ほぼ部分正規部分群の設定へと拡張すること。
• 除法環の中心およびこれらの部分群内の元の代数的性質が果たす役割を分析すること。
• 非中心的ほぼ部分正規部分群が非自明なGPCGIを満たすことは不可能であり、中心的である必要があるという、予想1.2を解決すること。

提案手法

• $\mathrm{GL}_n(D)$ 上の一般化された群モナミアルの概念を用い、特に $a_i \in \mathrm{GL}_n(D)^*$ である形の $w = a_1 x_{i_1}^{\alpha_1} \cdots a_t x_{i_t}^{\alpha_t} a_{t+1}$ を取り扱う。
• 一般化されたべき中心群的恒等式（GPCGIs）の概念を適用し、あるタプルに対して $w(c_1,\dots,c_m)^p \in F$ となるような $p$ を用いる。
• カルタン＝ブローラー＝フアの定理およびアミツールの定理を用いて、ほぼ部分正規部分群が生成する部分環の中心および構造を分析する。
• 自由積の理論およびニールセン＝シュライエルの定理を用い、非中心的代数的元が存在する場合、特定の部分群が非巡回自由部分群を含むことを示す。
• $n \geq 2$ に対して、$\mathrm{GL}_n(D)$ における非中心的ほぼ部分正規部分群の正規性に関する結果 [21] を適用し、中心が非可算であることで $n=1$ へと拡張する。
• 中心が非可算で、非中心的代数的元を含む場合、$D^*$ に非巡回自由部分群が存在することを [12] および [6] で確立しているので、それを活用する。

実験結果

リサーチクエスチョン

• RQ1 非中心的ほぼ部分正規部分群 $\mathrm{GL}_n(D)$ が非自明な一般化されたべき中心群的恒等式を満たすための条件は何か？
• RQ2 非中心的ほぼ部分正規部分群 $\mathrm{GL}_n(D)$ が中心的でないまま非自明なGPCGIを満たすことは可能か？
• RQ3 除法環の中心の非可算性が、自由部分群の存在およびGPCGIsの妥当性にどのように影響するか？
• RQ4 特に $n=1$ の場合に、GPCGI を満たすほぼ部分正規部分群にどのような構造的制約が生じるか？
• RQ5 $D^*$ における自由部分群に関する結果が、$D^*$ のほぼ部分正規部分群へとどの程度拡張可能か？

主な発見

• 非中心的ほぼ部分正規部分群 $N$ が非自明なGPCGIを満たすならば、$N$ は中心的でなければならない。これにより、予想1.2が確認された。
• $n \geq 2$ の場合、任意の非中心的ほぼ部分正規部分群は $\mathrm{SL}_n(D)$ を含み、その部分環 $F[N]$ は $\mathrm{M}_n(D)$ に等しくなる。これにより $Z(N) \subseteq F$ が得られる。
• $n=1$ で中心 $F$ が無限大であるとき、$D^*$ の非中心的ほぼ部分正規部分群 $H$ の中心も依然として $F$ に含まれる。
• $D$ の中心が非可算で、$G$ が $D^*$ の非中心的ほぼ部分正規部分群であり、$F$ 上の非中心的代数的元を含むならば、$G$ は非巡回自由部分群を含む。
• 無限大位数の代数的元が存在する場合、$G$ 内に $\langle u \rangle * \langle v \rangle$ の形の自由積が存在すれば、ニールセン＝シュライエルの定理により非アーベル自由部分群が存在することが保証される。
• 証明は、$G$ 内に非アーベル自由群を生成するような $x = c_r(u,v)$ および $y = c_r(u,v^2)$ のような元を構成することで成り立つ。これにより、非巡回自由部分群の存在が裏付けられる。