[論文レビュー] On the polynomial automorphisms of a group

G. Endimioni|ArXiv.org|Apr 4, 2007

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

ひとこと要約

この論文は群論における多項式自己同型を調査し、任意のクラス $k \geq 2$ の冪零群 $G$ に対して、すべての多項式自己同型によって生成される群 $\mathrm{P}(G)$ がクラス $k-1$ の冪零群であることを証明する。メタア贝尔群の場合、さらに $\mathrm{P}(G)$ が自身でメタア贝尔であることを示し、有限群に関する既知の結果を無限群へと拡張し、無限の冪零群およびメタアベル群における多項式自己同型の構造的特徴を明らかにする。

ABSTRACT

We prove that if a group is nilpotent (resp. metabelian), then so is the subgroup of its automorphism group generated by all polynomial automorphisms.

研究の動機と目的

• 有限群から無限群への多項式自己同型に関する既知の結果を拡張すること。特に、冪零群およびメタアベル群を対象とする。
• 群 $G$ のすべての多項式自己同型によって生成される群 $\mathrm{P}(G)$ の構造的性質、特にその冪零性およびメタアベル性を特定すること。
• 特に $G$ が無限である場合に $\mathrm{P}(G)$ が $G$ の冪零性やメタアベル構造を引き継ぐかどうかという未解決の問いを解消すること。
• メタアベル群における交換子恒等式および自己準同型の構成を用いて、多項式自己同型を統一的に理解する枠組みを提供すること。

提案手法

• 群 $G$ の冪零クラス $k$ についての帰納法を用い、$G$ から中心 $\zeta(G)$ を剰余する写像 $G \to G/\zeta(G)$ を介して問題を簡略化する。
• 固定された元の共役が可換であるとき、2つの多項式自己同型の合成を交換子を用いて表現する鍵となる補題（補題 2.1）を適用する。
• クラス $\leq 2$ の冪零群ではすべての多項式自己同型が可換であるため、この場合 $\mathrm{P}(G)$ はアーベル群である。
• メタアベル群において、$x \mapsto x \prod [x, v_i]^{\eta_i}$ の形の自己準同型を構成し、適切な条件下でそれが自己同型であることを証明する。
• 導来部分群を元ごとに固定する IA-自己同型の構造を用いて、2生成子のメタアベル群においてこのような自己同型が多項式であることを示す。
• 交換子恒等式 $[x,yz] = [x,z][x,y][x,y,z]$ および $[x,y,z] = [x,y]^{-1}[x,z]^{-1}[x,yz]$ を用いて、証明内の式を操作する。

実験結果

リサーチクエスチョン

• RQ1 クラス $k \geq 2$ の無限の冪零群 $G$ に対して、多項式自己同型群 $\mathrm{P}(G)$ は依然として冪零であるか？
• RQ2 メタアベル群 $G$ に対して、$\mathrm{P}(G)$ は無限であってもメタアベルであるか？
• RQ3 2生成子のメタアベル群の任意の IA-自己同型は多項式自己同型として表現可能か？
• RQ4 冪零群 $G$ に対して、$\mathrm{P}(G)$ の冪零クラスと $G$ の冪零クラスとの関係は何か？
• RQ5 3つ以上の生成子を持つメタアベル群では、なぜ多項式自己同型の性質が IA-自己同型に成立しないのか？

主な発見

• 任意のクラス $k \geq 2$ の冪零群 $G$ に対して、すべての多項式自己同型によって生成される群 $\mathrm{P}(G)$ は、正確にクラス $k-1$ の冪零群である。
• クラス $\leq 2$ の冪零群では、すべての多項式自己同型が可換であるため、$\mathrm{P}(G)$ はアーベル群である。
• 任意のメタアベル群 $G$ に対して、群 $\mathrm{P}(G)$ は自身でメタアベルである。これは有限群から無限群への構造的結果の拡張である。
• 2生成子のメタアベル群では、すべての IA-自己同型が多項式自己同型である。これは C. K. ガプタの結果の別証明を提供する。
• $\mathrm{P}(G)$ は $\mathrm{A}(G)$ の正規部分群であり、内部自己同型群 $\mathrm{I}(G)$ を正規部分群として含む。
• $d \geq 3$ の場合、ランク $d$ の自由メタアベル群 $M_d$ の IA-自己同型群は $\mathrm{P}(M_d)$ に含まれない。なぜなら $\mathrm{P}(M_d)$ はメタアベルであるが、IA-自己同型群にはランク $d$ の自由部分群が含まれるからである。