🔢 mathematics

Free nearrings

تقدم هذه الورقة إنشاءات صريحة للحلقات القريبة الحرة والضرب الحر لحلقتين قريبتين ضمن فئة جميع الحلقات القريبة، بما في ذلك تلك التي ليست بالضرورة صفرية التماثل.

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

نُشر 2026-08-11

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

CC0 1.0

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

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

تخيل عالماً لا تكون فيه الرياضيات مجرد أرقام على صفحة، بل هي القواعد التي تحكم كيفية دمج الأشياء، وتكديسها، وتفاعلها. هذا هو مجال الجبر المجرد، وهو فرع من الرياضيات يدرس البنى مثل الزمر والحلقات. فكر في "الزمرة" (Group) كأنها نادٍ له مجموعة محددة من الأعضاء وقاعدة واحدة لكيفية دمجهم (مثل جمع الأعداد). أما "الحلقة" (Ring) فهي نادٍ أكثر تعقيداً، لها قاعدتان: واحدة للجمع وأخرى للضرب. ولكن ماذا لو خففنا القواعد قليلاً؟ ماذا لو كان الضرب "يتعاون" فقط عندما يأتي من الجانب الأيمن، لكنه يتجاهل الجانب الأيسر؟ هذا هو عالم الـ "nearring" (شبه الحلقة) الغريب والمتمرد قليلاً.

تعتبر الـ "nearrings" بمثابة الأقارب الجامحين للحلقات. في الحلقة القياسية، يتوزع الضرب على الجمع بشكل مثالي من كلا الجانبين (تماماً كما أن $a(b+c) = ab + ac $و$ (a+b)c = ac + bc$). أما في الـ "nearring"، فنحن نشترط فقط أن يعمل التوزيع من جهة اليميد: $(a+b)c = ac + bc$. أما الجانب الأيسر؟ فيمكنه فعل ما يشاء. هذه المرونة تجعل الـ "nearrings" مفيدة للغاية لنمذجة الأنظمة الواقعية حيث تهم الترتيب والاتجاه، كما هو الحال في علوم الحاسوب أو الهندسة. ولكن بسبب مرونتها الكبيرة، فإن بناءها من الصفر يعد أمراً صعباً للغاية. غالباً ما يرغب الرياضيون في معرفة: "إذا بدأت بلوحة بيضاء وبضع مكونات أساسية، فما هو أكثر nearring عام ومنضبط بالقواعد يمكنني إنشاؤه؟" هذا هو البحث عن الـ "free nearring" (شبه الحلقة الحرّة).

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

مجموعة الليغو الرياضية: بناء free nearring

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

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

المكونات: شبه زمرة مع "صفر أيسر"

قبل أن نتمكن من بناء الـ "nearring"، نحتاج إلى أساس. يبدأ فيلدسمان بشيء يسمى semigroup with a left zero (شبه زمرة مع صفر أيسر).

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

يقوم فيلدسمان ببناء مجموعة محددة من هذه "الكلمات" أو سلاسل الرموز (مثل $x_1x_2x_3$ ) ويضيف عنصر "الصفر" الخاص هذا. هذا يشكل المادة الخام، الـ "R"، التي سيُبنى منها الـ "nearring".

البناء: برج من الزمر

بناء الـ "nearring" ليس عملية ذات خطوة واحدة؛ بل يشبه بناء ناطحة سحاب طابقاً تلو الآخر. يستخدم المؤلف طريقة تسمى الاستقراء (Induction)، وتعني أنه يبني الطابق الأول، ثم يستخدمه لبناء الط Floor الثاني، وهكذا إلى ما لا نهاية.

الطابق الأرضي ( $B_0$ ): يبدأ بأخذ المواد الخام (الشبه زمرة $R$ ) ويحولها إلى free additive group (زمرة جمع حرة). فكر في الأمر كأنك تأخذ كل قطع الليغو الخاصة بك وتسمح لنفسك بجمعها أو طرحها (مثل امتلاك "قطعة سالبة"). هذا ينشئ زمرة ضخمة ومرنة حيث يمكنك دمج العناصر بأي ترتيب تريده، طالما أنك تتبع قواعد الجمع الأساسية.
الطوابق التالية ( $B_1, B_2, \dots$ ): هنا يحدث سحر الـ "nearring". يقدم المؤلف طبقة جديدة من التعقيد. يأخذ الطابق الحالي ويدمجه مع مجموعة جديدة من "المنتجات الصورية" (تخيل لصق نوع جديد من قطع الليغو على الهيكل الموجود).
- ينشئ مجموعة جديدة من العناصر تسمى $D_n$ ، وهي في الأساس العناصر القديمة مضروبة في العناصر "الحرة" الجديدة.
- ثم يبني الطابق التالي ( $B_n$ ) عن طريق أخذ الطابق السابق وعمل "free product" له مع العناصر الجديدة. بلغة الرياضيات، "الضرب الحر" (Free Product) يشبه لصق مجموعتين منفصلتين عند نقطة واحدة، مما يخلق شجرة ضخمة ومتفرعة من الاحتمالات.
- يكرر هذه العملية إلى ما لا نهاية. الـ "Free Nearring" النهائي هو اتحاد كل هذه الطوابق، وهو هيكل شاهق من التعقيد اللامتناهي.

