[논문 리뷰] Galois groups of symmetric sextic trinomials

Alberto Cavallo|arXiv (Cornell University)|2019. 02. 03.

Finite Group Theory Research참고 문헌 2인용 수 5

한 줄 요약

이 논문은 특성 2가 아닌 체 K 위에서 기약적이고 분리 가능한 6차 삼항식 $ 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$.

연구 동기 및 목표

• 특성 $\neq 2$ 인 체 $ K $ 위에서 다항식 $ f(x) = x^6 + ax^3 + b $의 분해체 $ F $의 갈루아 군을 결정하는 것.
• 삼차 단위근이 $ K $에 속해 있는지 여부에 따라 갈루아 군을 분류하여 두 주요 케이스로 나누는 것.
• 기본체 $ K $가 유한체일 경우 $ f(x) $의 기약성 기준을 제공하는 것.
• 분해체 $ F $의 가능한 모든 부분체를 나열하여 완전한 부분체 레이스터를 제공하는 것.

제안 방법

• 분해체 $ F $의 잠재적 해를 분석하고, 그의 잠재적 다항식과 근의 구조를 연구함으로써 $ f(x) = x^6 + ax^3 + b $를 분석한다.
• 삼차 단위근 $ \mu_3 \subseteq K $ 여부에 따라 경우를 구분하며, 이는 갈루아 군의 구조에 영향을 미친다.
• 갈루아 이론을 적용하여 근의 작용을 분석함으로써 갈루아 군을 계산한다. 특히 6차 삼항식의 대칭성에 초점을 맞춘다.
• 다항식 $ f(x) $가 $ y = x^3 $의 치환을 통해 3차 다항식으로 간소화될 수 있음을 이용하여, 3차 잠재적 다항식의 갈루아 군을 연구함으로써 문제를 단순화한다.
• 체의 확장 이론과 근에 대한 군 작용을 활용하여 $ S_6 $, $ A_6 $ 및 다양한 비기약 부분군을 포함한 모든 가능한 갈루아 군을 분류한다.
• 갈루아 대응을 통해 중간 체의 격자를 분석함으로써 $ F $의 모든 부분체를 명시적으로 구성한다.

실험 결과

연구 질문

• RQ1 특성 2가 아닌 체 $ K $ 위에서 삼차 단위근을 포함하는 경우, 다항식 $ f(x) = x^6 + ax^3 + b $의 분해체 $ F $의 갈루아 군은 무엇인가?
• RQ2 특성 2가 아닌 체 $ K $가 삼차 단위근을 포함하지 않을 경우 갈루아 군은 어떻게 변화하는가?
• RQ3 유한체 $ K $ 위에서 $ f(x) = x^6 + ax^3 + b $가 기약임을 판별하는 기준은 무엇인가?
• RQ4 분해체 $ F $의 가능한 모든 부분체는 무엇이며, 갈루아 대응을 통해 어떻게 관련되어 있는가?

주요 결과

• $ f(x) = x^6 + ax^3 + b $의 갈루아 군은 삼차 단위근이 $ K $에 포함되는지 여부에 따라 특정 $ S_6 $의 부분군과 동형임을 밝혀냈다.
• 삼차 단위근이 $ K $에 포함되어 있을 경우 갈루아 군은 $ (\mathbb{Z}/3\mathbb{Z}) \rtimes S_3 $의 부분군과 동형이며, 이는 삼항식의 대칭성에 기인한다.
• 삼차 단위근이 $ K $에 포함되어 있지 않을 경우 갈루아 군은 $ S_3 \times S_3 $의 부분군과 동형이며, 이는 6차 다항식이 확장체 위에서 두 개의 3차 다항식으로 분해되기 때문이다.
• 유한체 $ K $ 위에서 $ f(x) $의 기약성에 대한 기준을 제시하였으며, 이는 유리수 근이 존재하지 않으며 관련 3차 잠재적 다항식이 기약임을 기반으로 한다.
• 분해체 $ F $의 모든 부분체 목록이 명시적으로 구성되었으며, 모든 중간체와 그 갈루아 이론적 관계가 드러났다.
• 논문은 갈루아 군이 $ a $와 $ b $에 대한 특정 조건을 만족할 경우에만 근에 대해 추이적으로 작용하며, 군의 구조가 기본체 $ K $에 의해 결정된다는 것을 입증하였다.