[论文解读] Noether's problem for p_groups with a cyclic subgroup of index p^2

Ming-chang Kang|arXiv (Cornell University)|Nov 6, 2009

Finite Group Theory Research参考文献 12被引用 3

一句话总结

该论文证明了，对于阶为 $p^n$（$n \geq 3$）的非交换 $p$-群，若其含有一个指数为 $p^2$ 的循环子群，则在基域 $K$ 包含一个本原 $p^{n-2}$-次单位根或特征为 $p$ 的条件下，诺特问题具有正向的有理性解。该结果推广了此前对具有更小循环子群的 $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^2$ 的循环子群的非交换 $p$-群进行分类。
• 应用不变量理论中的有理性判别准则，特别关注 $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^n$（$n \geq 3$）且含有指数为 $p^2$ 的循环子群的非交换 $p$-群，诺特问题是否具有正向解？
• RQ2 在哪些域论条件下（尤其是关于单位根）固定域 $K(G)$ 在 $K$ 上有理？
• RQ3 能否使用不变量理论方法，在所有此类 $p$-群上统一建立 $K(G)$ 的有理性？
• RQ4 指数为 $p^2$ 的循环子群的存在如何影响固定域 $K(G)$ 的结构及其有理性？
• RQ5 此前针对指数为 $p$ 的循环子群的群所采用的证明策略，能否推广至指数为 $p^2$ 的情形？

主要发现

• 对于任意阶为 $p^n$（$n \geq 3$）且含有指数为 $p^2$ 的循环子群的非交换 $p$-群 $G$，若基域 $K$ 包含一个本原 $p^{n-2}$-次单位根，则固定域 $K(G)$ 在 $K$ 上有理。
• 该结果推广了定理 1.7，后者仅适用于具有指数为 $p$ 的循环子群的群，将其推广至更广义的指数 $p^2$ 群类。
• 对于阶为 $p^3$ 的 $p$-群，该结果表明：当 $K$ 包含一个本原 $p$-次单位根时，$K(G)$ 在 $K$ 上有理。
• 证明依赖于对 18 种同构类型的此类群的逐案分析，所有情形均可通过群作用下的对称性约化为三种典型变换模式。
• 该方法成功地将 $K(G)$ 的有理性问题约化为对称有理函数固定域的有理性问题，经由定理 2.2、2.3 和 2.5 得到验证。
• 通过构造不变量 $u_i$ 和 $v_i$，可将群作用简化为可处理的形式，从而可应用已知的有理性判别准则。