DOI: https://doi.org/10.1017/fms.2026.10197
تاريخ النشر: 2026-01-01
المؤلف: Alp Müyesser
الموضوع الرئيسي: أبحاث نظرية المجموعات المحدودة
نظرة عامة
في هذا القسم، يعرف المؤلفون الأورثومورفزم لمجموعة محدودة \( G \) كتحويل ثنائي \( \phi: G \to G \) بحيث يكون التحويل \( g \mapsto g^{-1} \phi(g) \) أيضًا تحويلًا ثنائيًا. يشيرون إلى فرضية اقترحها فريدلاندر، غوردون، وتاننباوم في عام 1981، والتي تفترض أنه بالنسبة لأي مجموعة أبلية \( G \) وأي عدد صحيح \( k \geq 2 \) يقسم \( |G| – 1 \)، يوجد أورثومورفزم لـ \( G \) يثبت العنصر الهوية وي permutes العناصر المتبقية إلى منتجات من دورات \( k \) غير متداخلة، بشرط أن تكون مجموعات سيلوي 2 لـ \( G \) إما تافهة أو غير دورية. يؤكد المؤلفون بشكل إيجابي على حل هذه الفرضية لجميع المجموعات الكبيرة بما فيه الكفاية، مما يساهم في تقديم رؤى هامة حول بنية الأورثومورفزمات في المجموعات الأبلية.
مقدمة
في هذا القسم، يقدم المؤلفون مفهوم الأورثومورفزمات في المجموعات المحدودة، المعرفة كتحويلات ثنائية $\phi: G \to G$ بحيث يكون التحويل $g \mapsto g^{-1} \phi(g)$ أيضًا ثنائيًا. تكمن أهمية الأورثومورفزمات في ارتباطها بالمربعات اللاتينية، حيث أن جداول الضرب للمجموعات التي تحتوي على أورثومورفزمات تنتج مربعات لاتينية مع أزواج متعامدة، مما يسهل البناء في نظرية التصميم. التركيز المركزي هو فرضية هول-بايج، التي تفترض أن مجموعة $G$ تمتلك أورثومورفزم إذا وفقط إذا كان حاصل ضرب جميع عناصرها ينتمي إلى مجموعة المبدلات. تم تأكيد هذه الفرضية لبعض المجموعات، وقد ظهرت أدلة حديثة لا تعتمد على تصنيف المجموعات البسيطة المحدودة، على الرغم من أنها تتطلب أن تكون المجموعات كبيرة بما فيه الكفاية.
يهدف المؤلفون إلى تعزيز فرضية هول-بايج من خلال استكشاف الأورثومورفزمات بأنواع دورات محددة، لا سيما تلك التي تتكون من دورات غير متداخلة من الطول $k$. يشيرون إلى فرضية فريدلاندر-غوردون-تاننباوم (FGT)، التي تؤكد وجود مثل هذه الأورثومورفزمات في المجموعات الأبلية التي تلبي شرط هول-بايج. بينما ظلت فرضية FGT غير محلولة لأكثر من أربعين عامًا، يدعي المؤلفون أنهم يحلونها للمجموعات الكبيرة بما فيه الكفاية باستخدام طرق تركيبة احتمالية. تنص نظريتهم الرئيسية على أنه بالنسبة لمجموعة أبلية من الرتبة $n$ وعدد صحيح مناسب $k$، توجد أورثومورفزمات تلبي معايير الفرضية باحتمالية عالية، مما يساهم في الفهم الأوسع للأورثومورفزمات وتطبيقاتها في التصميم التركيبي.
نقاش
في هذا القسم، يناقش المؤلفون تداعيات نتائجهم المتعلقة بفرضية FGT وارتباطها بفرضية هول-بايج، لا سيما في سياق المجموعات الأبلية. يقترحون أنه بينما تم تأسيس فرضية هول-بايج للمجموعات الأبلية، قد تمتد فرضية FGT إلى المجموعات غير الأبلية وحتى المجموعات شبه أو المربعات اللاتينية، مما قد يعمم فرضية رايسر-بروالدي-شتاين. كما يشير المؤلفون إلى أن برهانهم على النظرية 1.2 يكشف عن أنواع دورات إضافية يمكن تحقيقها عبر الأورثومورفزمات، والتي يخططون لتفصيلها في القسم 7.
يقدم المؤلفون مفهوم الخرائط الكاملة، مشيرين إلى تعادلها مع الأورثومورفزمات تحت ظروف معينة. ومع ذلك، يوضحون أن هذا التعادل لا ينطبق عندما يتم تطبيق قيود على نوع الدورة، لا سيما في المجموعات الأبلية حيث لا يمكن أن تؤدي الخرائط الكاملة إلى دورات من الطول 2. يقترحون أن نسخة معدلة من فرضية FGT قد تظل صحيحة للخرائط الكاملة ويخططون لاستكشاف ذلك بشكل أكبر. بالإضافة إلى ذلك، يقدمون تعريفات للرسوم البيانية المساعدة الرئيسية والرسوم البيانية الفائقة، مؤكدين على أهمية العثور على تطابقات مثالية في الرسوم البيانية الفائقة والهياكل قوس قزح في الرسوم البيانية الملونة بالحواف، والتي تعد مركزية في تحليلهم للفرضيات. ينتهي القسم بملاحظة نقدية حول خاصية المجموعات الملونة في المجموعات الأبلية، والتي تعتبر ضرورية لوجود دورات قوس قزح موجهة.
DOI: https://doi.org/10.1017/fms.2026.10197
Publication Date: 2026-01-01
Author(s): Alp Müyesser
Primary Topic: Finite Group Theory Research
Overview
In this section, the authors define an orthomorphism of a finite group \( G \) as a bijection \( \phi: G \to G \) such that the mapping \( g \mapsto g^{-1} \phi(g) \) is also a bijection. They reference a conjecture proposed by Friedlander, Gordon, and Tannenbaum in 1981, which posits that for any abelian group \( G \) and any integer \( k \geq 2 \) that divides \( |G| – 1 \), there exists an orthomorphism of \( G \) that fixes the identity element and permutes the remaining elements into products of disjoint \( k \)-cycles, provided that the Sylow 2-subgroups of \( G \) are either trivial or noncyclic. The authors affirmatively resolve this conjecture for all sufficiently large groups, contributing significant insights into the structure of orthomorphisms in abelian groups.
Introduction
In this section, the authors introduce the concept of orthomorphisms in finite groups, defined as bijections $\phi: G \to G$ such that the mapping $g \mapsto g^{-1} \phi(g)$ is also bijective. The significance of orthomorphisms lies in their connection to Latin squares, where the multiplication tables of groups with orthomorphisms yield Latin squares with orthogonal mates, facilitating constructions in design theory. A central focus is the Hall-Paige conjecture, which posits that a group $G$ possesses an orthomorphism if and only if the product of all its elements belongs to the commutator subgroup. This conjecture has been confirmed for certain groups, and recent proofs have emerged that do not rely on the classification of finite simple groups, although they require the groups to be sufficiently large.
The authors aim to strengthen the Hall-Paige conjecture by exploring orthomorphisms with specific cycle types, particularly those that consist of disjoint cycles of length $k$. They reference the Friedlander-Gordon-Tannenbaum (FGT) conjecture, which asserts the existence of such orthomorphisms in abelian groups satisfying the Hall-Paige condition. While the FGT conjecture has remained unresolved for over forty years, the authors claim to resolve it for sufficiently large groups using probabilistic combinatorial methods. Their main theorem states that for an abelian group of order $n$ and a suitable integer $k$, there exist orthomorphisms that meet the conjecture’s criteria with high probability, thus contributing to the broader understanding of orthomorphisms and their applications in combinatorial design.
Discussion
In this section, the authors discuss the implications of their findings related to the FGT conjecture and its connection to the Hall-Paige conjecture, particularly in the context of abelian groups. They suggest that while the Hall-Paige conjecture is established for abelian groups, the FGT conjecture may extend to nonabelian groups and even quasi-groups or Latin squares, potentially generalizing the Ryser-Brualdi-Stein conjecture. The authors also note that their proof of Theorem 1.2 reveals additional cycle types realizable via orthomorphisms, which they plan to elaborate on in Section 7.
The authors introduce the concept of complete mappings, highlighting their equivalence to orthomorphisms under certain conditions. However, they clarify that this equivalence does not hold when cycle type restrictions are applied, particularly in abelian groups where complete mappings cannot induce cycles of length 2. They propose that a modified version of the FGT conjecture may still hold for complete mappings and plan to explore this further. Additionally, they present definitions of key auxiliary graphs and hypergraphs, emphasizing the importance of finding perfect matchings in hypergraphs and rainbow structures in edge-colored graphs, which are central to their analysis of the conjectures. The section concludes with a critical observation about the zero-sum property of color sets in abelian groups, which is essential for the existence of directed rainbow cycles.