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، مجاميع كرونيكر، ومصفوفات ويندت

المعلومات الأساسية

  • معرّف الورقة: 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 الجبرية المتماثلة: تقديم تصنيف كامل للحالات 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 الجبرية المتماثلة

بالنسبة لحالة n=2n=2: النظرية 1: تُعرّف المجموعة ذات القيم 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 الجبرية المتماثلة:

  • النوع (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$ الجبرية المتماثلة ### القيود 1. التصنيف الكامل يُعطى فقط لـ $n=2,3$، والحالات ذات الأبعاد الأعلى لا تزال مفتوحة 2. الخصائص النظرية العددية الدقيقة لمعاملات كثيرات الحدود تتطلب مزيد من الدراسة 3. الاتصالات مع فروع رياضية أخرى لا تزال بحاجة إلى استكشاف ### الاتجاهات المستقبلية 1. **التصنيف ذو الأبعاد الأعلى**: إكمال تصنيف المجموعات ذات القيم $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$، وتنشئ في الوقت ذاته اتصالات عميقة مع المسائل الكلاسيكية في نظرية الأعداد. على الرغم من أن بعض التفاصيل التقنية لا تزال بحاجة إلى تحسين، فإن طبيعتها المبتكرة وتأثيرها المحتمل يجعلانها مساهمة مهمة في هذا المجال.