قواعد اللعبة: التوزيع والتجميع

بمج-بناء البرج، يتعين على فيلدسمان إثبات أنه يعمل بالفعل كـ "nearring". هو يتحقق من قاعدتين حرجتين:

التوزيع من جهة اليمين (Right Distributivity): هذه هي القاعدة الذهبية للـ "nearrings". تقول إنه إذا كان لديك مجموع $(a + b)$ وضربته في $c$ من جهة اليمين، فيجب أن يساوي $ac + bc$. يوضح فيلدسمان أنه بسبب الطريقة التي بنى بها البرج (طابقاً تلو الآخر، مع احترام القواعد في كل خطوة)، فإن هذه القاعدة تتحقق تماماً. الهيكل مصمم بحيث أن الضرب من جهة اليمين دائماً ما يتوافق مع الجمع.
التجميع (Associativity): تقول هذه القاعدة إن $(ab)c $يجب أن يساوي$ a(bc)$. وهي القاعدة التي تقول إنه لا يهم كيف تجمع عملياتك. يثبت فيلدسمان ذلك من خلال إظهار أنه بغض النظر عن "الطابق" الذي تعيش فيه عناصرك، فإن عملية الضرب تعمل باتساق.

"الضرب الحر" لـ two nearrings

تتناول الورقة أيضاً تحدياً ثانياً: ماذا يحدث إذا كان لديك اثنتان من الـ "nearrings" الموجودة، لنقل $A$ و $B$ ، وأردت دمجهما معاً في "nearring" واحد ضخم دون فقدان هويتهما الأصلية؟ هذا ما يسمى الضرب الحر (Free Product أو Coproduct).

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

لماذا هذا مهم؟

قد تتساءل، "من يهتم ببناء هذه الأبراج المجردة؟" الإجابة تكمن في المرونة. تُستخدم الـ "nearrings" لنمذجة الأشياء حيث يهم الاتجاه، مثل الدوال في علوم الحاسوب أو التحويلات في الهندسة. ومن خلال امتلاك مخطط "حر" دقيق لكيفية بناء هذه البنى، يمكن للرياضيين:

اختبار النظريات: يمكنهم استخدام الـ "free nearring" كـ "اختبار جهد" لمعرفة ما إذا كانت الفكرة الرياضية الجديدة ستصمد تحت أقسى الظروف.
فهم التعقيد: يساعدهم ذلك على فهم الحدود الأساسية لما يمكن أن يكون عليه الـ "nearring".
التعميم: هذه الورقة مهمة لأنها تزيل قيداً رئيسياً. العمل السابق كان يعمل فقط لـ "zero-symmetric nearrings" (حيث $a \times 0 = 0$ ). يوضح فيلدسمان أن البناء يعمل حتى عندما لا يكون $a \times 0$ مساوياً للصفر، مما يفتح الباب أمام مجموعة أوسع بكثير من النماذج الرياضية.

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

ملخص تقني: النصف حلقات الحرة والمنتجات الحرة في فصيلة جميع النصف حلقات

بيان المشكلة
تتناول الورقة بناء الأجسام الحرة ضمن فصيلة جميع النصف حلقات اليمنى (right nearrings)، وتحديداً من خلال توسيع العمل السابق الذي كان مقتصرًا على فصيلة النصف حلقات اليسرى صفرية التماثل (zero-symmetric left nearrings). يُعرَّف النصف حلقة $N = (N, +, \cdot, 0_N)$ كبنية حيث $(N, +, 0_N)$ هي زمرة (ليست بالضرورة تبديلية)، و $(N, \cdot)$ هي نصف زمرة، والضرب يتوزع من اليمين على الجمع ($(a+b)c = ac + bc $). وخلافاً للحلقات، لا تشترط النصف حلقات بالضرورة أن يكون$ 0a = 0 $أو$ a(-b) = -(ab)$؛ وتُسمى تلك التي تحقق هذه الشروط "صفرية التماثل". وتشير الورقة إلى أن أي نصف حلقة يمكن تفكيكها إلى جزء صِفري التماثل وجزء ثابت. وبينما قام ميلديرم [5] سابقاً ببناء نصف حلقات حرة ونواتج حرة للنصف حلقات اليسرى صفرية التماثل، إلا أن البناء الصريح للفصيلة الأوسع لجميع النصف حلقات اليمنى (بما في ذلك غير صفرية التماثل) ظل بحاجة إلى تفصيل.

