2025-11-16T09:01:12.425008

$n$-Valued Groups, Kronecker Sums, and Wendt's Matrices

Buchstaber, Kornev
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.
academic

nn-Значные группы, суммы Кронекера и матрицы Вендта

Основная информация

  • ID статьи: 2505.04296
  • Название: nn-Значные группы, суммы Кронекера и матрицы Вендта
  • Авторы: Виктор Бухштабер, Михаил Корнев
  • Классификация: math.GR (теория групп), math.NT (теория чисел)
  • Время публикации: май 2025 г. (версия 2 arXiv, пересмотрена 14 октября 2025 г.)
  • Ссылка на статью: https://arxiv.org/abs/2505.04296

Аннотация

В данной статье исследуется структура целочисленных многочленов pn(z;x,y)p_n(z; x, y), определяющих закон умножения nn-значных групп GnG_n над полем комплексных чисел. Авторы доказывают, что nn-значное умножение в GnG_n может быть реализовано через собственные значения сумм Кронекера сопровождающих матриц Фробениуса, соответствующих многочленам вида tn−xt^n - x. В статье вводится понятие матриц Вендта (x,y,z)(x, y, z), которые при x=(−1)nx = (-1)^n, y=z=1y = z = 1 восстанавливают классические матрицы Вендта, определители которых связаны в теории чисел с Великой теоремой Ферма. Авторы доказывают, что для каждого положительного целого числа nn многочлен pnp_n может быть представлен как определитель матрицы Вендта (x,y,z)(x, y, z). Итерация nn-значного умножения в GnG_n приводит к многочленам pn(z;x1,…,xm)p_n(z; x_1, \ldots, x_m), и в статье доказывается неприводимость этих многочленов над различными полями.

Исследовательский фон и мотивация

Предпосылки проблемы

Теория nn-значных групп берёт своё начало в конструкции, предложенной Бухштабером и Новиковым в 1971 году в рамках теории характеристических классов. В nn-значной группе произведение любых двух элементов представляет собой мультимножество, содержащее nn точек. Эта структура имеет важные приложения в нескольких областях математики:

  1. Алгебраическая геометрия: связь с теоремой сложения эллиптических кривых
  2. Теория чисел: связь с Великой теоремой Ферма и матрицами Вендта
  3. Интегрируемые системы: приложения в многозначной дискретной динамике
  4. Теория представлений: связь с разложением тензорных произведений групповых представлений

Исследовательская мотивация

Основные мотивы статьи включают:

  1. Структурные вопросы: понимание структуры коэффициентов многочленов pn(z;x,y)p_n(z; x, y), определяющих умножение в nn-значных группах
  2. Матричная реализация: характеризация nn-значного умножения методами линейной алгебры (суммы Кронекера, матрицы Фробениуса)
  3. Связь с теорией чисел: установление связи с классическими матрицами Вендта и Великой теоремой Ферма
  4. Неприводимость: исследование свойств неприводимости соответствующих многочленов над различными полями

Ограничения существующих методов

  • Предыдущие исследования были сосредоточены главным образом на низкомерных случаях (n≤7n \leq 7)
  • Отсутствовала единая матричная теоретическая база для работы с общими nn-значными группами
  • Недостаточное понимание теоретико-числовых свойств коэффициентов многочленов

Основные вклады

  1. Установление связи между nn-значными группами и суммами Кронекера: доказано, что nn-значное умножение в GnG_n может быть реализовано через собственные значения сумм Кронекера сопровождающих матриц Фробениуса
  2. Введение матриц Вендта (x,y,z)(x,y,z): обобщение классических матриц Вендта с установлением прямой связи с многочленами nn-значных групп
  3. Доказательство неприводимости многочленов: доказана неприводимость pn(z;x1,…,xm)p_n(z; x_1, \ldots, x_m) над полем комплексных чисел, полем рациональных чисел и другими полями
  4. Классификация симметричных nn-алгебраических nn-значных групп: дана полная классификация для случаев n=2,3n=2,3 с описанием универсальных объектов
  5. Установление связи с дискриминантами: доказано, что определители матриц Вендта могут быть представлены как дискриминанты некоторых многочленов
  6. Приложения в теории чисел: использование теоремы Вольстенхольма для доказательства свойств делимости коэффициентов многочленов

Подробное описание методов

Определение задачи

