🔢 mathematics

On semigroups that are prime in the sense of Tarski, and groups prime in the senses of Tarski and of Rhodes

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

المؤلفون الأصليون: George M. Bergman

نُشر 2026-03-16

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

CC BY 4.0

المؤلفون الأصليون: George M. Bergman

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

الصورة الكبيرة: ما هو الكائن "الأولي" (Prime)؟

تخيل أن لديك صندوقاً ضخماً من قطع الليغو. في الرياضيات، غالباً ما ندرس كيف تُبنى الهياكل المعقدة (مثل الزمر أو شبه الزمر) عن طريق تركيب هياكل أصغر معاً. وهذا ما يسمى الضرب المباشر (Direct Product).

في هذه الورقة، يطرح المؤلف سؤالاً محدداً للغاية حول "أولية تارسكي" (Tarski-primality):

إذا كان بإمكان بناء هيكل معقد $X$ عن طريق تركيب هيكلين آخرين معاً ( $Y$ و $Z$ )، فهل يجب أن يكون $X$ جزءاً من $Y$ أو من $Z$ ؟

إذا كانت الإجابة نعم، فإننا نسمي $X$ أولياً (Prime).
أما إذا كانت الإجابة لا (بمعنى أن $X$ هو "شبح" يظهر عند دمج $Y$ و $Z$ معاً، لكنه ليس موجوداً فعلياً داخل أي منهما بمفرده)، فإننا نسمي $X$ غير أولي (Not Prime).

فكر في الأمر كأنها وصفة طعام:

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

الجزء الأول: الفشل الكبير لشبه الزمر (الأقسام 2–4)

تبدأ الورقة بالنظر في شبه الزمر (Semigroups). يمكنك اعتبار شبه الزمرة كحقيبة من العناصر حيث يمكنك دمج أي عنصرين للحصول على عنصر ثالث، لكنك لا تملك بالضرورة "زر لا تفعل شيئاً" (المحايد/Identity) أو طريقة للتراجع عن الحركات (المعكوسات/Inverses).

الأخبار السيئة:
يثبت بيرجمان أنه في عالم شبه الزمر غير الفارغة، لا توجد أي كائنات أولية على الإطلاق.

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

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

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

الجزء الثاني: تحول نظرية الزمر (القسم 6)

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

هنا، يقارن المؤلف بين ثلاثة تعريفات مختلفة لـ "الأولية":

أولية تارسكي (Tarski-Prime): التعريف الصارم الذي ناقشناه سابقاً (إذا كان $G$ موجوداً في $A \times B$ ، فيجب أن يكون في $A$ أو $B$ ).
أولية رودس - المباشرة (Rhodes-Prime Direct): إذا كان $G$ عبارة عن "قطعة فرعية" (جزء يمكنك قصه وتقليصه) من $A \times B$ ، فهل هو قطعة من $A$ أو $B$ ؟
أولية رودس - شبه المباشرة (Rhodes-Prime Semidirect): نسخة أكثر تعقيداً تتضمن تركيبات "ملتوية" للزمر.

النتيجة المفاجئة بالنسبة للأعداد الصحيحة ( $\mathbb{Z}$ ):

أولية تارسكي؟ لا.
- التشبيه: يصنع المؤلف "زمرة فرانكنشتاين" غريبة مكونة من جزأين ملتوين. عندما تنظر إلى فرانكنشتاين بأكمله، ترى الأعداد الصحيحة ( $\mathbb{Z}$ ) مختبئة بداخله. لكن إذا نظرت إلى الجزأين الملتويين بشكل منفصل، فلن تجد الأعداد الصحيحة هناك. الأعداد الصحيحة تظهر فقط عندما يتم لف الجزأين معاً بطريقة معينة. لذا، الأعداد الصحيحة ليست أولية تارسكي.
أولية رودس؟ نعم.
- رغم أن $\mathbb{Z}$ ليست أولية تارسكي، إلا أنها "أولية رودس". إذا وجدت $\mathbb{Z}$ كقطعة من تركيب ملتوٍ، يمكنك دائماً تتبعها وصولاً إلى أحد المكونات الأصلية.

لغز الزمر المنتهية:
بالنسبة للزمر المنتهية (الزمر ذات عدد محدود من العناصر)، تصبح القواعد أكثر إثارة للاهتمام.

الزمر البسيطة (Simple Groups) (التي لا يمكن تفكيكها أكثر من ذلك) عادة ما تكون أولية.
لكن هناك "زمر وحشية" (مثل الأمثلة في الورقة المتعلقة بـ $p\text{-groups}$ ) هي أحادية المركز (Monolithic) (لها مركز واحد صغير وغير قابل للكسر) ولكنها ليست أولية.
التشبيه: تخيل حصناً له برج واحد لا ينكسر (المركز). قد تعتقد أن هذا الحصن "أولي" لأن لديه هذا المركز القوي. لكن المؤلف يظهر لك أنه يمكنك بناء "حصن خارق" عن طريق دمج حصنين أصغر بطريقة تخلق نسخة من حصنك الأصلي، رغم أن الحصن الأصلي لم يكن موجوداً داخل أي من الحصنين الأصغر. إنها خدعة رياضية حيث يكون الكل أكبر من مجموع أجزائه.

