[論文レビュー] Solubility Criteria for Hopf-Galois Structures

Nigel P. Byott|arXiv (Cornell University)|Dec 18, 2014

Finite Group Theory Research参考文献 27被引用数 16

ひとこと要約

この論文は、有限ガロア拡大におけるホフ・ガロア構造の可解性基準を確立する。具体的には、型群 $ G $ が冪零であるならばガロア群 $ \Gamma $ は可解であり、$ \Gamma $ がアーベル群であるならば $ G $ は可解であることを証明する。結果は、ハル部分群や有限単純群の分類に基づく群論的道具に依拠しており、$ \Gamma $ と $ G $ が同じ組成因子をもつとは限らないことが示され、従来の同値性仮定に反する。

ABSTRACT

Let $L/K$ be a finite Galois extension of fields with group $Γ$. Associated to each Hopf-Galois structure on $L/K$ is a group $G$ of the same order as the Galois group $Γ$. The type of the Hopf-Galois structure is by definition the isomorphism type of $G$. We investigate the extent to which general properties of either of the groups $Γ$ and $G$ constrain those of the other. Specifically, we show that if $G$ is nilpotent then $Γ$ is soluble, and that if $Γ$ is abelian then $G$ is soluble. The proof of the latter result depends on the classification of finite simple groups. In contrast to these results, we give some examples where the groups $Γ$ and $G$ have different composition factors. In particular, we show that a soluble extension may admit a Hopf-Galois structure of insoluble type.

研究の動機と目的

• ホフ・ガロア構造におけるガロア群 $ \Gamma $ と型群 $ G $ の群論的性質が互いにどのように制約し合うかを調査すること。
• 型群 $ G $ の可解性がガロア群 $ \Gamma $ の可解性を意味するか、逆に $ \Gamma $ の可解性が $ G $ の可解性を意味するかを特定すること。
• ガロア群 $ \Gamma $ と型群 $ G $ が同じ組成因子をもつべきだとする仮定に反する反例を構成することで、その仮定を疑うこと。
• 有限単純群の分類を用いて、アーベルなガロア群が可解な型群をもたらすことを証明すること。

提案手法

• ハル $ p' $-部分群の理論を適用し、$ G $ が冪零であるならば $ \Gamma $ が可解であることを証明する。
• 有限単純群におけるアーベル部分群に関するヴドヴィンの結果（有限単純群の分類に依存）を用いて、$ \Gamma $ がアーベル群であるならば $ G $ が可解であることを示す。
• 有限非アーベル単純群が素数べき位数の部分群をもつことに関する定理6（グルバリック）を用いて、$ \Gamma = H \times J $ となるガロア拡大を構成する。ここで $ H $ はハル $ p' $-部分群、$ J $ はシローバー $ p $-部分群である。
• ユニタリ空間における最大の自己的部分空間の集合に正則に作用する、$ G $ の位数 $ p^a $ の正則部分群 $ J $ の存在を、$ \mathrm{PSU}_4(2) $ における明示的な行列構成を用いて検証する。
• 補題6.1および補題6.5を適用し、$ H $ がハル $ p' $-部分群、$ J $ がシローバー $ p $-部分群であるとき、$ \Gamma = H \times J $ ならば型 $ G $ のホフ・ガロア構造が存在することを確立する。
• 射影空間および自己的部分空間への群作用を用いて、$ \mathrm{Perm}(\Gamma) $ の正則部分群を構成し、指定された型のホフ・ガロア構造の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 ホフ・ガロア構造における型群 $ G $ が冪零であるならば、ガロア群 $ \Gamma $ は可解であるか？
• RQ2 ガロア群 $ \Gamma $ がアーベル群であるならば、型群 $ G $ は可解であるか？
• RQ3 ガロア群 $ \Gamma $ が可解であっても、そのガロア拡大が非可解型のホフ・ガロア構造をもつことは可能か？
• RQ4 ホフ・ガロア構造において、$ \Gamma $ と $ G $ の組成因子が必ず一致するのか？
• RQ5 有限非アーベル単純群 $ G $ に対して、素数べき位数の部分群 $ H $ がホフ・ガロア構造を $ \Gamma = H \times J $ に導くために満たすべき群論的条件は何か？

主な発見

• 型群 $ G $ が冪零であるならば、ハル $ p' $-部分群理論によりガロア群 $ \Gamma $ は可解でなければならない。
• ガロア群 $ \Gamma $ がアーベル群であるならば、型群 $ G $ は可解である。この結果は、有限単純群の分類および非アーベル単純群におけるアーベル部分群のサイズに関する上限に依存する。
• 可解なガロア群 $ \Gamma $ をもつガロア拡大が、非可解型のホフ・ガロア構造をもつ例が存在する。これは、$ \Gamma $ と $ G $ が異なる組成因子をもつ可能性があることを示している。
• 有限非アーベル単純群 $ G $ が素数べき位数 $ p^a $ の部分群 $ H $ をもつとき、$ \Gamma = H \times J $（$ J $ はシローバー $ p $-部分群）であるガロア拡大が存在し、型 $ G $ のホフ・ガロア構造をもつ。
• $ G = \mathrm{PSU}_4(2) $ の場合、行列 $ A $ と $ B $ を用いた明示的構成により、位数27の正則部分群 $ J $ が構成され、$ J $ が27個の最大自己的部分空間の集合に正則に作用することが示された。
• このような正則部分群の構成により、ガロア群がハル $ p' $-部分群とシローバー $ p $-部分群の直積である場合でも、非アーベル型のホフ・ガロア構造が存在することを確認した。