Исследование операции умножения на nn-значной группе GnG_n: x∗y=[(xn+εryn)n∣r=1,…,n]x \ast y = [(\sqrt[n]{x} + \varepsilon^r \sqrt[n]{y})^n | r = 1, \ldots, n] где ε\varepsilon — первообразный корень nn-й степени из единицы. Целью является понимание структуры многочлена pn(z;x,y)p_n(z; x, y), определяющего это умножение.

Основная теоретическая база

1. Реализация через суммы Кронекера

Теорема: nn-значное умножение может быть реализовано через суммы Кронекера: pn(zn;x,y)=χ(F(0,…,0,(−1)n+1x)⊕F(0,…,0,(−1)n+1y);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)

где FF — сопровождающая матрица Фробениуса, ⊕\oplus — сумма Кронекера.

2. Матрицы Вендта (x,y,z)(x,y,z)

Матрица Вендта (x,y,z)(x,y,z) определяется как yy-циклическая матрица: Circy(wn+(−1)n+1x+y,(n1)w,…,(nn−1)wn−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)

Основная теорема: pn(z;x,y)=det⁡(матрица Вендта(x,y,z))p_n(z; x, y) = \det(\text{матрица Вендта}(x,y,z))

3. Классификация симметричных nn-алгебраических nn-значных групп

Для случая n=2n=2: Теорема 1: Универсальная симметричная 2-алгебраическая 2-значная группа определяется семейством многочленов над кольцом коэффициентов C[k2,k4,k6]\mathbb{C}[k_2, k_4, k_6]: P2(z;x,y)=σ12−4σ2+2k2σ3+(k42−k6k2)σ32+2k4σ1σ3+2k6σ2σ3P_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

Для случая n=3n=3: Теорема 2: Существуют два класса симметричных 3-алгебраических 3-значных групп:

  • Тип (i): при k0=−27k_0 = -27, соответствует группе G3G_3
  • Тип (ii): при k0=0k_0 = 0, соответствует диагональной конструкции

Технические инновации

  1. Введение матричных методов: первое систематическое использование сумм Кронекера для характеризации структуры nn-значных групп
  2. Обобщение матриц Вендта: расширение классических матриц Вендта до параметризованной формы
  3. Унифицированное доказательство неприводимости: использование теории расширений полей для единообразной обработки вопросов неприводимости
  4. Представление через дискриминанты: установление новых связей между многочленами и дискриминантами

Экспериментальная установка

Вычислительные инструменты

  • Использование Wolfram Mathematica для символических вычислений
  • Проверка условий симметричности и ассоциативности
  • Вычисление конкретных коэффициентов многочленов

Проверочные примеры

В статье приводятся несколько конкретных примеров:

Пример: Для n=2,3,4n=2,3,4 даны матричные представления pnp_n: p2=∣w2−x+y2wy2ww2−x+y∣p_2 = \begin{vmatrix} w^2 - x + y & 2wy \\ 2w & w^2 - x + y \end{vmatrix}