الجزء الثالث: الأسئلة المفتوحة (الأقسام 5 و 7)

تنتهي الورقة بطرح أسئلة حتى المؤلف نفسه لا يملك إجابات عليها بعد:

غموض "الأفعال المتكررة" (Idempotent): هل توجد أي كائنات "أولية" في عالم شبه الزمر حيث القيام بالشيء مرتين هو نفسه القيام به مرة واحدة ( $x \cdot x = x$ )؟ (فكر في مفتاح الضوء: تشغيل + تشغيل = تشغيل). نحن لا نعرف ذلك بعد.
غموض "الجبر المنتهي": هل توجد أي كائنات أولية في عالم الأنظمة المنتهية التي تحتوي فقط على عمليتين "أحاديتين" (عمليات تأخذ مدخلاً واحداً وتعطي مخرجاً واحداً)؟
التسلسل الهرمي: يرسم المؤلف خريطة لكيفية ارتباط أنواع "الأولية" المختلفة ببعضها البعض. على سبيل المثال، كون الشيء "أولياً" كـ "شبه زمرة" يستلزم كونه "أولياً" كـ "مونويد"، مما يستلزم كونه "أولياً" كـ "زمرة". ولكن هل العكس صحيح؟ (هل يمكن لزمرة أن تكون أولية دون أن تكون شبه زمرة أولية؟). تشير الورقة إلى أن الإجابة هي على الأرجح "لا"، لكنه مجال مفتوح للاستكشاف.

الملخص في جملة واحدة

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

إليك ملخص تقني مفصل لورقة جورج م. بيرجمان البحثية بعنوان، "حول السيمي-جروبات التي تعد أولية بمعنى تارسكي، والزمر الأولية بمعني تارسكي ورودس".

١. بيان المشكلة والسياق

تتقصى الورقة مفهوم الأولية في الفئات الجبرية، مع التركيز بشكل خاص على السيمي-جروبات (المنظومات شبه الزمرية) والزمر. التعريف المركزي المنسوب إلى أ. تارسكي يعرّف الكائن $P$ ككائن أولي في فئة $\mathcal{C}$ (المغلقة تحت نواتج الضرب المباشر المنتهي) إذا كانت فئة التماثل الخاصة به $[P]$ في المونويد التبدلي لفئات التماثل هي عنصر أولي. صوريًا، إذا كان $P$ عاملاً مباشراً لضرب $Y = Y_0 \times Y_1$ ، فإن $P$ يجب أن يكون عاملاً مباشراً لأحد كل من $Y_0$ أو $Y_1$ .

تعالج الورقة ثلاثة أسئلة محددة أثيرت في الأدبيات (وتحديداً في ماكنزي وماكنلتي وتيلور [٩]):
١. هل تحتوي فئة السيمي-جروبات غير الفارغة على أي كائنات أولية بتعريف تارسكي؟
٢. هل توجد كائنات أولية بتعريف تارسكي في فئة السيمي-جروبات المتناهية؟
٣. كيف ترتبط أولية تارسكي بمفهومين آخرين للأولية يستخدمهما منظرو السيمي-جروبات (أولية رودس بالنسبة للضرب المباشر ونصف المباشر) عند تطبيقها على الزمر؟

٢. المنهجية

يستخدم بيرجمان مزيجاً من التحليل الجبري البنائي، وبناء الأمثلة المضادة، واستخدام أدوات جبرية محددة:

