The ν-Prime Ideal Sum Graph of a Nearring

ملخص تقني: رسم مجموع المثاليات $\nu$-الأولية لـ "نيرينج" (Nearring)

بيان المشكلة
يتناول البحث الحاجة إلى دراسة التفاعل بين الخصائص الجبرية والتركيبية لـ "النيرينجز" (nearrings) من خلال البناءات النظرية للرسوم البيانية. وبينما تمت دراسة رسوم مساويات الصفر (zero-divisor graphs) والرسوم القائمة على المثالية بشكل مكثف في نظرية الحلقات، فإن البنية المثالية لـ "النيرينجز" أكثر دقة، حيث تتميز بمفاهيم متميزة للأولية (0-prime، و3-prime، وc-prime، وequiprime). لقد استكشفت الأدبيات الحالية رسوم مساويات الصفر للنيرينجز والرسوم القائمة على مثليات أولية محددة، ولكن كان هناك نقص في إطار موحد يحلل مجموع المثليات بالنسبة لمختلف شروط الأولية هذه. يهدف المؤلفون إلى تعريف وتوصيف رسم مجموع المثالية $\nu$-الأولية ($\nu$-PSG($N$)) لـ "نيرينج" $N$، حيث $\nu \in \{0, 3, c, e\}$.

المنهجية
يعرّف المؤلفون $\nu$-PSG($N$) كرسوم بيانية حيث:

• الرؤوس: مجموعة كل المثليات الصحيحة وغير البديهية (proper, non-trivial) لـ "النيرينج" $N$.
• التجاور: يكون الرأسان (المثاليان) المتميزان $I$ و $J$ متجاورين إذا وفقط إذا كان مجموعهما $I + J$ مثالية $\nu$-أولية صحيحة لـ $N$.

تتضمن المنهجية إرساء الخصائص الهيكلية الأساسية لهذه الرسوم. ويستنتج المؤلفون شروطاً ضرورية وكافية للاتصال ويحسبون أو يضعون حدوداً للمعاملات القياسية للرسوم البيانية، بما في ذلك العدد الكلِي (clique number $\omega$)، والقطر (diameter)، والمحيط (girth)، وعدد الهيمنة (domination number $\gamma$). يعتمد التحليل على الخصائص الجبرية لـ "النيرينجز"، مثل وجود المثليات القصوى، وسلوك المثليات تحت التشاكلات (homomorphisms)، وخصائص معينة للنيرينج مثل "الهوية للمنتجات" (IFP) والتبادلية اليمنى (right permutability). تتضمن الدراسة أمثلة محددة باستخدام "نيرينجز" معرفة على مجموعات مثل $\mathbb{Z}_2^3$ وزمرة دييدرال $D_8$ لتوضيح النتائج النظرية.

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

1. التعريف والخصائص الأساسية:
   يقدم البحث رسم $\nu$-PSG($N$) رسمياً لـ $\nu \in \{0, 3, c, e\}$. ويثبت أنه إذا كان "النيرينج" بسيطاً (simple)، فإن الرسم يكون غير معرف. وإذا كان "النيرينج" لا يحتوي على مثليات $\nu$-أولية غير بديهية، فإن الرسم يكون غير متصل تماماً.

2. الاتصال والقطر:

• الاتصال: بالنسبة لـ "نيرينجز" الوحدة (unital nearrings)، يثبت البحث أن $0$-PSG($N$) يكون غير متصل إذا وفقط إذا كان$N$ هو مجموع مباشر لنيرنجين بسيطين.
• القطر: بالنسبة لـ $0$-PSG($N$) المتصل في "نيرينج" الوحدة، يكون القطر محدوداً بـ 4.
• رسوم النجمة (Star Graphs): يحدد المؤلفون خصائص "النيرينجز" التي يكون فيها الرسم رسماً نجمياً: يحدث هذا إذا وفقط إذا كان لـ $N$ مثالي أدنى وحيد، وكان كل مثالي آخر صحيح وغير بديهي وغير أدنى هو مثالي أقصى و$\nu$-أولي.

3. الرسوم الكاملة والهيمنة:

• الاكتمال: تُقدم شروط ليكون $\nu$-PSG($N$) رسماً كاملاً، وتتطلب تحديداً وجود مثالية قصوى وحيدة $\nu$-أولية $M$ بحيث تكون جميع المثليات الصحيحة الأخرى متقاطعة بشكل بديهي ثنائي.
• الهيمنة: بالنسبة لـ "نيرينجز" الوحدة، تشكل مجموعة كل المثليات القصوى مجموعة هيمنة دنيا لـ $0$-PSG($N$)، مما يعني أن عدد الهيمنة$\gamma(0\text{-PSG}(N)) \le |M|$.

4. معاملات الرسم البياني:

• المحيط (Girth): إذا كان $N$ يحتوي على مثاليين غير قابلين للمقارنة ومتجاورين، فإن محيط الرسم البياني هو 3.
• العدد الكلي (Clique Number): يثبت البحث أن الرسم الجزئي المستحث بواسطة سلسلة من المثليات $\nu$-الأولية يشكل "كلِيق" (clique). علاوة على ذلك، بالنسبة لتشاكل "نيرينج" شامل (surjective nearring homomorphism) $\phi: N \to N'$، فإن العدد الكلي يحقق $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$.

5. العلاقات بين المتغيرات:
   يوضح البحث العلاقات بين المتغيرات المختلفة للرسم بناءً على التسلسل الهرمي للمثليات الأولية. فعلى سبيل المثال، بما أن كل مثالية c-prime هي مثالية 3-prime، فإن c-PSG($N$) هو رسم جزئي من 3-PSG($N$). وتحت شروط محددة (مثل التبادلية اليمنى أو IFP)، يمكن إظهار أن هذه الرسوم متطابقة.

6. التشاكل والتماثل:
   يوضح المؤلفون أن تشاكل "نيرينج" شامل يستحث تشاخلاً بيانياً بين رسوم مجموع المثليات $\nu$-الأولية المقابلة. كما يقدمون مثالاً لـ "نيرينجز" غير متماثلة تنتج رسوماً $\nu$-أولية متماثلة، مما يشير إلى أن بنية الرسم لا تحدد "النيرينج" بشكل فريد.

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