🔢 mathematics

An extension theory and semidirect sums for nearrings

تؤسس هذه الورقة نظرية امتداد عامة للنيارينج (nearrings)، على غرار امتدادات "شراير" (Schreier) و"إيفريت" (Everett) للمجموعات والحلقات على التوالي، والتي تشمل بناء المجموع شبه المباشر وتوحد مختلف أمثلة النيارينج الموجودة والمصممة لأغراض محددة.

المؤلفون الأصليون: Stefan Veldsman

نُشر 2026-08-11

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC0 1.0

المؤلفون الأصليون: Stefan Veldsman

البحث الأصلي مُهدى إلى الملك العام بموجب CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك مهندس معماري بارع تصمم مدينة جديدة. لديك حيان متميزان: أحدهما حي منظم وصارم حيث يتبع الجميع قواعد صارمة (مثل مجموعة من الجنود)، والآخر حي فوضوي ومبدع حيث تصبح الأمور فوضوية ولكن ممتعة (مثل سوق شعبي). في عالم الرياضيات، وتحديداً في فرع يسمى الجبر، تسمى هذه الأحياء "الحلقات القريبة" (nearrings). وهي تشبه المخططات لكيفية دمج العناصر، وجمعها، وضربها. ولكن هنا تكمن العقدة: في هذه الأحياء، لا تتوافق قواعد الجمع والضرب دائماً بشكل جيد؛ فأحياناً، إذا خلطتهما معاً، فإن الترتيب يهم، وأحياناً أخرى لا تهتم الرياضيات حتى بالصفر.

لفترة طويلة، عرف الرياضيون كيفية بناء مدن بسيطة عبر مجرد وضع حيين جنباً إلى جنب (مجموع مباشر) أو بجعل أحد الحيين يؤثر بلطف على الآخر بطريقة محددة يمكن التنبؤ بها (جداء شبه مباشر). ولكن ماذا لو أردت بناء مدينة يتفاعل فيها الحيان في رقصة برية ومعقدة؟ ماذا لو كان أسلوب مزجهما يعتمد على عوامل خفية، مثل رموز سرية أو قواعد متغيرة تتغير بناءً على من يتحدث مع من؟ هذا هو السؤال الكبير الذي تعالجه هذه الورقة البحثية. إنها تسأل: "كيف يمكننا بناء مدينة 'حلقة قريبة' جديدة ومعقدة من حيين أبسط؟" والإجابة ليست مجرد إنشاء شكل جديد؛ بل تتعلق بإنشاء مجموعة أدوات عالمية تشرح كل طريقة ممكنة لدمج هذه الأحياء الرياضية معاً.

الورقة البحثية، التي كتبها ستيفان فيلدسمان، تقدم "نظرية امتداد" (Extension Theory) عظيمة للحلقات القريبة. فكر في هذه النظرية كدليل تعليمات نهائي لبناء هيكل رياضي جديد (لنسمه "الحلقة القريبة الفائقة") عن طريق أخذ حلقتين موجودتين بالفعل (لنسمهما "الحلقة القريبة أ" و"الحلقة القريبة ب") ودمجهما معاً. يثبت المؤلف أنه مهما حاولت دمج هاتين الحلقتين، فإنك تستخدم دائماً وصفة محددة تتضمن خمس "دوال" خاصة (وهي مجرد آلات رياضية تأخذ مدخلات وتخرج مخرجات).

توضح الورقة أنه لبناء هذه "الحلقة القريبة الفائقة"، ستحتاج إلى "نظام عامل" (factor system). تخيل هذا كنظام تعليمات سري أو "وصفة لصق" تخبرك بالضبط كيف تتعامل مع الجمع والضرب عندما تخلط عناصر من (أ) و(ب). يعرف المؤلف بناءً جديداً يسمى "مجموع E" (E-sum). وهي طريقة منمقة للقول بأنها "مجموع مبني بمجموعة محددة من القواعد". تثبت الورقة شيئين ضخمين:

