The article presents results on the well-known problem concerning the structure of integer polynomials $p_n(z; x, y)$, which define multiplication laws in $n$-valued groups $\mathbb{G}_n$ over the field of complex numbers $\mathbb{C}$. We show that the $n$-valued multiplication in the group $\mathbb{G}_n$ is realized in terms of the eigenvalues of the Kronecker sum of companion Frobenius matrices for polynomials of the form $t^n - x$ in the variable $t$. The notion of a Wendt $(x, y, z)$-matrix is introduced. When $x = (-1)^n$, $y = z = 1$, one recovers the classical Wendt matrix, whose determinant is used in number theory in connection with Fermat's Last Theorem. It is shown that for each positive integer $n$, the polynomial $p_n$ is given by the determinant of a Wendt $(x, y, z)$-matrix. Iterations of the $n$-valued multiplication in the group $\mathbb{G}_n$ lead to polynomials $p_n(z; x_1, \dots, x_m)$. We prove the irreducibility of the polynomial $p_n(z; x_1, \dots, x_m)$ over various fields. For each $n$, we introduce the notion of classes of symmetric $n$-algebraic $n$-valued groups. The group $\mathbb{G}_n$ belongs to one of these classes. For $n = 2, 3$, a description of the universal objects of these classes is obtained.
n n n -Valued Groups, Kronecker Sums, and Wendt's Matrices论文ID : 2505.04296标题 : n n n -Valued Groups, Kronecker Sums, and Wendt's Matrices作者 : Victor Buchstaber, Mikhail Kornev分类 : math.GR (群论), math.NT (数论)发表时间 : 2025年5月 (arXiv版本2,2025年10月14日修订)论文链接 : https://arxiv.org/abs/2505.04296 本文研究了定义复数域上n n n -值群G n G_n G n 乘法律的整系数多项式p n ( z ; x , y ) p_n(z; x, y) p n ( z ; x , y ) 的结构问题。作者证明了G n G_n G n 中的n n n -值乘法可以通过形如t n − x t^n - x t n − x 的多项式对应的伴随Frobenius矩阵的Kronecker和的特征值来实现。文章引入了Wendt ( x , y , z ) (x, y, z) ( x , y , z ) -矩阵的概念,当x = ( − 1 ) n x = (-1)^n x = ( − 1 ) n , y = z = 1 y = z = 1 y = z = 1 时,可以恢复经典的Wendt矩阵,其行列式在数论中与费马大定理相关。作者证明了对于每个正整数n n n ,多项式p n p_n p n 可以表示为Wendt ( x , y , z ) (x, y, z) ( x , y , z ) -矩阵的行列式。G n G_n G n 中n n n -值乘法的迭代导致多项式p n ( z ; x 1 , … , x m ) p_n(z; x_1, \ldots, x_m) p n ( z ; x 1 , … , x m ) ,文章证明了这些多项式在各种域上的不可约性。
n n n -值群理论起源于1971年Buchstaber和Novikov在特征类理论框架下提出的构造。在n n n -值群中,任意两个元素的乘积是一个包含n n n 个点的多重集合,这种结构在多个数学领域有重要应用:
代数几何 : 与椭圆曲线的加法定理相关数论 : 与费马大定理和Wendt矩阵相关可积系统 : 在多值离散动力学中的应用表示论 : 与群表示的张量积分解相关文章的主要动机包括:
结构问题 : 理解定义n n n -值群乘法的多项式p n ( z ; x , y ) p_n(z; x, y) p n ( z ; x , y ) 的系数结构矩阵实现 : 通过线性代数方法(Kronecker和、Frobenius矩阵)来刻画n n n -值乘法数论联系 : 建立与经典Wendt矩阵和费马大定理的联系不可约性 : 研究相关多项式在不同域上的不可约性质之前的研究主要集中在低维情况(n ≤ 7 n \leq 7 n ≤ 7 ) 缺乏统一的矩阵理论框架来处理一般的n n n -值群 对多项式系数的数论性质理解不够深入 建立了n n n -值群与Kronecker和的联系 : 证明了G n G_n G n 中的n n n -值乘法可以通过Frobenius伴随矩阵的Kronecker和的特征值来实现引入Wendt ( x , y , z ) (x,y,z) ( x , y , z ) -矩阵 : 推广了经典的Wendt矩阵,建立了与n n n -值群多项式的直接联系证明了多项式的不可约性 : 在复数域和有理数域等多个域上证明了p n ( z ; x 1 , … , x m ) p_n(z; x_1, \ldots, x_m) p n ( z ; x 1 , … , x m ) 的不可约性分类了对称n n n -代数n n n -值群 : 对n = 2 , 3 n=2,3 n = 2 , 3 的情况给出了完整的分类和通用对象的描述建立了与判别式的联系 : 证明了Wendt矩阵的行列式可以表示为某些多项式的判别式提供了数论应用 : 利用Wolstenholme定理证明了多项式系数的整除性质研究n n n -值群G n G_n G n 上的乘法运算:
x ∗ y = [ ( x n + ε r y n ) n ∣ r = 1 , … , n ] x \ast y = [(\sqrt[n]{x} + \varepsilon^r \sqrt[n]{y})^n | r = 1, \ldots, n] x ∗ y = [( n x + ε r n y ) n ∣ r = 1 , … , n ]
其中ε \varepsilon ε 是n n n 次本原单位根,目标是理解定义此乘法的多项式p n ( z ; x , y ) p_n(z; x, y) p n ( z ; x , y ) 的结构。
定理 : n n n -值乘法可以通过Kronecker和实现:
p n ( z n ; x , y ) = χ ( F ( 0 , … , 0 , ( − 1 ) n + 1 x ) ⊕ F ( 0 , … , 0 , ( − 1 ) n + 1 y ) ; z ) p_n(z^n; x, y) = \chi(F(0, \ldots, 0, (-1)^{n+1}x) \oplus F(0, \ldots, 0, (-1)^{n+1}y); z) p n ( z n ; x , y ) = χ ( F ( 0 , … , 0 , ( − 1 ) n + 1 x ) ⊕ F ( 0 , … , 0 , ( − 1 ) n + 1 y ) ; z )
其中F F F 是Frobenius伴随矩阵,⊕ \oplus ⊕ 是Kronecker和。
定义Wendt ( x , y , z ) (x,y,z) ( x , y , z ) -矩阵为y y y -循环矩阵:
Circ y ( w n + ( − 1 ) n + 1 x + y , ( n 1 ) w , … , ( n n − 1 ) w n − 1 ) \text{Circ}_y\left(w^n + (-1)^{n+1}x + y, \binom{n}{1}w, \ldots, \binom{n}{n-1}w^{n-1}\right) Circ y ( w n + ( − 1 ) n + 1 x + y , ( 1 n ) w , … , ( n − 1 n ) w n − 1 )
主要定理 :
p n ( z ; x , y ) = det ( Wendt ( x , y , z ) -矩阵 ) p_n(z; x, y) = \det(\text{Wendt}(x,y,z)\text{-矩阵}) p n ( z ; x , y ) = det ( Wendt ( x , y , z ) - 矩阵 )
对于n = 2 n=2 n = 2 的情况:
定理1 : 通用对称2-代数2-值群由系数环C [ k 2 , k 4 , k 6 ] \mathbb{C}[k_2, k_4, k_6] C [ k 2 , k 4 , k 6 ] 上的多项式族定义:
P 2 ( z ; x , y ) = σ 1 2 − 4 σ 2 + 2 k 2 σ 3 + ( k 4 2 − k 6 k 2 ) σ 3 2 + 2 k 4 σ 1 σ 3 + 2 k 6 σ 2 σ 3 P_2(z; x, y) = \sigma_1^2 - 4\sigma_2 + 2k_2\sigma_3 + (k_4^2 - k_6k_2)\sigma_3^2 + 2k_4\sigma_1\sigma_3 + 2k_6\sigma_2\sigma_3 P 2 ( z ; x , y ) = σ 1 2 − 4 σ 2 + 2 k 2 σ 3 + ( k 4 2 − k 6 k 2 ) σ 3 2 + 2 k 4 σ 1 σ 3 + 2 k 6 σ 2 σ 3
对于n = 3 n=3 n = 3 的情况:
定理2 : 存在两类对称3-代数3-值群:
类型(i): k 0 = − 27 k_0 = -27 k 0 = − 27 时,对应群G 3 G_3 G 3 类型(ii): k 0 = 0 k_0 = 0 k 0 = 0 时,对应对角构造 矩阵方法的引入 : 首次系统地使用Kronecker和来刻画n n n -值群结构Wendt矩阵的推广 : 将经典Wendt矩阵推广到参数化形式不可约性的统一证明 : 使用域扩张理论统一处理不可约性问题判别式表示 : 建立了多项式与判别式的新联系使用Wolfram Mathematica进行符号计算 验证了对称性条件和结合律 计算了具体的多项式系数 文章提供了多个具体例子:
例子 : 对于n = 2 , 3 , 4 n=2,3,4 n = 2 , 3 , 4 ,给出了p n p_n p n 的矩阵表示:
p 2 = ∣ w 2 − x + y 2 w y 2 w w 2 − x + y ∣ p_2 = \begin{vmatrix} w^2 - x + y & 2wy \\ 2w & w^2 - x + y \end{vmatrix} p 2 = w 2 − x + y 2 w 2 w y w 2 − x + y
p 3 = ∣ w 3 + x + y 3 y w 3 y w 2 3 w 2 w 3 + x + y 3 y w 3 w 3 w 2 w 3 + x + y ∣ p_3 = \begin{vmatrix}
w^3 + x + y & 3yw & 3yw^2 \\
3w^2 & w^3 + x + y & 3yw \\
3w & 3w^2 & w^3 + x + y
\end{vmatrix} p 3 = w 3 + x + y 3 w 2 3 w 3 y w w 3 + x + y 3 w 2 3 y w 2 3 y w w 3 + x + y
命题8 : 对于素数n ≥ 5 n \geq 5 n ≥ 5 ,多项式p n ( z ; x , y ) − ( x + y + z ) n p_n(z; x, y) - (x + y + z)^n p n ( z ; x , y ) − ( x + y + z ) n 被n 4 x y z n^4xyz n 4 x yz 整除。
证明使用了Wolstenholme定理和组合恒等式。
定理6 : 在满足gcd ( n , e ( k ) ) = 1 \gcd(n, e(k)) = 1 g cd( n , e ( k )) = 1 的域k k k 上,多项式q ( { n i } , { x j } ; z ) q(\{n_i\}, \{x_j\}; z) q ({ n i } , { x j } ; z ) 是不可约的。
定理7 : 在有理数域上,当x 1 , … , x m x_1, \ldots, x_m x 1 , … , x m 是满足特定条件的正整数时,p n ( z ; x 1 , … , x m ) p_n(z; x_1, \ldots, x_m) p n ( z ; x 1 , … , x m ) 是不可约的。
定理8 : Wendt ( x , y , z ) (x,y,z) ( x , y , z ) -矩阵的行列式可以表示为多项式
P x , y , z ( T ) = ( ( − 1 ) n x T n − 1 + ( − 1 ) n y ) ( 1 + T ) n − 1 − T n − 1 z P_{x,y,z}(T) = ((-1)^nxT^{n-1} + (-1)^ny)(1+T)^{n-1} - T^{n-1}z P x , y , z ( T ) = (( − 1 ) n x T n − 1 + ( − 1 ) n y ) ( 1 + T ) n − 1 − T n − 1 z
的判别式。
通过计算发现,p n ( z ; x , y ) p_n(z; x, y) p n ( z ; x , y ) 在基本对称多项式基下的系数中出现任意大的素因子,展现了丰富的数论结构。
文章给出了p 18 ( z ; x , y ) p_{18}(z; x, y) p 18 ( z ; x , y ) 的完整展开,显示了系数的复杂素因数分解,例如:
( 5 , 0 , 1 ) → − 2 ⋅ 8 ⋅ 3 ⋅ 67 (5,0,1) \rightarrow -2 \cdot 8 \cdot 3 \cdot 67 ( 5 , 0 , 1 ) → − 2 ⋅ 8 ⋅ 3 ⋅ 67 ( 15 , 0 , 1 ) → − 2 13 ⋅ 5 ⋅ 4 ⋅ 3 ⋅ 12 ⋅ 9 ⋅ 31 ⋅ 133 ⋅ 391 (15,0,1) \rightarrow -2^{13} \cdot 5 \cdot 4 \cdot 3 \cdot 12 \cdot 9 \cdot 31 \cdot 133 \cdot 391 ( 15 , 0 , 1 ) → − 2 13 ⋅ 5 ⋅ 4 ⋅ 3 ⋅ 12 ⋅ 9 ⋅ 31 ⋅ 133 ⋅ 391 Buchstaber-Novikov (1971) : 首次引入n n n -值群概念Buchstaber系列工作 : 发展了n n n -值群的代数理论Wendt (1984) : 在费马大定理研究中引入Wendt矩阵近期发展 : 与可积系统、表示论的联系形式群理论 : 2-值形式群的分类椭圆曲线理论 : 与椭圆函数加法定理的联系组合代数 : 与多值对合群的关系Bessel核理论 : 与Picard-Fuchs方程的联系建立了n n n -值群理论与线性代数(Kronecker和)的深刻联系 推广了经典Wendt矩阵,建立了与费马大定理的新联系 证明了相关多项式的不可约性,为域论提供了新例子 为对称n n n -代数n n n -值群提供了分类框架 完整分类仅对n = 2 , 3 n=2,3 n = 2 , 3 给出,更高维情况仍然开放 多项式系数的精确数论性质还需进一步研究 与其他数学分支的联系还有待探索 更高维分类 : 完成n ≥ 4 n \geq 4 n ≥ 4 的对称n n n -代数n n n -值群分类计算方法 : 发展更有效的计算p n p_n p n 系数的算法应用拓展 : 探索在密码学、编码理论中的应用几何实现 : 寻找更多几何背景下的n n n -值群例子理论深度 : 建立了多个数学分支之间的深刻联系方法创新 : Kronecker和方法为n n n -值群理论提供了新工具计算验证 : 提供了丰富的计算例子和验证应用广泛 : 连接了群论、数论、线性代数等多个领域技术复杂 : 某些证明过度依赖计算机验证完整性 : 高维情况的分类还不完整应用局限 : 实际应用场景还需进一步开发理论贡献 : 为n n n -值群理论提供了新的研究框架方法价值 : Kronecker和方法可能在其他代数结构中有应用数论意义 : 推广了Wendt矩阵理论,可能对费马大定理研究有帮助代数几何中的群作用研究 数论中的丢番图方程研究 可积系统中的离散动力学 组合数学中的对称函数理论 论文包含45篇参考文献,涵盖了从经典的群论、数论著作到最新的研究成果,主要包括:
Buchstaber的n n n -值群理论系列工作 Wendt关于费马大定理的研究 Horn & Johnson的矩阵理论经典教材 近期关于Bessel核和Kontsevich多项式的研究 这篇论文在理论上具有重要价值,为n n n -值群理论提供了新的研究工具和视角,同时建立了与经典数论问题的深刻联系。虽然在某些技术细节上还有待完善,但其创新性和潜在影响力使其成为该领域的重要贡献。