المنهجية
يستخدم المؤلف، ستيفان فيلدسمان، طريقة بناء استقرائية، تتبع إلى حد كبير الإطار الذي وضعه ميلديرم، ولكن مع تكييفها للتعامل مع النصف حلقات اليمنى ووجود العناصر الثابتة. يسير البناء عبر مرحلتين رئيستين:

بناء النصف حلقة الحر $F(X)$ :
- نصف الزمرة الأساسي: تبدأ العملية بنصف زمرة ضربية حرة مع عنصر صفر أيسر، يُرمز لها بـ $(R, \cdot, 0_R)$ ، فوق مجموعة توليد $X$ . وتتكون المجموعة $R$ من الكلمات فوق $X$ والمنتجات الصورية التي تتضمن رمز الصفر الأيسر $0_R$ .
- برج الزمرة الاستقرائي: يتم بناء متتالية من الزمر $B_n$ . حيث $B_0$ هي الزمرة الحرة للجمع على $R$ . وتتشكل الزمر اللاحقة $B_n$ كناتج حر للزمرة السابقة $B_{n-1}$ والزمرة الحرة للجمع على مجموعة من المنتجات الصورية $D_{n-1} = R \cdot C_{n-1}$ ، حيث تمثل $C_{n-1}$ العناصر "الجديدة" المضافة في الخطوة السابقة.
- الجسم الحدّي: يُعرَّف النصف حلقة الحر $F(X)$ كاتحاد هذا البرج من الزمر ( $\bigcup_{n=0}^{\infty} B_n$ ).
- تعريف الضرب: يتم تعريف الضرب استقرائياً. حيث يُعرَّف أولاً لعناصر $R$ وهي تعمل على $F(X)$ ، ثم يُمدد ليشمل المعكوسات الجمعية، وأخيراً ليشمل الزمرة $B_0$ والزمرات اللاحقة $B_n$ عبر التوزيع والمنتجات الصورية.
- التحقق: يتحقق المؤلف بدقة من أن البنية الناتجة تستوفي بديهيات النصف حلقة: التوزيع من اليمين، وتجميع الضرب، ووجود ناتج ضرب محدد.
بناء المنتج الحر (الضرب المباشر/Coproduct):
- يتم بناء المنتج الحر لنصف حلقة $A$ ونصف حلقة $B$ عن طريق تكوين المنتج الحر لنصفي الزمرة الضربية الأساسية لهما مع أصفار يسارية، ويُرمز له بـ $R$ .
- تُطبق نفس خطوات برج الزمرة الاستقرائي وتمديد الضرب المستخدمة في $F(X)$ على هذه الـ $R$ الجديدة لتوليد الضرب المباشر في فئة النصف حلقات.

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

البناء الصريح: تقدم الورقة بناءً صريحاً، خطوة بخطوة، للنصف حلقة الحر $F(X)$ على مجموعة $X$ ضمن فصيلة جميع النصف حلقات اليمنى. ويتضمن ذلك وصفاً مفصلاً للمجموعات الأساسية، والتعريف الاستقرائي لبنية الزمرة الجمعية، والتعريف التكراري لعملية الضرب.
التعميم: يوسع هذا العمل نتائج ميلديرم من النصف حلقات اليسرى صفرية التماثل إلى الفصيلة العامة للنصف حلقات اليمنى. وينصب تركيز خاص على إدارة "العناصر الثابتة" (العناصر حيث $ab=a $لكل$ b$) والسلوك غير صِفري التماثل، والتي لم تكن محور التركيز الأساسي في عمليات بناء النصف حلقات صفرية التماثل السابقة.
المنتج الحر (Coproduct): تنجح الورقة في بناء المنتج الحر لنصف حلقة $A$ ونصف حلقة $B$ تعسفيين. وتثبت أن البنية الناتجة $F(R)$ (حيث $R$ هو نصف زمرة الضرب لـ $A$ و $B$ ) تحقق الخاصية العالمية للضرب المباشر في فئة النصف حلقات.
التجميع والتوزيع: يقدم المؤلف براهين مفصلة على أن الضرب المُبنى هو عملية تجميعية وتتوزع من اليمين على الجمع، حتى في ظل وجود اختزالات في كلمات الزمرة الجمعية.
التوسعات الوحدة: توضح الورقة كيفية تعديل البناء لإنتاج نصف حلقات حرة تحتوي على عنصر محايد (identity element)، وكيفية بناء المنتج الحر لنصف حلقة مع حلقة الأعداد الصحيحة $\mathbb{Z}$ ، مما يعني إضافة عنصر محايد.

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

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