[논문 리뷰] Noether's problem for p_groups with a cyclic subgroup of index p^2

Ming-chang Kang|arXiv (Cornell University)|2009. 11. 06.

Finite Group Theory Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 기저 체 $K$가 원분수 $p^{n-2}$-단위근을 포함하거나 특성 $p$를 가진다면, 순서 $p^n$ ($n \geq 3$)인 비아벨 $p$-군 중에서 지수 $p^2$의 순환부분군을 가지는 경우 노이터의 문제에 대해 유리성 해법이 존재함을 증명한다. 이 결과는 이전에 더 작은 순환부분군을 가진 $p$-군에 대한 연구를 일반화하며, 대칭 유리함수와 원분수 불변량을 이용한 군론적 분류 및 불변체 구성에 의해 유리성을 확립한다.

ABSTRACT

Let $K$ be any field and $G$ be a finite group. Let $G$ act on the rational function field $K(x_g:g\in G)$ by $K$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $K(G)=K(x_g:g\in G)^G$ is rational (=purely transcendental) over $K$. We will prove that if $G$ is a non-abelian $p$-group of order $p^n$ ($n\ge 3$) containing a cyclic subgroup of index $p^2$ and $K$ is any field containing a primitive $p^{n-2}$-th root of unity, then $K(G)$ is rational over $K$. As a corollary, if $G$ is a non-abelian $p$-group of order $p^3$ and $K$ is a field containing a primitive $p$-th root of unity, then $K(G)$ is rational.

연구 동기 및 목표

• 지수 $p^2$의 순환부분군을 가지는 비아벨 $p$-군에 대해 노이터 문제를 해결함으로써, 더 작은 지수를 가진 부분군에 대한 기존 결과를 확장한다.
• 특히 기저 체 $K$가 충분한 원분수를 포함할 경우 고정체 $K(G)$가 $K$ 위에서 유리성이 되는 조건을 확립한다.
• 순서 $p^3$ 및 $p^4$인 $p$-군에 대한 이전 결과를 통합하여 더 넓은 군의 범주에 걸쳐 유리성 증명을 일반화한다.
• 지수 $p^2$의 순환부분군을 가진 $p$-군의 체계적 분류와 케이스별 분석을 수행하며, 군의 구조와 유리함수체 위에서의 군 작용을 활용한다.

제안 방법

• Ninomiya의 분류를 이용하여 순서 $p^n$ ($n \geq 3$)인 비아벨 $p$-군 중에서 지수 $p^2$의 순환부분군을 가지는 모든 군을 분류한다.
• 특히 $G$가 유리함수체 $K(x_g : g \in G)$ 위에서 $g \cdot x_h = x_{gh}$ 방식으로 작용하는 불변량 이론의 유리성 기준을 적용한다.
• 문제를 더 작은 유리부체로 줄이기 위해 보조 불변량 $u_i = x_{2i}/x_{2i-2}$ 및 $v_i = (1 - u_i)/(1 + u_i)$를 구성한다.
• 유한군 작용의 고정체에 관한 정리들(예: 정리 2.2, 2.3, 2.5)을 활용하여, 기저 체 $K$가 원분수 $p^{n-2}$-단위근을 포함할 경우 고정체 $K(G)$가 $K$ 위에서 유리성이 됨을 보인다.
• 분류된 18개의 군에 대해 케이스별 분석을 수행하며, 대칭성과 변환 불변성에 의해 모든 경우를 세 가지 유형의 일반적인 패턴으로 환원한다.
• 생성자 $\sigma$, $\tau$, $\lambda$의 작용을 이용해 불변량의 변환 방식을 분석하고, 순차적 체 확장과 대칭함수의 축소를 통해 유리성을 증명한다.

실험 결과

연구 질문

• RQ1 지수 $p^2$의 순환부분군을 가지는 비아벨 $p$-군의 순서가 $p^n$ ($n \geq 3$)인 경우 노이터 문제에 대해 양의 해법이 존재하는가?
• RQ2 특히 원분수에 대한 조건이 있을 경우 고정체 $K(G)$가 $K$ 위에서 유리성이 되는 필드 이론적 조건은 무엇인가?
• RQ3 불변량 이론 기법을 통해 이러한 모든 $p$-군에 대해 $K(G)$의 유리성을 통일적으로 확립할 수 있는가?
• RQ4 지수 $p^2$의 순환부분군의 존재는 고정체 $K(G)$의 구조와 그 유리성에 어떤 영향을 미치는가?
• RQ5 지수 $p$를 가진 부분군을 가진 군에 대해 사용된 증명 전략을 지수 $p^2$의 경우로 확장할 수 있는가?

주요 결과

• 기저 체 $K$가 원분수 $p^{n-2}$-단위근을 포함한다면, 순서 $p^n$ ($n \geq 3$)인 비아벨 $p$-군 $G$에 대해 고정체 $K(G)$는 $K$ 위에서 유리성이 된다.
• 이 결과는 지수 $p$의 순환부분군을 가진 군에만 적용되던 정리 1.7을 더 넓은 지수 $p^2$ 군의 범주로 일반화한다.
• 순서 $p^3$인 $p$-군에 대해 이 결과는 $K$가 원분수 $p$-단위근을 포함할 경우 $K(G)$가 $K$ 위에서 유리성이 됨을 시사한다.
• 이 증명은 이러한 군의 18개의 동형류에 대한 케이스별 분석에 기반하며, 모든 경우는 군 작용 하에서 세 가지 일반적인 변환 패턴으로 환원된다.
• 정리 2.2, 2.3, 2.5를 통해 확인된 바와 같이, $K(G)$의 유리성은 대칭 유리함수의 고정체의 유리성으로 환원된다.
• 불변량 $u_i$ 및 $v_i$의 구성은 군 작용을 다룰 수 있는 형태로 줄여내어 기존의 유리성 기준을 적용할 수 있도록 한다.