[论文解读] When is the multiplicative group of a field indecomposable?

Sunil K. Chebolu, Keir Lockridge|arXiv (Cornell University)|Jul 13, 2014

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

一句话总结

本文对乘法群不可分解的有限域和有限交换环进行了分类——即无法表示为非平凡子群直积的群。利用初等群论与卡塔兰猜想，证明了乘法群不可分解的有限域为满足 $ q-1 $ 是素数幂（包括费马素数与梅森素数）的 $ \mathbb{F}_q $。对于特征 $ \neq 2 $ 的无限域，其乘法群总是可分解的，并且给出了有限交换环中单位群不可分解的完整分类。

ABSTRACT

The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as a corollary to Catalan's Conjecture. Turning to infinite fields, we prove that any infinite field whose characteristic is not equal to 2 must have a decomposable multiplicative group. We conjecture that this is also true for infinite fields of characteristic 2 and we narrow the class of possible counter-examples. Finally, using the classification of finite commutative primary rings with cyclic multiplicative groups, we determine all finite commutative rings with indecomposable multiplicative groups.

研究动机与目标

• 确定哪些有限域的乘法群不可分解。
• 将分类结果扩展至无限域，特别是特征不等于 2 的无限域。
• 对所有乘法群单位不可分解的有限交换环进行分类。
• 利用已知的单位群为循环群的环的分类结果，推导出单位群不可分解的环的完整列表。

提出的方法

• 应用有限交换群的结构定理，分析阶为 $ p^r - 1 $ 的循环群何时不可分解。
• 使用初等数论求解 $ p^r - 1 = q^n $ 的素数幂解，区分费马素数与梅森素数的情形。
• 作为推论，应用卡塔兰猜想（由米哈伊列斯库证明）以简化 $ p^r - 1 = q^n $ 的解的分类。
• 利用有限交换环可分解为局部阿廷环直积的性质，将问题约化至主环情形。
• 利用皮尔逊与施耐德（1970 年）对单位群为循环群的有限交换主环的分类结果。
• 通过检查候选环中是否存在非平凡幂等元，并确认单位群结构，验证不可分解性。

实验结果

研究问题

• RQ1 对于哪些有限域，其乘法群不可分解？
• RQ2 能否从卡塔兰猜想推导出有限域中乘法群不可分解的分类？
• RQ3 每个特征不等于 2 的无限域的乘法群是否都是可分解的？
• RQ4 哪些有限交换环的单位群不可分解？
• RQ5 乘法群单位不可分解的有限交换不可分解环的完整列表是什么？

主要发现

• 有限域 $ \mathbb{F}_q $ 的乘法群不可分解当且仅当 $ q-1 $ 是素数幂，包括 1。
• 乘法群不可分解的有限域为 $ \mathbb{F}_2 $、$ \mathbb{F}_9 $、费马素数 $ p $ 对应的 $ \mathbb{F}_p $，以及 $ q-1 $ 为梅森素数的 $ \mathbb{F}_q $。
• 任何特征不等于 2 的无限域的乘法群都是可分解的。
• 唯一乘法群单位不可分解的有限交换环是 $ \mathbb{Z}_2 $ 与八个特定不可分解环中的恰好一个的直积。
• 这八个不可分解环为：$ \mathbb{F}_2 $、$ \mathbb{F}_9 $、费马素数 $ p $ 对应的 $ \mathbb{F}_p $、梅森素数 $ q $ 对应的 $ \mathbb{F}_q $、$ \mathbb{Z}_4 $、$ \mathbb{F}_2[x]/(x^2) $、$ \mathbb{F}_2[x]/(x^3) $，以及 $ \mathbb{Z}_4[x]/(2x, x^2-2) $。
• 这八个环作为环都是不可分解的，且其单位群的阶为素数幂或平凡阶。