[論文レビュー] Beauville structures in finite p-groups

Gustavo A. Fernández‐Alcober, Şükran Gül|arXiv (Cornell University)|Jul 10, 2015

Finite Group Theory Research被引用数 1

ひとこと要約

本稿は、Cataneseによるアーベルなブルヴィル群の特徴付けを、やや制限された構造的条件下で非アーベルなp群へ一般化し、有限p群がアンミックスドブルヴィル構造をもつための一般基準を確立する。2生成子p群で指数 $p^e$ のものについては、$p \geq 5$ かつ $|G^{p^{e-1}}| \geq p^2$ であるときかつそのときに限りブルヴィル群であると証明し、正則、強力、強力、一般化p中心p群に適用可能である。主な貢献は、$\mathbb{F}_p$ 上のノットリング群の商として、最初の明示的なブルヴィル3群の無限族を構成し、すべての $n \geq 5$ に対して $3^n$ 階のブルヴィル3群が存在することを示したことである。この結果により、$p \geq 5$ の $p^5$ 階ブルヴィルp群および $p \geq 7$ の $p^6$ 階ブルヴィルp群の分類が完全に完成する。

ABSTRACT

We study the existence of (unmixed) Beauville structures in finite $p$-groups, where $p$ is a prime. First of all, we extend Catanese's characterisation of abelian Beauville groups to finite $p$-groups satisfying certain conditions which are much weaker than commutativity. This result applies to all known families of $p$-groups with a good behaviour with respect to powers: regular $p$-groups, powerful $p$-groups and more generally potent $p$-groups, and (generalised) $p$-central $p$-groups. In particular, our characterisation holds for all $p$-groups of order at most $p^p$, which allows us to determine the exact number of Beauville groups of order $p^5$, for $p\ge 5$, and of order $p^6$, for $p\ge 7$. On the other hand, we determine which quotients of the Nottingham group over $\mathbb{F}_p$ are Beauville groups, for an odd prime $p$. As a consequence, we give the first explicit infinite family of Beauville $3$-groups, and we show that there are Beauville $3$-groups of order $3^n$ for every $n\ge 5$.

研究の動機と目的

• . 本稿の目的は、アーベルブルヴィル群のCataneseによる特徴付けを、制御されたべき構造をもつ非アーベルp群へ拡張することである。
• . 本稿は、特に小規模な階数と高い指数に対して、有限p群がアンミックスドブルヴィル構造をもつ条件を特定することを目的としている。
• . 本稿は、$\mathbb{F}_p$ 上のノットリング群がブルヴィルp群の無限族の源として果たす役割を調査する。
• . 本稿は、$p \geq 5$ の $p^5$ 階ブルヴィルp群および $p \geq 7$ の $p^6$ 階ブルヴィルp群の完全な分類を提供し、先行研究の空白を埋める。
• . 本稿は、群論的仮定がやや弱い条件下で、$|G^{p^{e-1}}| \geq p^2$ がブルヴィル構造において必要かつ十分であることを示すことを目的としている。

提案手法

• . 著者らは、p群に対して一般化された条件 (i) を導入する：$x^{p^{e-1}} = y^{p^{e-1}}$ であるための必要十分条件は $(xy^{-1})^{p^{e-1}} = 1$ であることであり、これは正則、p中心、一般化p中心p群で成り立つ。
• . 本稿は、$\mathbb{F}_p$ 上のノットリング群 $N$ を定義・分析し、特定のダイヤモンド $N_{zm+1}/N_{zm+1}$ 内の中間部分群 $W$ に対する商 $N/W$ に注目する。
• . 本稿は、ノットリング群の下部中心系列およびフィルトレーションの構造を用いて、元の位数とその共役類の位数を分析する。
• . 本稿は、Frattini部分群 $\Phi(G)$、部分群 $G^{p^{e-1}}$、および $x$, $y$, $xy$ で生成される巡回部分群の共役類の集合 $\Sigma(x,y)$ といった群論的道具を適用する。
• . 重要な技術的手段として、Lemma 3.6 の使用があり、これは、元の位数に適切な条件が満たされれば、商群からその商へのブルヴィル構造の持ち上げを可能にする。
• . 本定理の証明は、商群における明示的な生成対 $\{u,v\}$ と $\{(uw)^{-1}, vz\}$ の構成に依拠し、中心的元の議論と位数の比較により、それらの共役類が互いに素であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 . 有限p群 $G$ がブルヴィル構造をもつための条件は何か？ これはアーベル群に対するCataneseの結果を一般化するものである。
• RQ2 . $\mathbb{F}_p$ 上のノットリング群を用いて、ブルヴィルp群の無限族を構成できるか？ 特に $p=3$ の場合に有効か？
• RQ3 . どの階数 $p^n$ に対してブルヴィル3群が存在するか？ また、最小のこのような階数は何か？
• RQ4 . 2生成子p群で指数 $p^e$ のものについて、$G^{p^{e-1}}$ の大きさに関する正確な条件は何か？
• RQ5 . Theorem Aにおける条件 (i) の失敗を、$|G^{p^{e-1}}| = p$ であるが still ブルヴィル群である反例p群を構成することで示せるか？

主な発見

• . 本稿は、2生成子の有限p群 $G$ が指数 $p^e$ であるとき、$p \geq 5$ かつ $|G^{p^{e-1}}| \geq p^2$ であるときかつそのときに限りブルヴィル群であると証明している。ただし、$G$ が条件 (i) を満たすか、強力であると仮定する。
• . $p \geq 5$ のとき、すべての $p^5$ 階p群がブルヴィル群であるための必要十分条件は $|G^{p^4}| \geq p^2$ であり、その正確な数が特定されている。
• . $p \geq 7$ のとき、$p^6$ 階ブルヴィルp群の数が完全に分類されており、Barker, Boston, and Fairbairnの研究を完成させている。
• . 本稿は、ノットリング群の商として、最初の明示的なブルヴィル3群の無限族を構成し、すべての $n \geq 5$ に対して $3^n$ 階ブルヴィル3群が存在することを示している。$n=5$ が最小のこのような階数である。
• . 本稿は、条件 (i) を満たす2生成子p群のクラス、あるいは強力なp群において、$|G^{p^{e-1}}| \geq p^2$ がブルヴィル構造において必要かつ十分であることを示している。
• . 本稿は、Theorem Aにおける条件 (i) の緩和を試みる反例を構成している：$|G^{p^{e-1}}| = p$ であるが still ブルヴィル群である2生成子p群が存在する。これは、条件 (i) を弱めることが不可能であることを示している。