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.
논문 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 -값 군 이론에 새로운 연구 도구와 관점을 제공하면서 동시에 고전적인 수론 문제와의 깊은 연결을 수립한다. 일부 기술적 세부 사항에서 개선의 여지가 있지만, 그 혁신성과 잠재적 영향력은 이 분야의 중요한 기여로 만든다.