Given two subgroups $H,K$ of a finite group $G$, the probability that a pair of random elements from $H$ and $K$ commutes is denoted by $Pr(H,K)$. Suppose that a finite group $G$ admits a group of coprime automorphisms $A$ and let $ε>0$. We show that, if for any distinct primes $p,q\inÏ(G)$ there is an $A$-invariant Sylow $p$-subgroup $P$ and an $A$-invariant Sylow $q$-subgroup $Q$ of $G$ for which $Pr([P,A],[Q,A])\geε$, then $F_2([G,A])$ has $ε$-bounded index in $[G,A]$ (Theorem 1.2). Here $F_2(K)$ stands for the second term of the upper Fitting seris of a group $K$. We also show that, if $G=[G,A]$ and for any prime $p$ dividing the order of $G$ there is an $A$-invariant Sylow $p$-subgroup $P$ such that $\Pr([P,A], [P,A]^x)\geqε$ for all $x\in G$, then $G$ is bounded-by-abelian-by-bounded (Theorem 1.4).
- معرّف الورقة: 2511.07597
- العنوان: Finite groups, commuting probability, and coprime automorphisms
- المؤلفون: Eloisa Detomi, Robert M. Guralnick, Marta Morigi, Pavel Shumyatsky
- التصنيف: math.GR (نظرية المجموعات)
- تاريخ الإرسال: 10 نوفمبر 2025 إلى arXiv
- رابط الورقة: https://arxiv.org/abs/2511.07597
تدرس هذه الورقة مسألة احتمالية التبديل بين عناصر المجموعات الجزئية في المجموعات المنتهية. بالنسبة لمجموعتين جزئيتين H,K من مجموعة منتهية G، يُرمز بـ Pr(H,K) إلى احتمالية أن يتبادل عنصران مختاران عشوائياً من H و K. تتضمن النتائج الرئيسية:
- النظرية 1.2: لتكن G مجموعة منتهية تقبل مجموعة تشاكلات ذاتية أولية A، و ϵ>0. إذا كان لأي عددين أوليين مختلفين p,q∈π(G)، توجد مجموعة Sylow p-ثابتة تحت A وهي P ومجموعة Sylow q-ثابتة تحت A وهي Q بحيث Pr([P,A],[Q,A])≥ϵ، فإن الدليل [G,A]:F2([G,A]) يكون محدوداً بـ ϵ.
- النظرية 1.4: إذا كان G=[G,A] وكان لكل عدد أولي p∣∣G∣، توجد مجموعة Sylow p-ثابتة تحت A وهي P بحيث Pr([P,A],[P,A]x)≥ϵ لجميع x∈G، فإن G تكون محدودة-بـ-تبديلية-بـ-محدودة.
- النتائج الكلاسيكية لاحتمالية التبديل:
- نظرية P. M. Neumann: إذا كانت مجموعة منتهية G تحقق Pr(G,G)≥ϵ، فإن G تملك مجموعة جزئية طبيعية R بحيث يكون الدليل ∣G:R∣ وترتيب المبدلات [R,R] محدودين بـ ϵ
- بالنسبة للمجموعات غير التبديلية، Pr(G,G)≤5/8 هو الحد الأعلى المعروف
- تبديل مجموعات Sylow:
- المجموعة المنتهية تكون نيلبوتنسية إذا وفقط إذا تبادلت أي مجموعتي Sylow ذات رتب أولية مختلفة
- النظرية 1.1 (من المرجع 12): إذا كان لأي عددين أوليين مختلفين p,q، توجد مجموعة Sylow p وهي P ومجموعة Sylow q وهي Q بحيث Pr(P,Q)≥ϵ، فإن F2(G) يملك دليلاً محدوداً بـ ϵ في G
تعمم هذه الورقة النتائج المذكورة أعلاه إلى حالة التشاكلات الذاتية الأولية:
- التشاكل الذاتي الأولي هو تشاكل ذاتي يكون ترتيبه أولياً مع ترتيب المجموعة
- دراسة بنية [G,A] (المجموعة الجزئية المولدة بواسطة جميع g−1gα)
- هذا بحث متقاطع بين نظرية التشاكلات الذاتية ونظرية احتمالية التبديل في نظرية المجموعات
- التشاكلات الذاتية الأولية تحتل مكانة خاصة في نظرية المجموعات المنتهية، حيث يحافظ تأثيرها على خصائص جيدة كثيرة
- إدخال الطرق الاحتمالية في دراسة مجموعات التشاكلات الذاتية يوفر أداة جديدة لتوصيف البنية
- تعتمد النتائج على نظرية تصنيف المجموعات البسيطة المنتهية، مما يعكس الروابط العميقة في نظرية المجموعات الحديثة
- إثبات النظرية 1.2: تحت تأثير التشاكلات الذاتية الأولية، استنتاج محدودية F2([G,A]) من احتمالية التبديل بين مجموعات Sylow، وهي تعميم غير تافه للنظرية 1.1 في حالة التشاكلات الذاتية
- إنشاء النظرية 1.3: بالنسبة للتحويلات المرافقة لمجموعة Sylow الواحدة، إعطاء محدودية ترتيب [P,A] بمعامل Op(G)
- التوصيف الكامل للنظرية 1.4: عند تحقق الشروط في جميع المواضع الأولية، إثبات أن G تملك بنية من نوع Neumann
- الابتكارات التقنية:
- تطوير تقنيات دقيقة للتعامل مع مجموعات Lie من النوع المحدود والتشاكلات الذاتية الأولية (القسم 5)
- إنشاء إطار عمل استقرائي للحالة القابلة للحل (القسم 4)
- إثبات نظرية البنية للحالة شبه البسيطة (القسم 6)
- بناء الأمثلة المضادة: إظهار أن الدليل F([G,A]) يمكن أن يكون كبيراً بشكل تعسفي (مثال في القسم 4)، مما يوضح الأمثلية للنظرية
- احتمالية التبديل:
Pr(X,Y)=∣X∣∣Y∣∣{(x,y)∈X×Y∣xy=yx}∣
- التأثير الأولي: مجموعة A تؤثر على G، إذا كان (∣G∣,∣A∣)=1
- مجموعة المبدلات: [G,A]=⟨g−1gα∣g∈G,α∈A⟩
- سلسلة Fitting العليا: Fi(G) هو الحد i-th من سلسلة Fitting العليا لـ G
تستخدم الورقة استراتيجية التصنيف الاستقرائي، معالجة الحالات المختلفة حسب بنية المجموعة:
اللمة الأساسية 4.3: إذا كان G=PQ (P طبيعية، Q مجموعة Sylow ثابتة تحت α، Q=[Q,α])، وتحقق الافتراض 4.1، فإن ∣G:F(G)∣≤m (حيث m محدودة بـ ϵ).
خطوات الإثبات:
- الاختزال إلى حالة F(G)=P تبديلية
- استخدام Pr([P,α],Q)≥ϵ وتطبيق الاقتراح 3.4
- الحصول على مجموعة جزئية طبيعية U و P0≤[P,α] بحيث يكون ترتيب [P0,U]G محدوداً
- إكمال الإثبات من خلال خصائص مجموعة Fitting
اللمة 4.6 (النظرية الرئيسية للحالة القابلة للحل): تحت الافتراض 4.1، إذا كانت G قابلة للحل و G=[G,α]، فإن ∣G:F2(G)∣ محدودة بـ ϵ.
نقاط الإثبات الرئيسية:
- اللمة 4.5: بالنسبة لعدد أولي كبير بما يكفي q>m، يكون [Q,α]≤F(G)
- استخدام محدودية ارتفاع Fitting (نظرية Hall-Higman)
- اللمة 2.10: التحكم في ∣IF(G)(α)∣ لتحديد ∣G∣
اللمة 5.2: إذا كانت G مجموعة Lie من النوع المحدود في الخاصية p، و P مجموعة Sylow p-ثابتة تحت α، فإن [P,α] تحتوي على عنصر نيلبوتنسي منتظم x و CG(x)≤P.
تقنيات الإثبات:
- للمجموعات غير الملتوية: بناء x=∏r∈Πxr(tα−t)
- للمجموعات الملتوية: استخدام بنية الفئات المكافئة لبناء عنصر منتظم
- استخدام صيغة مبدلات Chevalley (الملاحظة 5.1)
اللمة 5.4: تحت الافتراض 4.1، إذا كانت G مجموعة بسيطة، فإن الخاصية p محدودة بـ ϵ.
الاقتراح 5.5 (النتيجة الرئيسية للحالة البسيطة): تحت الافتراض 4.1، إذا كانت G مجموعة بسيطة، فإن ∣G∣ محدودة بـ ϵ.
استراتيجية الإثبات:
- استخدام عدد أولي Zsigmondy r (لـ (p,f∣α∣e))
- إثبات أن r≥f∣α∣e، و r لا يقسم ∣CG(α)∣
- إذا كانت R مجموعة Sylow r-ثابتة تحت α، فإن [R,α]=R
- استخدام Pr([P,α],R)≥ϵ للاستنتاج أن ∣R∣ أو ∣[P,α]∣ محدودة
- تطبيق اللمة 2.2 لإكمال الإثبات
اللمة 6.3: تحت الافتراض 4.1، إذا كانت G شبه بسيطة وبدون مجموعات جزئية طبيعية حقيقية غير تافهة ثابتة تحت α، فإن ∣G∣ محدودة بـ ϵ.
اللمة 6.4: تحت الافتراض 4.1، إذا كانت G شبه بسيطة و G=[G,α]، فإن ∣G∣ محدودة بـ ϵ.
خطوات الإثبات:
- كتابة G=T1×⋯×Ts (حيث Ti مجموعات جزئية طبيعية ثابتة تحت α وحدية)
- ترتيب كل Ti محدود بـ ϵ (اللمة 6.3)
- المفتاح: إثبات أن s محدودة بـ ϵ
- استخدام اللمة 3.2: إذا كان [P,Q]=1، فإن Pr(P,Q)≤3/4
- من خلال عدم المساواة الاحتمالية ϵ≤∏i=1sPr([Pi,α],[Qi,α])≤(3/4)s نحصل على محدودية s
اللمة 7.1: إذا كان ∣[G,a]∣≤m لجميع a∈A، فإن ∣[G,A]∣ محدودة بـ m.
إثبات النظرية 1.2:
- لكل α∈A، [G,α] تحقق شروط النظرية 6.6
- من النظرية 6.6، ∣[G,α]:F2([G,α])∣ محدودة بـ ϵ
- لاحظ أن F2([G,α])≤F2(G)
- بعد حذف F2(G)، ترتيب كل [G,α] محدود
- تطبيق اللمة 7.1 للحصول على محدودية [G,A] بمعامل F2(G)
- دمج الطرق الاحتمالية مع نظرية البنية:
- اللمة 3.3: استنتاج وجود مجموعات جزئية طبيعية من احتمالية التبديل
- الاقتراح 3.4: إنشاء ارتباط بين احتمالية التبديل وترتيب مجموعات المبدلات
- التحليل الدقيق لمجموعات Lie:
- استخدام بنية مجموعات الجذور وصيغة Chevalley
- معالجة موحدة للحالات الملتوية وغير الملتوية
- التطبيق الحاسم لأعداد Zsigmondy الأولية
- تصميم دقيق للحجج الاستقرائية:
- في المجموعات القابلة للحل استخدام مجموعة Fitting وارتفاع Fitting
- في المجموعات شبه البسيطة استخدام تحليل الضرب المباشر والضرب الاحتمالي
- اللمة 2.8: التحكم في ترتيب γ∞(G)
هذه ورقة بحثية نظرية في الرياضيات البحتة، ولا تتضمن تجارب أو حسابات عددية. جميع النتائج هي براهين رياضية صارمة.
النظرية 1.2: لتكن ϵ>0، و G مجموعة منتهية تقبل مجموعة تشاكلات ذاتية أولية A. إذا كان لأي عددين أوليين مختلفين p,q∈π(G)، توجد مجموعة Sylow p-ثابتة تحت A وهي P ومجموعة Sylow q-ثابتة تحت A وهي Q بحيث Pr([P,A],[Q,A])≥ϵ، فإن F2([G,A]) يملك دليلاً محدوداً بـ ϵ في [G,A].
النظرية 1.3: لتكن G مجموعة منتهية تقبل مجموعة تشاكلات ذاتية أولية A، و P مجموعة Sylow p-ثابتة تحت A. إذا كان Pr([P,A],[P,A]x)≥ϵ لجميع x∈G، فإن ترتيب [P,A] بمعامل Op(G) محدود بـ ϵ.
النظرية 1.4: لتكن G مجموعة منتهية تقبل مجموعة تشاكلات ذاتية أولية A، و G=[G,A]. إذا كان لكل عدد أولي p∣∣G∣، توجد مجموعة Sylow p-ثابتة تحت A وهي P بحيث Pr([P,A],[P,A]x)≥ϵ لجميع x∈G، فإن G تكون محدودة-بـ-تبديلية-بـ-محدودة.
مثال من القسم 4: بناء مجموعات تحقق افتراضات النظرية 1.2 لكن ∣[G,α]:F([G,α])∣ يمكن أن يكون كبيراً بشكل تعسفي:
- أخذ C مجموعة دورية من الرتبة 3، و α تشاكل ذاتي من الرتبة 2
- بالنسبة للأعداد الأولية p1,…,ps>3، بناء الحاصل الإكليلي Hpi
- G=∏i=1sHpi تحقق الشروط لكن ∣G:F(G)∣=3s
هذا يوضح أن F2 في النظرية 1.2 هو الأمثل، ولا يمكن تحسينه إلى F.
- اللمة 2.2: التحكم في ترتيب مجموعات Lie البسيطة
- إذا كان ∣[P,α]∣≤C، فإن ∣G∣ محدودة بـ C
- استخدام ∣[P,α]∣≥∣P∣1/2 و ∣G∣≤∣P∣3
- اللمة 2.10: التحكم في ترتيب المجموعات القابلة للحل
- إذا كان ∣IF(G)(α)∣≤n، فإن ∣G∣ محدودة بـ n
- استخدام ارتفاع Fitting ونظرية Kaluzhnin
- اللمة 8.2: بنية حاصل الضرب من المجموعات الجزئية الطبيعية
- إذا كان G=A1⋯Ak و Pr(Ai,Aj)≥ϵ
- فإن توجد مجموعة جزئية طبيعية D بحيث يكون ∣G:D∣ و ∣D′∣ محدودين بـ (ϵ,k)
- P. M. Neumann 26: Pr(G,G)≥ϵ يستلزم أن G محدودة-بـ-تبديلية-بـ-محدودة
- النظرية 1.4 في هذه الورقة هي تعميم تلك النتيجة في حالة التشاكلات الذاتية
- Guralnick-Robinson 18: الخصائص الأساسية والحدود لاحتمالية التبديل
- Detomi-Lucchini-Morigi-Shumyatsky 12: النظرية 1.1
- النظرية 1.2 في هذه الورقة هي تعميم تلك النتيجة في حالة التشاكلات الذاتية الأولية
- Acciarri-Guralnick-Shumyatsky 2,3: الخصائص الأساسية للتشاكلات الذاتية الأولية
- معايير القابلية للحل والنيلبوتنسية
- استخدمت الورقة تقنيات من هذه الأعمال
- Hartley-Isaacs 20: اللمة 2.5 حول تقدير تعدد التمثيلات المعيارية
- Hall-Higman 21: نظرية تحديد ارتفاع Fitting
- Detomi-Guralnick-Morigi-Shumyatsky 11:
- إذا كان Pr(P,Px)≥ϵ لجميع x∈G، فإن [P:Op(G)] محدودة
- النظرية 1.3 هي نسخة التشاكل الذاتي من تلك النتيجة
- Gorenstein-Lyons-Solomon 15,16: تصنيف المجموعات البسيطة المنتهية
- الاعتماد الأساسي للورقة: المجموعات البسيطة تحت تأثير التشاكلات الذاتية الأولية يجب أن تكون من نوع Lie
- التشاكلات الذاتية يجب أن تكون تشاكلات ذاتية حقلية
- Carter 9,10: نظرية بنية مجموعات Lie
- خصائص مجموعات الجذور، مجموعات Borel، والعناصر المنتظمة
- أهمية النظرية 1.2:
- تعميم نظرية البنية لاحتمالية التبديل بين مجموعات Sylow إلى حالة التشاكلات الذاتية الأولية
- F2([G,A]) هو الأمثل (الأمثلة المضادة توضح عدم إمكانية التحسين إلى F([G,A]))
- توفير طريقة جديدة للاستنتاج من المعلومات المحلية (مجموعات Sylow) إلى البنية الكلية
- أهمية النظرية 1.4:
- عند تحقق الشروط في جميع المواضع الأولية، الحصول على نفس الاستنتاج كما في نظرية Neumann
- توضيح أن شروط احتمالية التبديل قوية بنفس القدر في حالة التشاكلات الذاتية
- المساهمات التقنية:
- تطوير طريقة منهجية للتعامل مع مجموعات Lie البسيطة والتشاكلات الذاتية الأولية
- إنشاء إطار عمل لتطبيق الطرق الاحتمالية في نظرية المجموعات ذات التشاكلات الذاتية
- الاعتماد على تصنيف المجموعات البسيطة المنتهية:
- جميع النتائج الرئيسية تعتمد على CFSG (تصنيف المجموعات البسيطة المنتهية)
- هذا أمر لا مفر منه، لأنه يتطلب تحليل جميع المجموعات البسيطة الممكنة
- عدم فعالية الثوابت المحدودة:
- الإثبات يعطي ثوابت محدودة بـ ϵ بطريقة وجودية، دون إعطاء صيغ صريحة
- قد يكون حساب هذه الثوابت فعلياً صعباً جداً
- ضرورة الشروط:
- النظرية 1.2 تتطلب احتمالية تبديل سفلى لجميع أزواج الأعداد الأولية المختلفة
- ما إذا كان يمكن تضعيف هذا إلى بعض أزواج الأعداد الأولية فقط غير واضح
- إمكانيات التعميم:
- هل يمكن تعميم النتائج إلى التشاكلات الذاتية غير الأولية؟
- هل يمكن تعميمها إلى بعض فئات المجموعات اللانهائية؟
- حساب الحدود الصريحة:
- إعطاء صيغ صريحة لثوابت محدودة بـ ϵ
- دراسة السلوك التقاربي للحدود المثلى
- أنواع تشاكلات ذاتية أخرى:
- دراسة حالة التشاكلات الذاتية غير الأولية
- النظر في أنواع خاصة من التشاكلات الذاتية (مثل التشاكلات الذاتية الداخلية، تشاكلات الرسم البياني)
- تضعيف شروط الاحتمالية:
- دراسة ما إذا كان يمكن تطلب الشروط فقط لبعض أزواج الأعداد الأولية
- النظر في أنواع أخرى من شروط الاحتمالية
- التطبيقات:
- تطبيق النتائج على نظرية تمثيل المجموعات
- التطبيق على المسائل في التوافقيات الجبرية
- العمق النظري:
- دمج ماهر لاحتمالية التبديل، نظرية Sylow، التشاكلات الذاتية الأولية وتصنيف المجموعات البسيطة المنتهية
- تقنيات إثبات دقيقة، استخدام كامل للنتائج العميقة من فروع مختلفة
- أمثلية النتائج:
- إثبات من خلال أمثلة مضادة أن F2 في النظرية 1.2 لا يمكن تحسينه إلى F
- يوضح فهماً عميقاً جداً للمشكلة من قبل المؤلفين
- الطابع المنهجي:
- معالجة متدرجة من المجموعات القابلة للحل إلى المجموعات البسيطة ثم إلى المجموعات العامة
- كل مرحلة مدعومة بلمات أساسية تدعم النظرية الرئيسية
- الابتكارات التقنية:
- اللمة 5.2 حول بناء العناصر النيلبوتنسية المنتظمة دقيقة جداً
- الفكرة في اللمة 6.4 باستخدام الضرب الاحتمالي للتحكم في عدد عوامل الضرب المباشر جديدة
- الوضوح في الكتابة:
- البنية واضحة، المنطق صارم
- الملاحظات والأمثلة المناسبة تساعد على الفهم
- سهولة القراءة:
- تتطلب معرفة خلفية واسعة في نظرية المجموعات (سلسلة Fitting، نظرية Hall-Higman، مجموعات Lie)
- يصعب على غير المتخصصين فهمها
- تعقيد الحسابات:
- لم يتم مناقشة كيفية التحقق العملي من الشروط
- عدم فعالية ثوابت المحدودية يحد من التطبيقات
- عمومية النتائج:
- النتائج تعتمد بشدة على افتراض الأولية
- لم يتم تناول حالة مجموعات التشاكلات الذاتية العامة
- أمثلة التطبيق:
- لم تُعطَ أمثلة محددة للتطبيقات
- نقص الروابط مع فروع الرياضيات الأخرى
- المساهمة النظرية:
- تقدم تطبيق احتمالية التبديل في نظرية المجموعات ذات التشاكلات الذاتية
- توفير أدوات نظرية مهمة وإرشادات منهجية للبحث اللاحق
- المساهمة المنهجية:
- مثال على دمج الطرق الاحتمالية مع نظرية البنية
- التقنيات المستخدمة في التعامل مع مجموعات Lie يمكن تطبيقها على مسائل أخرى
- المسائل المفتوحة:
- تثير اهتماماً بدراسة أنواع تشاكلات ذاتية أخرى
- مسائل حول الحدود المثلى تستحق المزيد من الاستكشاف
- بحث نظرية المجموعات:
- دراسة بنية المجموعات المنتهية وتصنيفها
- تحليل تأثير مجموعات التشاكلات الذاتية
- الرياضيات الجبرية:
- التطبيقات في نظرية تمثيل المجموعات
- المسائل المتعلقة بالمجموعات الجبرية
- علوم الحاسوب النظرية:
- تحليل تعقيد خوارزميات المجموعات
- المسائل المتعلقة بالتشفير في نظرية المجموعات
تستشهد الورقة بـ 28 مرجعاً مهماً، تتضمن بشكل أساسي:
- 26 P. M. Neumann (1989): العمل الرائد في احتمالية التبديل
- 12 Detomi et al. (2024): أحدث النتائج في احتمالية التبديل بين مجموعات Sylow
- 21 Hall-Higman (1956): نظرية طول p للمجموعات القابلة للحل
- 9,10 Carter (1972, 1985): المراجع المعيارية لنظرية بنية مجموعات Lie
- 15,16 Gorenstein-Lyons-Solomon (1994, 1998): تصنيف المجموعات البسيطة المنتهية
- 2,3 Acciarri-Guralnick-Shumyatsky (2022, 2023): أحدث الأعمال في التشاكلات الذاتية الأولية
التقييم الإجمالي: هذه ورقة بحثية عالية الجودة في نظرية المجموعات، تطبق بنجاح طرق احتمالية التبديل على نظرية التشاكلات الذاتية الأولية، محققة نتائج عميقة وأمثلية. تقنيات الإثبات دقيقة، وتعرض بشكل كامل قوة نظرية المجموعات المنتهية الحديثة. على الرغم من أنها متخصصة بدرجة عالية، فإنها توفر أدوات نظرية مهمة وإرشادات منهجية لباحثي هذا المجال.