[論文レビュー] Galois groups of symmetric sextic trinomials

Alberto Cavallo|arXiv (Cornell University)|Feb 3, 2019

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

ひとこと要約

本稿は、2でない特性を持つ体 $ K $ 上の非可約で分離的6次三項式 $ f(x) = x^6 + ax^3 + b $ の分解体 $ F $ のガロア群を決定する。立方根の1乗根が $ K $ に含まれるかどうかに基づいて場合分けを行う。主な貢献は、ガロア群の完全な分類と、$ F $ が有限体である場合の既約性に関する基準を含む、$ F $ のすべての部分体の完全なリストの提供である。

ABSTRACT

We compute the Galois group of the splitting field $ F$ of any irreducible and separable polynomial $f(x)=x^6+ax^3+b$ with $a,b\in K$, a field with characteristic different from two. The proofs require to distinguish between two cases: whether or not the cubic roots of unity belong to $K$. We also give a criterion to determine whether a polynomial as $f(x)$ is irreducible, when $F$ is a finite field. Moreover, at the end of the paper we also give a complete list of all the possible subfields of $F$.

研究の動機と目的

• 体 $ K $ に対して $ \text{char}(K) \neq 2 $ を満たす $ f(x) = x^6 + ax^3 + b $ の分解体 $ F $ のガロア群を特定すること。
• 立方根の1乗根が $ K $ に含まれるかどうかに応じてガロア群を分類し、2つの主要な場合に分けること。
• $ K $ が有限体である場合に $ f(x) $ が既約であるかどうかを特定する基準を提供すること。
• 分解体 $ F $ のすべての可能な部分体を列挙し、完全な部分体ラティスを提示すること。

提案手法

• $ f(x) = x^6 + ax^3 + b $ の分解体 $ F $ を、その解の構造と準同型多項式を分析することで調べる。
• 立方根の1乗根 $ \mu_3 \subseteq K $ かどうかに応じて場合を分ける。これはガロア群の構造に影響を与える。
• ガロア理論を用いて、$ f(x) $ の根に対する作用を分析することでガロア群を計算する。特に、6次三項式の対称性に注目する。
• $ f(x) $ が $ y = x^3 $ という3次置換を含む6次多項式であることに着目し、問題を3次準同型多項式のガロア群の研究に還元する。
• 体の拡張理論と根への群作用を用いて、$ S_6 $、$ A_6 $、およびさまざまな非推移的部分群を含む、すべての可能なガロア群を分類する。
• ガロア対応を用いて中間体の族を分析することで、$ F $ のすべての部分体の完全なリストを構成する。

実験結果

リサーチクエスチョン

• RQ1 体 $ K $ が立方根の1乗根を含む場合、$ f(x) = x^6 + ax^3 + b $ の分解体 $ F $ のガロア群はどのように特定されるか？
• RQ2 $ K $ が立方根の1乗根を含まない場合、ガロア群はどのように変化するか？
• RQ3 $ K $ が有限体である場合、$ f(x) = x^6 + ax^3 + b $ が既約であるかどうかを特定する基準は何か？
• RQ4 分解体 $ F $ のすべての可能な部分体は何か？また、ガロア対応によってそれらはどのように関係しているか？

主な発見

• $ f(x) = x^6 + ax^3 + b $ のガロア群は、$ K $ に立方根の1乗根が含まれるかどうかに応じて、特定の $ S_6 $ の部分群に同型であることが特定された。
• $ K $ が立方根の1乗根を含む場合、ガロア群は $ (\mathbb{Z}/3\mathbb{Z}) \rtimes S_3 $ の部分群に同型であり、三項式の対称性を反映している。
• $ K $ が立方根の1乗根を含まない場合、ガロア群は $ S_3 \times S_3 $ の部分群に同型であり、6次式が拡張上で2つの3次式に分解されることに起因する。
• 有限体 $ K $ 上での $ f(x) $ の既約性に関する基準が提示され、それは有理数解の非存在と関連する3次準同型多項式の既約性に基づく。
• $ F $ のすべての部分体の完全なリストが明示的に構成され、すべての中間体とそれらのガロア理論的関係が示された。
• 本稿は、$ a $ と $ b $ に特定の条件が満たされる場合に限り、ガロア群が根に推移的に作用することを確立した。また、群の構造は、基本体 $ K $ に強く依存していることが判明した。