إذا اتبعت قواعد وصفة "مجموع E" هذه (والتي تتضمن التحقق من ستة شروط محددة، يُرمز لها بـ G1، G2، A1، A2، D1، وD2)، فستنتهي دائماً بحلقة قريبة صالحة.
وعلى العكس من ذلك، إذا كان لديك أي حلقة قريبة مبنية عن طريق امتداد (أ) بـ (ب)، فمن المضمون أنها ستكون مكافئة لأحد "مجموعات E" هذه. بمعنى آخر، لا توجد طرق خفية أو سرية لبناء هذه الهياكل لا تغطيها هذه الوصفة.

ثم تركز الورقة على حالة خاصة وأبسط تسمى "المجموع شبه المباشر" (semidirect sum). هذا يشبه نوعاً خاصاً من المدن حيث يعمل أحد الحيين (ب) كـ "تضمين فوقي منقسم" (split epimorphism) — وهي طريقة منمقة للقول بأنه يمكن سحب (ب) من "الحلقة القريبة الفائقة" بشكل نظيف، مثل درج ينزلق من خزانة، تاركاً بقية المدينة (أ) سليمة كما هي. توضح الورقة أن العديد من البناءات الموجودة والمعقدة في مجال الحلقات القريبة (مثل "جداء الإكليل" أو wreath product المستخدم من قبل علماء رياضيات آخرين) هي في الواقع مجرد نسخ خاصة من هذا المجموع شبه المباشر. إنه كاكتشاف أن العديد من الألعاب المختلفة تماماً هي في الواقع مجرد نسخ ملونة مختلفة من نفس مجموعة قطع "الليغو".

لا يكتفي المؤلف بالجانب النظري فحسب؛ بل يقدم "قائمة" من الأمثلة. فهو يوضح كيفية بناء هذه الهياكل باستخدام أشياء مثل مجموعات الأعداد الصحيحة، أو الدوال على المجموعات، وحتى الحلقات القريبة ذات الضرب الصفري (حيث يكون حاصل ضرب كل شيء صفراً). ويثبت أنه من خلال تعديل الدوال الخمس في وصفته، يمكنك إعادة إنشاء بناءات شهيرة مثل "امتداد دوروه" (الذي يضيف وحدة إلى حلقة) أو مختلف البناءات "الجذرية" المستخدمة في الجبر المتقدم.

الأهم من ذلك، أن الورقة دقيقة جداً فيما لا تفعله. فهي لا تدعي أنها تحل كل مشكلة في الجبر، ولا تقترح أن هذه الهياكل الجديدة مفيدة لبناء الجسور أو برمجة البرمجيات (على الأقل ليس في هذه الورقة). إنها برهان رياضي بحت. إنها تؤسس أن "مجموع E" هو الطريقة الصحيحة والكاملة لوصف هذه الامتدادات. وهي تنفي صراحة فكرة وجود "أطراف سائبة" أو طرق غير محددة لدمج هذه الحلقات القريبة؛ فإذا وجد هيكل، فإنه يندرج تحت قالب "مجموع E". الورقة واثقة في نتائجها، وتقدمها كأطروحات مثبتة بدلاً من كونها تخمينات أو محاكاة. إنها أساس منطقي صلب يقول: "هذه هي الخريطة، وهذا هو الإقليم؛ وهما يتطابقان تماماً".

لذا، إذا كنت مراهقاً فضولياً يتساءل كيف يبني الرياضيون عوالم معقدة من كتل بسيطة، فإن هذه الورقة هي المخطط. إنها تأخذ الفكرة الفوضوية والمربكة لـ "لصق" نظامين رياضيين معاً وتحولها إلى وصفة نظيفة وخطوة بخطوة. إنها تخبرنا أنه حتى في العالم الفوضوي للحلقات القريبة، حيث يمكن أن تكون قواعد الرياضيات متمردة قليلاً، يوجد نظام كامن. ومن خلال استخدام خمس دوال كدليل، يمكننا بناء أي امتداد ممكن، مما يثبت أن عالم الحلقات القريبة أكثر تنظيماً مما يبدو عليه في الظاهر. الأمر يشبه إدراك أن كل نكهة آيس كريم يمكنك تخيلها هي مجرد مزيج محدد من بعض المكونات الأساسية، ممزوجة بطريقة معينة للغاية. الورقة تعطيك وعاء الخلط والوصفة.

