[论文解读] Galois groups of symmetric sextic trinomials

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

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

一句话总结

该论文确定了在特征不为2的域 $ K $ 上，不可约且可分的六次三项式 $ f(x) = x^6 + ax^3 + b $ 的分裂域 $ F $ 的伽罗瓦群，根据 $ 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$.

研究动机与目标

• 确定多项式 $ f(x) = x^6 + ax^3 + b $ 在特征不为2的域 $ K $ 上的分裂域 $ F $ 的伽罗瓦群。
• 根据 $ K $ 是否包含单位根的立方根来分类伽罗瓦群，区分两种主要情形。
• 为当 $ K $ 为有限域时 $ f(x) $ 的不可约性提供判别准则。
• 枚举分裂域 $ F $ 的所有可能子域，提供完整的子域格结构。

提出的方法

• 通过研究其预解式和根结构，分析多项式 $ f(x) = x^6 + ax^3 + b $ 的分裂域 $ F $。
• 根据 $ K $ 是否包含单位根的立方根 $ \mu_3 $ 来区分情形，因为这会影响伽罗瓦群的结构。
• 应用伽罗瓦理论，通过分析 $ f(x) $ 的根上的作用来计算伽罗瓦群，特别关注六次三项式的对称性。
• 利用 $ f(x) $ 是一个通过代换 $ y = x^3 $ 可约化为三次预解式的六次多项式这一事实，将问题转化为研究三次预解式的伽罗瓦群。
• 运用域扩张理论和根上的群作用，对所有可能的伽罗瓦群进行分类，包括 $ S_6 $、$ A_6 $ 以及各种非本原子群。
• 通过伽罗瓦对应分析中间域的格结构，构建 $ F $ 的所有子域的完整列表。

实验结果

研究问题

• RQ1 当域 $ K $ 的特征不为2且包含单位根的立方根时，多项式 $ f(x) = x^6 + ax^3 + b $ 的分裂域 $ F $ 的伽罗瓦群是什么？
• RQ2 当 $ K $ 不包含单位根的立方根时，伽罗瓦群如何变化？
• RQ3 什么判别准则可确定 $ f(x) = x^6 + ax^3 + b $ 在有限域 $ K $ 上不可约？
• RQ4 分裂域 $ F $ 的所有可能子域是什么？它们通过伽罗瓦对应如何相互关联？

主要发现

• 确定了 $ f(x) = x^6 + ax^3 + b $ 的伽罗瓦群同构于 $ S_6 $ 的特定子群，具体取决于 $ K $ 是否包含单位根的立方根。
• 当 $ K $ 包含单位根的立方根时，伽罗瓦群同构于 $ (\mathbb{Z}/3\mathbb{Z}) \rtimes S_3 $ 的子群，反映了该三项式的对称性。
• 当 $ K $ 不包含单位根的立方根时，伽罗瓦群同构于 $ S_3 \times S_3 $ 的子群，这是由于在扩张上六次多项式分解为两个三次多项式所致。
• 为有限域 $ K $ 上 $ f(x) $ 的不可约性提供了判别准则，基于无有理根以及关联三次预解式不可约。
• 显式构造了 $ F $ 的所有子域的完整列表，展示了所有中间域及其伽罗瓦理论关系。
• 该论文证明伽罗瓦群仅在 $ a $ 和 $ b $ 满足特定条件时在根上作用传递，且群结构对基域 $ K $ 极其敏感。