[논문 리뷰] Galois Module Structure of $p$th-Power Classes of Extensions of Degree p

Ján Mináč, John Swallow|ArXiv.org|2002. 02. 21.

Rings, Modules, and Algebras인용 수 4

한 줄 요약

이 논문은 $F$가 $p$차근의 원시근을 포함하고 특성 $p$가 아닌 체일 때, 차수 $p$인 순환 확장 $K/F$에 대해 $p$제곱류의 군 $J = K^\times / K^{\times p}$의 갈로아 모듈 구조를 결정한다. 쿠머 이론, 힐베르트의 정리 90, 그리고 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$ 위에서의 선형대수를 사용하여, $J$가 노름부분군 $N(K^\times)$, $\xi_p$가 $N(K^\times)$에 포함되어 있는지 여부, 그리고 $F^\times / N(K^\times)$의 구조에 의해 결정되는 불가약 모듈의 직합으로 유일하게 분해됨을 보이며, 홀수 $p$와 $p=2$에 대해 완전한 분류를 제공한다. 주요 기여는 기저 체와 확장의 불변량을 이용한 갈로아 모듈 구조의 완전하고 명시적이며 기본적인 기술이다.

ABSTRACT

For fields F of characteristic not p containing a primitive $p$th root of unity, we determine the Galois module structure of the group of $p$th-power classes of K for all cyclic extensions K/F of degree p.

연구 동기 및 목표

• 기저 체 $F$가 원시 $p$제곱근을 포함할 때, 차수 $p$인 순환 확장 $K/F$에 대해 군 $J = K^\times / K^{\times p}$의 갈로아 모듈 구조를 규명하는 것.
• 기저 체와 확장의 불변량을 이용한 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-모듈 구조로서 $J$의 완전하고 명시적인 분류를 제공하는 것.
• 이 구조가 오직 노름부분군 $N(K^\times)$, $\xi_p$가 $N(K^\times)$에 포함되어 있는지 여부, 그리고 몐드 $F^\times / N(K^\times)$에 의존하며, 기본적인 도구만을 사용하여 이를 보이는 것.
• 갈로아 모듈 $J$가 불가약 $\mathbb{F}_p[G]$-모듈의 직합으로 분해되는 것이 유일함을 입증하며, 크룰-슈마이트 정리를 활용하는 것.

제안 방법

• 쿠머 이론을 사용하여 $J = K^\times / K^{\times p}$를 갈로아 코hom로지 군 $H^1(G, \mu_p)$와 동일시함. 여기서 $G = \operatorname{Gal}(K/F)$이다.
• 힐베르트의 정리 90을 적용하여 노름사상 $N: K^\times \to F^\times$와 그 상 $N(K^\times)$를 분석하는 것.
• 순환군 $G = \langle \sigma \rangle$의 차수 $p$를 고려하여, 갈로아 모듈 구조를 $\mathbb{F}_p[G]$ 위에서의 선형대수로 환원하는 것.
• $J$를 세 부분으로 분해하는 것: $X$ (노름부분군에 따라 차원 1 또는 2인 불가약 모듈), $Y$ (자기 모듈 $\mathbb{F}_p[G]$이며 $Y^G = N(J)$인 것), $Z$ (자명한 모듈).
• 노름사상 $N$을 $\mathbb{F}_p[G]$의 원소이자 $G$-준동형사상으로 간주하여 $J$의 구조와 고정부분모듈 $J^G$를 분석하는 것.

실험 결과

연구 질문

• RQ1 기저 체 $F$가 원시 $p$제곱근을 포함할 때, 차수 $p$인 순환 확장 $K/F$에 대해 $J = K^\times / K^{\times p}$의 갈로아 모듈 구조가 어떻게 되는가?
• RQ2 $J$가 $\mathbb{F}_p[G]$-모듈로서의 구조가 노름부분군 $N(K^\times)$와 $\xi_p$가 $N(K^\times)$에 포함되어 있는지 여부에 따라 어떻게 달라지는가?
• RQ3 쿠머 이론과 선형대수의 기본 도구만을 사용하여, $J$가 불가약 $\mathbb{F}_p[G]$-모듈의 직합으로 분해되는 것을 명시적이고 유일하게 기술할 수 있는가?
• RQ4 $F^\times / N(K^\times)$와 $N(K^\times)$의 조건은 $J$가 자유 또는 자명한 합성부분모듈을 포함하는지 결정하는가?

주요 결과

• 홀수 $p$에 대해 $\mathbb{F}_p[G]$-모듈 $J$는 $X \oplus Y \oplus Z$로 분해되며, $\xi_p \in N(K^\times)$이면 $X$의 차원은 1, 그렇지 않으면 2이다; $Y$는 $Y^G = N(J)$인 자유 모듈이며, $Z$는 자명한 모듈이다.
• $p = 2$일 때, $X$는 $-1 \in N(K^\times)$이면 1차원이며, 그렇지 않으면 자명하다; $Y$는 $Y^G = N(J)$인 자유 모듈이며, $Z$는 자명하다.
• 모든 최대 자유 $\mathbb{F}_p[G]$-부분모듈의 랭크는 $N(J)$의 $\mathbb{F}_p$-차원과 같으며, $p > 2$일 때는 $\dim_{\mathbb{F}_p}(F^\times / N(K^\times)) + 2\Upsilon(K)$, $p = 2$일 때는 $\dim_{\mathbb{F}_2}(F^\times / N(K^\times)) + \Upsilon(K)$이다. 여기서 $\Upsilon(K)$는 특정한 $p$-강성 원소의 수를 세는 것이다.
• 갈로아 모듈 $J$가 불가약 $\mathbb{F}_p[G]$-모듈의 직합으로 분해되는 것은 유일하며, 각 순환합성부분모듈은 불가약하고, 그 내적환은 국소환이므로 크룰-슈마이트 정리를 만족한다.
• $J$가 자유 모듈이 되는 것은 $p > 2$일 때 $N(J)$가 자명하고 $\xi_p \in N(K^\times)$이어야 하며, $p = 2$일 때는 $-1 \notin N(K^\times)$여야 하며, $F^\times / N(K^\times)$의 구조에 추가 조건이 필요하다.
• 두 모듈 $J_1$과 $J_2$가 각각 $K_1/F_1$과 $K_2/F_2$에 대해 정의되었을 때, 이들이 $\mathbb{F}_p[G]$-모듈로서 동형일 조건은 $\dim_{\mathbb{F}_p}(F_1^\times / N(K_1^\times)) = \dim_{\mathbb{F}_p}(F_2^\times / N(K_2^\times))$ 이며, $|\mathfrak{K}_2|$가 둘 다 동일해야 한다. 여기서 $\mathfrak{K}_2$는 $F^\times / F^{\times p}$ 내의 $p$-강성 원소를 인덱싱한다.