تكافؤ الفعل والسيمي-جروبات الصفرية (Null Semigroups): لدحض صفة الأولية في السيمي-جروبات العامة، يستخدم المؤلف مفهوم تكافؤ الفعل (العناصر $x, x'$ متكافئة إذا تحقق $xy=x'y $و$ yx=yx' $لكل$ y$) والسيمي-جروبات الصفرية (حيث تكون جميع النواتج متساوية).
الهياكل العظمية (Skeletons) ولميات التماثل: يقدم البحث مصطلح "الهياكل العظمية" (وهي سيمي-جروبات فرعية دنيا تحتوي ممثلين عن فئات تكافؤ الفعل) لإثبات وجود تماثلات بين نواتج ضرب تتضمن السيمي-جروبات الصفرية (على سبيل المثال، $S \times \text{Null}(\kappa) \cong S^+ \times \text{Null}(\kappa)$ ).
امتداد الهومومورفيزمات (Homomorphisms): في النتائج الإيجابية للفئات المقيدة، يستخدم المؤلف اللمية ٣.١، والتي تسمح بامتداد الهومومورفيزمات من مثالية (Ideal) إلى السيمي-جروب بأكمله عندما تكون المجموعة المستهدفة زمرة؛ وهذا أمر بالغ الأهمية لتحليل السيمي-جروبات الإلغائية (Cancellative).
أدوات نظرية الزمر: في القسم المتعلق بنظرية الزمر، يستفيد البحث من نظرية كرول-شميدت، وخصائص الزمر أحادية المركز (Monolithic groups - وهي الزمر ذات المجموعة الطبيعية الدنيا الفريدة)، ونظرية نواتج الالتفاف (Wreath Products) عبر نظرية كالوجين-كراسنر.

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

أ. عدم وجود كائنات أولية في السيمي-جروبات العامة (القسمان ٢ و٥)

النتيجة الرئيسية: فئة السيمي-جروبات غير الفارغة (Semigp) لا تحتوي على أي كائنات أولية بتعريف تارسكي.
استراتيجية البرهان: يقوم المؤلف ببناء أمثلة مضادة لأي سيمي-جروب مرشح $S$ $S$ .
- إذا كان $S$ ليس صفرياً، يبني المؤلف $S^+$ (بإضافة عناصر إلى فئة تكافؤ فعل واحدة) ويُظهر أن $S \times \text{Null}(\kappa) \cong S^+ \times \text{Null}(\kappa)$ . وحيث إن $S$ ليس عاملاً لـ $S^+$ (بسبب اختلاف الحجوم في فئات الفعل) ولا هو عامل لـ $\text{Null}(\kappa)$ ، فإن $S$ ليس أولياً.
- إذا كان $S$ سيمي-جروب صدفي ( $\text{Null}(\kappa)$ )، يبني المؤلف سيمي-جروب محدداً $S$ بحيث يمتلك $S \times \text{Null}(n)$ الخاصية بأن $\text{Null}(\kappa)$ هو عامل له، ولكن لا $S$ ولا $\text{Null}(n)$ عوامل له.
النتائج الاستنتاجية: تمتد هذه النتيجة إلى فئات السيمي-جروبات التبديلية والسيمي-جروبات ذات العنصر الصفري.
سؤال مفتوح: تُبقي الورقة سؤالاً مفتوحاً حول ما إذا كانت فئة السيمي-جروبات المتناهية تحتوي على كائنات أولية، حيث تعتمد براهين الحالة العامة على الكاردينالات اللانهائية.

ب. النتائج الإيجابية في الفئات المقيدة (القسمان ٣ و٤)

السيمي-جروبات الإلغائية (Cancellative): يثبت المؤلف أنه لأي عدد صحيح غير سالب $k$ $k$ ، فإن السيمي-جروب الجمعي $\mathbb{N} + k$ $N + k$ (الأعداد الصحيحة $\ge k$ $\geq k$ ) هو أولي بتعريف تارسكي في فئات:
- السيمي-جروبات الإلغائية.
- السيمي-جروبات الإلغائية اليمنى/اليسرى.
- السيمي-جروبات الضعيفة الإلغائية (حيث لا يوجد عنصران متمايزان متكافئان بفعل الفعل).
المونويدات (Monoids): السيمي-جروب $\mathbb{N}$ أولي في فئة المونويدات وفي فئة السيمي-جروبات حيث كل عنصر هو ناتج عملية ضرب.
المونويدات العامة: يشير البحث إلى نتيجة معروفة (تمرين ٥.١٥ في [٩]) تنص على أنه في أنواع الخوارزميات (Varieties) التي تمتلك عنصراً صفرياً وعملية ثنائية، فإن أي كائن غير بديهي ذو مركز منتهٍ وليس ناتج ضرب مباشر هو كائن أولي. وهذا يعني أن العديد من السيمي-جروبات الفرعية لـ $\mathbb{N}$ والمونويدات الحرة هي كائنات أولية.

ج. مقارنة مفاهيم الأولية في الزمر (القسم ٦)

تميز الورقة بين ثلاثة تعريفات للأولية للزمرة $G$ :
١. أولوية تارسكي: $G$ عامل مباشر لـ $H \implies G$ عامل لأحد مكونات $H$ .
٢. أولوية رودس (المباشرة): $G$ هو صورة جزئية داخلية (Subquotient) لـ $H_0 \times H_1 \implies G$ هو صورة جزئية داخلية لـ $H_0$ أو $H_1$ .
٣. أولوية رودس (نصف المباشرة): نفس الشيء ولكن بالنسبة لنواتج الضرب نصف المباشر $H_0 \rtimes H_1$ .

النتائج الرئيسية للزمر:

$\mathbb{Z}$ ليست أولية تارسكي: مجموعة الأعداد الصحيحة الجمعية ليست أولية بتعريف تارسكي في فئة الزمر. يتم بناء مثال مضاد باستخدام $(\mathbb{Z}_p \rtimes \mathbb{Z}) \times (\mathbb{Z}_q \rtimes \mathbb{Z})$ ، والذي يمكن إعادة ترتيبه ليظهر أن $\mathbb{Z}$ عامل مباشر، رغم أنها ليست عاملاً للمكونات الأصلية.
$\mathbb{Z}$ هي أولية رودس: $\mathbb{Z}$ تعتبر أولية رودس بالنسبة لكلا النوعين (المباشر ونصف المباشر) لأن كونها صورة جزئية داخلية لزمرة ما يكافئ امتلاك تلك الزمرة لعنصر ذي رتبة لانهائية.
الزمر المتناهية:
- أولوية تارسكي: وفقاً لنظرية كرول-شميدت، أي زمرة متناهية ليست ناتج ضرب مباشر غير بديهي هي أولية بتعريف تارسكي.
- أولوية رودس (نصف المباشرة): تكون الزمرة المتناهية أولية رودس بالنسبة للضرب نصف المباشر إذا وفقط إذا كانت بسيطة (Simple) (الخاصية ٦.٥). وهذا يتناقض مع حالة اللانهاية حيث $\mathbb{Z}$ أولية رودس وليست بسيطة.
- أولوية رودس (المباشرة): تكون الزمرة المتناهية أولية رودس بالنسبة للضرب المباشر إذا كانت أحادية المركز (Monolithic - لها مجموعة طبيعية دنيا فريدة) وتحقق شروطاً إضافية (مثل أن تكون المولّد غير أبيل، أو أن تكون الزمرة ناتج ضرب نصف مباشر للمولد).
الدلالات: تؤسس الورقة تسلسلاً هرميًا للزمر المتناهية:
$\text{Rhodes-semidirect} \implies \text{Rhodes-direct} \implies \text{Monolithic} \implies \text{Tarski-prime}$
ولا يمكن عكس أي من هذه الاستلزامات، كما تثبته أمثلة مضادة محددة (مثلاً: $S_n$ هي أولية رودس مباشرة لكنها ليست أولية رودس نصف مباشرة؛ وزمر $p$ معينة هي أحادية المركز لكنها ليست أولية رودس مباشرة).

د. الأنواع الجبرية العامة (القسم ٧)

تقدم الورقة توصيفاً لأولية رودس للكائنات المتناهية في مختلف الأنواع الجبرية. الكائن $X$ يكون أولياً رودس بالنسبة للضرب المباشر إذا وفقط إذا كان النوع الجزئي الناتج عنه (Subvariety) هو نوع أولي بالانضمام (Join-prime) في شبكة الأنواع الجزئية الناتجة عن الكائنات المتناهية، وأن $X$ هو صورة جزئية داخلية لأي كائن يولّد النوع الذي يحتويه.

٤. الأهمية

حل مشكلات مفتوحة: أجابت الورقة بشكل حاسم على السؤال عما إذا كانت هناك سيمي-جروبات أولية في الفئة العامة (لا) وقدمت فئة غنية من الأمثلة حيث توجد فيها مثل هذه العناصر (السيمي-جروبات الإلغائية، المونويدات).
توضيح المفاهيم: قامت الورقة بالتفريق بدقة بين أولية تارسكي (تحلل نواتج الضرب المباشر) وأولية رودس (تحلل الصور الجزئية داخلية)، موضحة أنهما يسلكان سلوكاً مختلفاً تماماً في سياق الزمر (على سبيل المثال، $\mathbb{Z}$ هي أولية رودس ولكنها ليست أولية تارسكي).
رؤى بنيوية: تربط نتائج بحث الزمر المتناهية الأولية بالخصائص البنيوية العميقة مثل البساطة والأحادية (Monolithicity)، مما يوفر منظوراً جديداً لتفكيك الزمر المتناهية.
أسئلة مفتوحة: تطرح الورقة عدة أسئلة مفتوحة، أهمها ما إذا كانت فئة السيمي-جروبات المتناهية تحتوي على كائنات أولية، ومدى قابلية عكس الاستلزامات بين مفاهيم الأولية المختلفة في الزمر اللانهائية والأنواع الجبرية العامة.

باختصار، تقدم أعمال بيرجمان خريطة شاملة للأولية في البنيات الجبرية، مثبتةً عدم وجود عناصر أولية في السيمي-جروبات العامة بينما تحدد فئات قوية من العناصر الأولية في السياقات الإلغائية، وتؤسس أيضاً تسلسلاً هرمياً دقيقاً لشروط الأولية في الزمر المتناهية.