w^3 + x + y & 3yw & 3yw^2 \\ 3w^2 & w^3 + x + y & 3yw \\ 3w & 3w^2 & w^3 + x + y \end{vmatrix}$$ ### Проверка теоретико-числовых результатов **Предложение 8**: Для простого числа $n \geq 5$ многочлен $p_n(z; x, y) - (x + y + z)^n$ делится на $n^4xyz$. Доказательство использует теорему Вольстенхольма и комбинаторные тождества. ## Результаты экспериментов ### Основные результаты #### 1. Результаты о неприводимости **Теорема 6**: На поле $k$, удовлетворяющем условию $\gcd(n, e(k)) = 1$, многочлен $q(\{n_i\}, \{x_j\}; z)$ неприводим. **Теорема 7**: На поле рациональных чисел, когда $x_1, \ldots, x_m$ — положительные целые числа, удовлетворяющие определённым условиям, многочлен $p_n(z; x_1, \ldots, x_m)$ неприводим. #### 2. Представление через дискриминанты **Теорема 8**: Определитель матрицы Вендта $(x,y,z)$ может быть представлен как дискриминант многочлена $$P_{x,y,z}(T) = ((-1)^nxT^{n-1} + (-1)^ny)(1+T)^{n-1} - T^{n-1}z$$ #### 3. Теоретико-числовые свойства коэффициентов Вычисления показывают, что коэффициенты $p_n(z; x, y)$ в базисе элементарных симметрических многочленов содержат произвольно большие простые делители, демонстрируя богатую теоретико-числовую структуру. ### Конкретные примеры вычислений В статье приводится полное разложение $p_{18}(z; x, y)$, демонстрирующее сложную факторизацию коэффициентов на простые множители, например: - $(5,0,1) \rightarrow -2 \cdot 8 \cdot 3 \cdot 67$ - $(15,0,1) \rightarrow -2^{13} \cdot 5 \cdot 4 \cdot 3 \cdot 12 \cdot 9 \cdot 31 \cdot 133 \cdot 391$ ## Связанные работы ### Историческое развитие 1. **Бухштабер-Новиков (1971)**: первое введение понятия $n$-значных групп 2. **Серия работ Бухштабера**: развитие алгебраической теории $n$-значных групп 3. **Вендт (1984)**: введение матриц Вендта в исследованиях Великой теоремы Ферма 4. **Недавние разработки**: связи с интегрируемыми системами и теорией представлений ### Связанные теории - **Теория формальных групп**: классификация 2-значных формальных групп - **Теория эллиптических кривых**: связь с теоремой сложения эллиптических функций - **Комбинаторная алгебра**: связь с многозначными инволютивными группами - **Теория ядер Бесселя**: связь с уравнениями Пикара-Фукса ## Заключение и обсуждение ### Основные выводы 1. Установлена глубокая связь между теорией $n$-значных групп и линейной алгеброй (суммы Кронекера) 2. Обобщены классические матрицы Вендта, установлены новые связи с Великой теоремой Ферма 3. Доказана неприводимость соответствующих многочленов, предоставлены новые примеры для теории полей 4. Предоставлена классификационная база для симметричных $n$-алгебраических $n$-значных групп ### Ограничения 1. Полная классификация дана только для $n=2,3$, случаи с более высокими размерностями остаются открытыми 2. Точные теоретико-числовые свойства коэффициентов многочленов требуют дальнейшего исследования 3. Связи с другими разделами математики нуждаются в дополнительном изучении ### Направления будущих исследований 1. **Классификация в более высоких размерностях**: завершение классификации симметричных $n$-алгебраических $n$-значных групп для $n \geq 4$ 2. **Вычислительные методы**: разработка более эффективных алгоритмов для вычисления коэффициентов $p_n$ 3. **Расширение приложений**: исследование приложений в криптографии и теории кодирования 4. **Геометрическая реализация**: поиск дополнительных геометрических примеров $n$-значных групп ## Глубокая оценка ### Преимущества 1. **Теоретическая глубина**: установлены глубокие связи между несколькими разделами математики 2. **Методологические инновации**: метод сумм Кронекера предоставляет новый инструмент для теории $n$-значных групп 3. **Вычислительная верификация**: предоставлены обширные вычислительные примеры и проверки 4. **Широкое применение**: связаны теория групп, теория чисел, линейная алгебра и другие области ### Недостатки 1. **Техническая сложность**: некоторые доказательства чрезмерно зависят от компьютерной верификации 2. **Неполнота**: классификация в высоких размерностях остаётся незавершённой 3. **Ограниченность приложений**: практические приложения требуют дальнейшей разработки ### Влияние 1. **Теоретический вклад**: предоставлена новая исследовательская база для теории $n$-значных групп 2. **Методологическая ценность**: метод сумм Кронекера может найти применение в других алгебраических структурах 3. **Теоретико-числовое значение**: обобщение теории матриц Вендта может способствовать исследованиям Великой теоремы Ферма ### Области применения - Исследование групповых действий в алгебраической геометрии - Исследование диофантовых уравнений в теории чисел - Дискретная динамика в интегрируемых системах - Теория симметрических функций в комбинаторной математике ## Библиография Статья содержит 45 ссылок, охватывающих как классические работы по теории групп и теории чисел, так и новейшие исследования, включая: - Серию работ Бухштабера по теории $n$-значных групп - Исследования Вендта по Великой теореме Ферма - Классические учебники Хорна и Джонсона по теории матриц - Недавние работы по ядрам Бесселя и многочленам Концевича --- Данная статья имеет значительную теоретическую ценность, предоставляя новые инструменты и перспективы для теории $n$-значных групп и устанавливая глубокие связи с классическими проблемами теории чисел. Несмотря на некоторые технические детали, требующие доработки, её инновационность и потенциальное влияние делают её важным вкладом в данную область.