ملخص تقني: نظرية الامتداد والجمع شبه المباشر للنيارينغات (Nearrings)

بيان المشكلة
تتناول الورقة الحاجة إلى نظرية امتداد موحدة وطبيعية للنيارينغات، على غرار نظرية امتداد "شراير" (Schreier) للمجموعات ونظرية امتداد "إيفريت" (Everett) للحلقات. وبينما توجد في الأدبيات بناءات محددة، مثل الضرب شبه المباشر للنيارينغات الذي عرفه "بيلاس" (Bellas) من أجل الضرب المتقاطع (wreath products)، إلا أنها غالبًا ما تكون عشوائية أو تفتقر إلى إطار نظري عام. يسعى المؤلف إلى تأسيس نظرية عامة توصّف جميع امتدادات النيارينغ $A$ بواسطة النيارينغ $B$ ، وتحدد الجمع شبه المباشر كحالة خاصة طبيعية ضمن هذا الإطار الأوسع.

المنهجية
تمضي الورقة في خطوتين رئيسيتين لبناء وتصنيف امتدادات النيارينغ:

بناء الـ E-sum ( $A \boxtimes B$ ):
يعرف المؤلف بنية جديدة، تسمى "E-sum"، على الضرب الديكارتي $A \times B$ . يعتمد هذا البناء على خماسية من الدوال $E(\psi, [-,-], \alpha, \beta, \langle-,-\rangle)$ :

$\psi: B \to \text{Aut}(A, +)$
$[-,-]: B^2 \to A$ (نظام عامل جمعي)
$\alpha: B \to \text{Map}(A^2, A)$
$\beta: B^2 \to \text{Map}(A)$
$\langle-,-\rangle: B^2 \to A$ (نظام عامل ضربي)

تُعرَّف العمليات على $A \boxtimes B$ كما يلي:

الجمع: $(a_1, b_1) + (a_2, b_2) = (a_1 + \psi_{b_1}(a_2) + [b_1, b_2], b_1 + b_2)$
الضرب: $(a_1, b_1)(a_2, b_2) = (\alpha_{b_2}(a_1, a_2) + \beta_{b_1, b_2}(a_2) + \langle b_1, b_2 \rangle, b_1 b_2)$

تستنتج الورقة شروطًا ضرورية وكافية (موسومة بـ G1, G2, A1, A2, D1, D2) يجب أن تستوفيها هذه الدوال لكي يشكل $A \boxtimes B$ نيارينغًا صالحًا. تُشتق هذه الشروط عبر فرض بديهيات الزمرة على البنية الجمعية وبديهيات النيارينغ (التجميعية والتوزيعية اليمنى) على البنية الضربية.

تصنيف الامتدادات:
تثبت الورقة أن أي امتداد $N$ لـ $A$ بواسطة $B$ (حيث $A$ مثال داخلي في $N$ و $N/A \cong B$ ) يكافئ $E\text{-sum}$ . ومن خلال استخدام دالة اختيار $\sigma: B \to N$ (قطاع لمتتالية التشاكل الإسقاطي)، يبني المؤلف تقابلًا بين $N$ و $A \times B$ . هذا التقابل يستحث الدوال المحددة $\psi, [-,-], \alpha, \beta, \langle-,-\rangle$ على مجموعة الضرب، مما يثبت أن كل امتداد هو بنيويًا متماثل مع $E\text{-sum}$ يستوفي الشروط المستنتجة.

