[論文レビュー] A note on strongly real Beauville $p$-groups

Şükran Gül|arXiv (Cornell University)|Jul 29, 2016

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

ひとこと要約

本稿では、2つの位数 $p$ の巡回群の自由積の下位中心商を分析することにより、任意の奇素数 $p$ に対して、初めて知られている非アーベルの強実 Beauville $p$-群の無限族を構成する。生成元を逆にする自己同型と、ノートリング・グループおよび最大クラスの $p$-群の性質を活用することで、$i = k(p-1)+1$（$k \geq 1$）のとき、$F/\gamma_{i+1}(F)$ が強実 Beauville 群であることを証明し、このような群の分類における長年の空白を解消する。

ABSTRACT

We give an infinite family of non-abelian strongly real Beauville $p$-groups for any odd prime $p$ by considering the lower central quotients of the free product of two cyclic groups of order $p$. This is the first known infinite family of non-abelian strongly real Beauville $p$-groups.

研究の動機と目的

• 任意の奇素数 $p$ に対して、非アーベルの強実 Beauville $p$-群の無限族を構成し、このような群の分類における空白を埋める。
• これまでのアーベルの場合および2つの孤立した $2$-群にとどまっていた強実 Beauville 群の例を、非アーベルの場合へ拡張する。
• 自由積 $F = \langle x,y \mid x^p, y^p \rangle$ の下位中心商が、特定の条件下で強実 Beauville 構造をもたらすことを示す。
• ノートリング・グループの性質を活用した自己同型と群論的性質を用いて、強実条件を体系的に検証する方法を提供する。

提案手法

• 著者たちは、位数 $p$ の2つの巡回群の自由積 $F = \langle x,y \mid x^p, y^p \rangle$ を考察し、$i = k(p-1)+1$（$k \geq 1$）の下位中心系列の商 $F/\gamma_{i+1}(F)$ を分析する。
• 自己同型 $\theta$ を $\theta(x) = x^{-1}$, $\theta(y) = y^{-1}$ で定義し、商に引き継がれるようにする。この自己同型は群構造を保存する。
• 証明は、$\mathbb{F}_p$ 上のノートリング・グループ $\mathcal{N}$ の下位中心系列および交換子構造の性質に依存し、$F/\gamma_{i+1}(F)$ の構造を分析する。
• $\gamma_i(F)/\gamma_{i+1}(F)$ が指数 $p$ のアーベル群であること、および $i = k(p-1)+1$ であることにより、下位中心系列に位数 $p^2$ のダイヤモンドが現れることを用いる。
• 重要なステップとして、$u,v$ とそのねじれた版 $(uw)^{-1}, vz$（$w,z$ は $H_i = \gamma_i(F)/\gamma_{i+1}(F)$ の位数 $p$ の中心的元）を用いた Beauville 構造を構成する。
• 自己同型 $\theta$ が生成元の対を共轭を除いて逆にするという事実を用いて、強実条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 奇素数 $p$ に対して、非アーベルの強実 Beauville $p$-群の無限族を構成することは可能か？
• RQ2 自由積 $\langle x,y \mid x^p, y^p \rangle$ の下位中心商にどのような構造的条件が満たされると、強実 Beauville 構造が存在するか？
• RQ3 $\mathbb{F}_p$ 上のノートリング・グループの構造は、$i = k(p-1)+1$ のとき $F/\gamma_{i+1}(F)$ の群論的性質をどのように示唆するか？
• RQ4 共役を介して生成元の対を逆にする自己同型が関連するように、$F/\gamma_{i+1}(F)$ 上に Beauville 構造を定義することは可能か？

主な発見

• $i = k(p-1)+1$ かつ $k \geq 1$ のとき、商 $F/\gamma_{i+1}(F)$ は強実 Beauville 群であり、奇素数 $p$ に対して非アーベルの強実 Beauville $p$-群の最初の無限族を提供する。
• 生成元 $x \mapsto x^{-1}, y \mapsto y^{-1}$ で定義される自己同型 $\theta$ は商に引き継がれ、共轭を除いて生成元の対を逆にするため、強実条件を満たす。
• $F/\gamma_{i+1}(F)$ は指数 $p$ の2生成元 $p$-群であり、$i = k(p-1)+1$ のとき、$\gamma_i(F)/\gamma_{i+1}(F)$ は位数 $p^2$ の初等アーベル $p$-群である。
• Beauville 構造は $\{u,v\}$ と $\{(uw)^{-1}, vz\}$ で形成され、$w,z$ は中心的元で位数 $p$ であり、これらの生成元が生成する巡回部分群の共轭類は互いに素である。
• 証明は、$\theta$ が $H_i = \gamma_i(F)/\gamma_{i+1}(F)$ の生成元上で逆元作用をすることに依存しており、$H_i$ がアーベル群であるため、すべての $t \in H_i$ に対して $\theta(t) = t^{-1}$ が成り立ち、強実条件が保証される。
• この構成により、$F$ の下位中心系列と $p$-中心系列が一致することが確認され、$F/F'$ が指数 $p$ であることから、商の構造の解析が簡略化される。