المساهمات والنتائج الرئيسية

نظرية الامتداد العامة: توفر الورقة توصيفًا كاملاً لامتدادات النيارينغ. يثبت المبرهنة 2.3 أن $A \boxtimes B$ يكون نيارينغًا إذا وفقط إذا استوفت الدوال المرتبطة به الشروط الستة المحددة (G1, G2, A1, A2, D1, D2). وتؤكد المبرهنة 2.4 أن كل امتداد لـ $A$ بواسطة $B$ يكافئ $E\text{-sum}$ كهذا.
تعريف الجمع شبه المباشر: تقترح الورقة تعريفًا "أكثر طبيعية" للجمع شبه المباشر لنيارينغين. ويُعرف كحالة خاصة من الـ $E\text{-sum}$ $E -sum$ حيث تكون الأنظمة العاملة $[-,-]$ $[-, -]$ و $\langle-,-\rangle$ $⟨ -, - ⟩$ صفرية تمامًا.
- في هذه الحالة، تتبسط الشروط: تصبح $\psi$ تشاكل زمرة من $(B, +)$ إلى $\text{Aut}(A, +)$ ، وتتحكم الشروط المتبقية (A1, A2, D1, D2) في التفاعل بين الضرب في $B$ وبنية $A$ .
- توضح الورقة العلاقة بين الجموع شبه المباشرة والتشاكلات الإسقاطية المنقسمة (split epimorphisms/retractions)، مظهرةً أن النيارينغ $N$ هو جمع شبه مباشر لـ $A$ و $B$ إذا وفقط إذا وجد تشاكل إسقاطي منقسم $f: N \to B$ بنواة $A$ .
توحيد البناءات الموجودة: توضح الورقة أن مختلف البناءات الموجودة في نظرية النيارينغ هي حالات خاصة من إطار الجمع شبه المباشر هذا:
- ضرب بيلاس شبه المباشر: يُظهر أن البناء $A \times_\gamma B$ المستخدم للضرب المتقاطع هو جمع شبه مباشر تحت شروط محددة (تحديدًا عندما يكون $\gamma_0(a_1)a_2 = a_1a_2$ ).
- الضرب المتقاطع (Wreath Products): يتم تحديد الضرب المتقاطع للنيارينغات كبناء جمع شبه مباشر محدد فقط عندما يتحقق الشرط $\gamma_0(f_1)f_2 = f_1f_2$ ؛ وفي العموم، فإن الضرب المتقاطع القياسي ليس جمعًا شبه مباشر.
- امتداد دوروه (Dorroh Extension): تُظهر الورقة أن امتداد دوروه (الامتداد الموحد لـ حلقة) هو حالة خاصة من جمع شبه مباشر يتضمن الأعداد الصحيحة $\mathbb{Z}$ .
- بناءات نظرية الجذور (Radical Theory): تُقدم عدة بناءات من نظرية جذور النيارينغ (التي تتضمن نيارينغات ذات ضرب صفري أو ثابت) كأمثلة على الجموع شبه المباشرة.

الأهمية
تدعي الورقة أهميتها من خلال توفير إطار نظري شامل يوحد البناءات المتباينة في نظرية النيارينغ. ومن خلال تعريف الجمع شبه المباشر كحالة خاصة من نظرية امتداد عامة، يقدم المؤلف طريقة منهجية لتحليل وبناء النيارينغات. يوضح العمل العلاقة بين التشكلات الإسقاطية المنقسمة والجموع شبه المباشرة في فئة النيارينغات، ويوفر أساسًا جبريًا صارمًا للبناءات "المصممة لأغراض خاصة" الموجودة في الأدبيات، مثل أعمال بيلاس، وبيتش (Betsch)، وغيرهم. وتعمل هذه النظرية كنظير للنيارينغ لنظريات "شراير" و"إيفريت" الراسخة للمجموعات والحلقات على التوالي.

أبحاث مشابهة