تمثيل زمرة منتهية
في الرياضيات، الزمرة هي عبارة عن بنية جبرية تتكون من مجموعة ذات قانون تركيب داخلي وَحِيدْ، وهذا الأخير يحقق بعض الخصائص، فهو تجميعي، ويحتوي على عنصر محايد وجميع عناصره تقبل مقلوباً، أما الزمرة المنتهية فهي زمرة عدد عناصرها منتهٍ، يُخفي هذا التعريف البسيط أنه يمكن لبِنْيَتُها أن تُصبح معقدة كثيرا إذا كانت رتبتها كبيرة، أي عدد عناصرها أكبر، أما تمثيل زمرة منتهية فهو طريقة لدراسة مثل هذه البنية، إنه بمثابة دراسة الزمرة كمجموعة من التمثيلات في الفضاء الإقليدي، على سبيل المثال، يمكن تمثيل زمرة التبديلات لمجموعة مكونة من ثلاثة عناصر كزمرة التطبيقات الخطية للمستوى فنجد عموماً ثابت وهو مثلث متساوي الأضلاع مركزه نقطة الأصل.
يمكن تفكيك التمثيل إلى عناصر بسيطة، تسمى تمثيلات غير قابلة للاختزال ويكون عددها منتهٍ، وهي تمثل الحجر الأساس الذي يُمكِّن من بناء جميع التمثيلات، وتلعب الهندسة الإقليدية دورًا في هذا المجال. كل تمثيل فُكِّك إلى تمثيلات غير قابلة للاختزال يمكن أن يُعَمَّلَ على فضاءات أصغر كلها متعامدة مع بعضها البعض. وهناك طريقة لدراسة تمثيل معين وذلك باعتبار التطبيق الذي يربط عنصر من عناصر الزمرة، بمجموع معاملات المصفوفة التي تُمَثل صورة التطبيق الخطي، وهذا التطبيق نسميه حرف التمثيل، وهو أيضا جزء من الفضاء الإقليدي الذي يسمى فضاء الدوال المركزية، وتتكون القاعدة نظامية التعامد لهذا الفضاء من أحرف التمثيلات غير القابلة للاختزال وحِساب إحداثيات كل حرف في هذه القاعدة هو ما يَجعلُ التفكيك إلى عناصر بسيطة ممكناً، كما هو الحال في الجبر، تكون الدراسة أبسط إذا استخدمنا أرقامًا خيالية في الفضاء المتجهي، وبعد ذلك يُعرَّف الجداء السُّلَمي المذكور هنا بأعداد معقدة، ونتحدث أحيانًا عن الجداء الهيرميتي والهندسة الهيرميتية.
تاريخيا، ظهرت هذه النظرية لتجيب على سؤال في نظرية غالوا، دراسة حلول المعادلة متعددة الحدود تؤدي إلى دراسة تمثيل زمرة تسمى زمرة غالوا. في النصف الثاني من القرن التاسع عشر، حاول الرياضياتي الألماني ديدكايند، البحث عن تعميل لمعادلة من الدرجة الرابعة من زمرة غالوا، إذ وجد أن المهمة ليست سهلة، لأن مثل هذه الزمرة تُمَثّل ب24 مصفوفة من كل 24² = 576 عامل. فلم ينجح، فكتب إلى فرديناند جورج فروبنيوس، الذي سرعان ما فهم لماذا الأحرف هي الإجابة على هذا السؤال الحساس وهي الحل لهذه الصعوبة. وتوقع فروبنيوس أن لديه نهج مثمر هنا، مما فتح الطريق لنظريته الواسعة، مصدر التقدم في نظرية الزمر.
تقدم هذه النظرية في الواقع أدوات قوية لتوضيح نظرية الزمر المنتهية، مما يسمح على سبيل المثال بتحديد مدى قابلية الزمرة للحلحة وفقًا لرتبتها. وبالطريقة المختصرة، تَمْثِيل الزمر المنتهية هو الأداة الأساسية لتصنيفها، ولا تتوقف المساهمة الجبرية عند هذا الحد، فقد أُضِيفَتْ تطبيقات خطية، جعلت من الممكن تحديد حلقة رياضية، وإذا أخذنا بعين الاعتبار الفضاء المتجهي الناتج عن صور الزمرة، تتداخل أدوات تمثيل زمرة منتهية في دراسة بنية الحلقة، كما يتضح من نظرية آرتن ويدربورن، في الأخير، تُعدُّ نظرية غالوا، هي مصدر عمل فروبنيوس، ومن خلال نظرية الحقول الفصلية أو تلك الموجودة في برنامج لانجلاندس، يكون تمثيل الزمر في صميم البحث الرياضي الحالي.
تاريخ
[عدل]ما قبل التمثيلات
[عدل]نظرية الزمر المنتهية
[عدل]
نظرية الزمر لها أصولها في دراسة زمرة تقابلات زمرة منتهية، هذا المفهوم، يسمى بالتبديل، وحتى القرن السابع عشر على الأقل، استَخْدَم الياباني سيكي تاكاكازو (1642 - 1708) والألماني [1] غوتفريد لايبنتس (1646 - 1716) التباديل ومفهوم التوقيع لتعريف المحددة في فضاءات ثلاثية أو رباعية الأبعاد، أما الاستخدام الأكثر منهجية فهو عمل لاغرانج [2] وفاندرموند [3] في إطار المعادلة متعددة الحدود، ومن ناحية أخرى، لا تعتبر مجموعة التباديل، في أي من الحالات المذكورة، بمثابة بنية تَتضمَّنُ قانوناً داخلياً.
شهد مطلع القرن التاسع عشر مساهمة ذات أهمية أساسية في نظرية الزمر المنتهية، ففي عام 1801، استَخدم كارل فريدريش غاوس [4] الزمر الدائرية لإيجاد الحساب المعياري ولحل المعادلة السيكلومترية بمؤشر عدد فيرما الأولي. استُخدمت مؤخراً مجموعة منتهية تحتوي على عملية داخلية لتعطي بنية للزمرة، تصبح معرفة مثل هذه البنية ضرورية لأي عالم رياضيات يدرس الحساب، ومع ذلك، لم يعترف غاوس طوال حياته بأهمية أو فائدة هذه الصياغة.
قام إيفاريست غالوا (1811-1832)، وإتماماً لأعمال [5] عالم الرياضيات النرويجي نيلز أبيل (1802-1829)، بتحقيق قفزة كمؤسس لعلم الجبر الحديث. عن طريق مسألة المعادلة الجبرية، حيث اكتشف [6] ليس فقط نطاق المجال التطبيقي للبنية، بل أكثر من ذلك، حيث وجد بنيات جديدة لمفهوم الزمرة المجردة. ولم يلقى حجم عمله هذا اهتماماً من قبل المجتمع إلا بعد مرور خمسة عشر عامًا، عندما أعاد [7] جوزيف ليوفيل اكتشاف كتابات غالوا في عام 1846 ووضع نظرية الزمر المنتهية باعتبارها موضوعا من المستوى الرفيع، ونشر أوغستين كوشي خمسة وعشرون مقالاً حول هذا السؤال، بما في ذلك مقالةً عن نظريته الشهيرة.[8] وقدم آرثر كيلي أول تعريف تجريدي للزمرة، [9] وامتد مجال تطبيقه، حيث لاحظ فيليكس كلاين[10] في عام 1877، أن زمرة تقايسات تغير عشروني السطوح متساوية الشكل مع زمرة غالوا لمعادلة من الدرجة الخامسة، ومنذ ميلاد الهندسة الجبرية، تلعب الزمر المنتهية فيها دور رئيسي. ولزيادة المعرفة بالموضوع، في عام 1872 وضع لودفيج سيلو نظرياته الشهيرة.[11] وفي عام 1895 قدم هاينريش فيبر تعريفاً حديثاً للزمرة.[12]
الحرف وزمرة التشاكل الذاتي
[عدل]
يُمثل الحرف أداة أساسية لتمثيل الزمر. إنه يتوافق، مع النظرة الحديثة، في أثر التشاكلات الذاتية المختلفة المُقابِلة للزمرة الممثلة.
يمكننا أن نستشهد برمز ليجاندر، في القرن السابق، لتفسير قانون التقابل التربيعي، كمثال أول للحرف، وعلى مقربة من هذا الرمز، استخدم غوستاف دركليه لأول مرة مصطلح الحرف [13] لدالة جداءية.
قام ريتشارد ديدكايند بنقل الأفكار المرتبطة بالزمر المنتية. وعرف رسميا مفهوم حرف زمرة تبادلية منتهية بمثابة تشاكل لهذه الزمرة في الأعداد المركبة غير المنعدمة.[14] ومعروف أيضا أن الأحرف تكون علاقاتها متعامدة، ولكن فقط في السياق التبادلي.
أخيرًا، فكرة زمرة منتهية لتشاكل ذاتي لم تكن غير معروفة بشكل كبير. وفي عام 1870، درس كاميل جوردان زمرات غالوا [15] كزمرة من المصفوفات التي أطلق عليها الزمرة الخطية، وقام بدراستها في حالة الحقول المنتهية الأولية، يعني عمدتها عدد أولي، وتعامل مع حالة تحليل تشاكل ذاتي وحيد إلى عوامل. وكان فيليكس كلاين، منذ برنامجه الشهير إرلَنغن، على دراية بهذا المفهوم. وقاما ليوبلد كرونكر وريتشارد ديدكايند بتطوير وبناء نظرية الحلقات والحقول.[16] لا يمكن تعريف زمرة غالو فقط بواسطة التشاكلات الذاتية ولا كزمرة تبديلات للجذور.
إذا كانت فكرة تجسيد زمرة منتهية كعائلة من التشاكلات الذاتية مفهومة تمامًا في نهاية هذا القرن، فإنها تواجه صعوبة حقيقية. على سبيل المثال، بالنسبة للمعادلة من الدرجة الرابعة، عندما تكون الزمرة تضم 24 عنصرًا، كل منها يتوافق مع مصفوفة 24 × 24. وطور ديدكايند طريقة أخرى وهي محددات الزمر.
في عام 1896، طُوِّرَت نظرية الزمر المنتهية بشكل كبير، وكذلك الأدوات اللازمة لتطوير نظرية التمثيلات. ومع ذلك، فإن الحجم والتعقيد الحسابي يمثلان حاجزًا لم يجد ديدكايند طريقة للتغلب عليه. فقام في 25 مارس و6 أبريل 1896 بإرسال رسالتين إلى فرديناند جورج فروبنيوس حول هذا الموضوع، [17] ولم يكن المُسْتَقْبِلُ مبتدئًا، فقد برهن، على سبيل المثال، نظريات سيلو في حالة الزمر التجريدية [18] وأعاد مع لودويغ سكيلكلبر صياغة تجريد نظرية كرونكر حول بنية الزمر التبادلية المنتهية.[19]
ميلاد النظرية (1896)
[عدل]
هناك القليل من النظريات التي لها تاريخ ميلاد محدد. الزمر على سبيل المثال ظهرت شيئًا فشيئًا، من لاغرانج إلى التعريف الدقيق لويبر، حيث تطورت ببطيء وباستمرار. باستثناء نظرية التمثيل، حيث يربط المؤرخون وبشكلٍ منهجي مولدها بشهر أبريل [20] 1896.
رد فروبنيوس على ديدكايند بثلاثة خطابات[21] في الأيام 12 و 17 و 26 من هذا الشهر. وكان مُدركاً بأن نهجه هو أساس نظرية واسعة وكتب بسرعة في التعاملات التأسيسية.
في 16 يوليو، نشر مقالته الأولى.[22] وهذا اقتباس منها:
لم تعد الحروف تقتصر على حالة التبادلية، وهذا هو المفتاح الأول لنجاحها.
هذا التعميم يسمح بتعميل محددة الزمرة، مما أدى إلى المنشور الثاني.[23] وفي الأخير، إن وجود جداء هرميتي طبيعي يشكل قاعدة طبيعية متعامدة من الحروف غير القابلة للاختزال، وهذا ما وَفّر موضوع المقالة الثالثة.[24] ونشرت جميع هذه النتائج في نفس العام.
في نهاية عام 1896، لا يزال هناك الكثير مما ينبغي عمله. مفهوم التمثيل ليس واضحاً، ويبقى موضوع الدراسة هو محددة الزمرة. ولا يُطَبَّقُ مفهوم عدم القابلية للاختزال هنا، ولا تسمح تقنية الامتداد بتحليل الزمرة من زمراتها الفرعية، والعلاقة بين التمثيل وعلم الحساب غير مثبتة والحالة الوحيدة التي دُرِست هي الأعداد المركبة. ومع ذلك، فقد سمح تعميم الحروف بحدوث قفزة مهمة وتنبؤات بميلاد نظرية مع عواقب غنية.
نمو النظرية (1897-1917)
[عدل]فروبينوس
[عدل]فكرة التأسيس كانت خصبة، حيث وجدت إجابات سريعة للأسئلة المختلفة المرتبطة بالنظرية، وبقي فروبينيوس رائداً رئيسياً، فهو نشر -حتى نهاية حياته- عشرين مقالة عن نظرية الزمر المنتهية، [17] وخاصة حول موضوع التمثيل. في عام 1897، ستظهر مفاهيم التمثيل وعدم القابلية للاختزال [25] وأيضا إذا كانت هناك العديد من التطورات الضرورية فإن الحروف ستتخذ تعريفاً حديثاً، لتكون هي أثر التمثيل. وإثراء البنية بواسطة مفهوم جبر الزمر، الموجود أيضًا في هذه المقالة، في حالة الأعداد المركبة أو شديدة التركيب. استعار فروبينيوس من عالم الرياضيات ثيودور مولين [الإنجليزية] الذي قام، بشكل مستقل تمامًا، [26][27] بالعمل على الحرف نصف البسيط من الجبر المرتبط. إذا كان فروبينيوس قد أدرك أهمية عمله، فإن مولين لم يلاحظ ذلك أساسًا. في العام التالي، اكتشف فروبينيوس الطريقة الأولى للامتداد [28] المقابلة للتمثيل المستقرأ، وأعاد إنشاء صيغة التعاكس والتي تحمل الآن اسمه. في عام 1899، أنشأ [29] صيغ الجداء الموتر للحروف في حين أن مفهوم موتر الجداء لا زال غير رسمي، فهو يتحدث عن التركيب. في عام 1900، حدد علماء الرياضيات [30] حروف الزمر المتماثلة وفي السنة الموالية الزمر البديلة. [31]
المراجع
[عدل]- ^ L. Couturat, La logique de Leibniz (Hildesheim, 1961).
- ^ J.-L. Lagrange, Réflexions sur la résolution algébrique des équations, 1770.
- ^ A.-T. Vandermonde, Mémoire sur la résolution des équations, 1771.
- ^ (باللاتينية) C. F. Gauss, Disquisitiones arithmeticae, 1801.
- ^ N. H. Abel, Mémoire sur les équations algébriques, où l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré, 1824.
- ^ E. Galois, « Sur les conditions de résolubilité des équations algébriques », Journal de mathématiques pures et appliquées, 1846.
- ^ J. Liouville, « Œuvres mathématiques d'Évariste Galois Suivie d'un avertissement de Liouville », Journal de mathématiques pures et appliquées, vol. X, 1846.
- ^ A. L. Cauchy, Sur le nombre de valeurs égale ou inégales que peut acquérir une fonction de n variables indépendantes, quand on permute ces variables entre elles d'une manière quelconque, 1845.
- ^ A. Cayley (1854). "On the theory of groups, as depending on the symbolic equation θn=1". Philos. Mag. (بالإنجليزية). 7 (4): 40–47.
{{استشهاد بدورية محكمة}}: تحقق من التاريخ في:|سنة=(help). - ^ F. Klein, Conférences sur l'icosaèdre et les solutions de l'équation du cinquième degré, 1877.
- ^ M. L. Sylow (1872). "Théorème sur les groupes de substitutions". حوليات الرياضيات. ج. V: 584-594..
- ^ (بالألمانية) H. Weber, Lehrbuch der Algebra, Braunschweig, 1924.
- ^ (بالألمانية) G. Dirichlet, Vorlesungen über Zahlentheorie, قالب:3e, Vieweg, Braunschweig, 1879.
- ^ Tsit Yuen Lam (1998). "Representation of finite groups: A Hundred years, Part I". Notices AMS (بالإنجليزية). 45. Lam, Part I., pdf, ps, ص. 363 .
- ^ C. Jordan, Traité des substitutions et des équations algébriques, 1870.
- ^ R. Dedekind (1871). "Sur la théorie des nombres entiers algébriques". Bulletin des sciences mathématiques et astronomiques. 2. ج. 1 ع. 1: 207-248. مؤرشف من الأصل في 2020-09-21.
{{استشهاد بدورية محكمة}}: تحقق من التاريخ في:|سنة=(مساعدة). - ^ ا ب Lam, Part I.
- ^ G. Frobenius (1887). "Neuer Beweis des Sylowschen Satzes". J. reine angew. Math. (بالألمانية). 100: 179-181.
{{استشهاد بدورية محكمة}}: تحقق من التاريخ في:|سنة=(help). - ^ G. Frobenius; L. Stickelberger (1879). "Über Gruppen von vertauschbaren Elementen". J. reine angew. Math. (بالألمانية). 86: 217-262. Archived from the original on 2018-03-17..
- ^ (بالإنجليزية) C. W. Curtis, « Representation theory of finite groups, from Frobenius to Brauer », Math. Intelligencer, 1992, ص. 48-57 .
- ^ (بالإنجليزية) Thomas W. Hawkins [الإنجليزية], « The origins of the theory of group characters », Arch. Hist. Exact Sci., vol. 7, 1971, ص. 142-170 .
- ^ (بالألمانية) F. G. Frobenius, « Über Gruppencharaktere », Sitzungsber. Preuss. Akad. Wiss. Berlin, 1896.
- ^ (بالألمانية) F. G. Frobenius, « Über die Primfactoren der Gruppendeterminante », Sitzungsber. Preuss Akad. Wiss Berlin, 1896.
- ^ (بالألمانية) F. G. Frobenius, Zur Theorie der Scharen bilinearer Formen, Zürich, 1896.
- ^ (بالألمانية) F. G. Frobenius, « Über die Darstellung der endlichen Gruppen durch lineare Substitutionen », Sitzungsber. Preuss. Akad. Wiss. Berlin, 1897.
- ^ (بالألمانية) T. Molien, Über Systeme höherer complexer Zahlen, 1893.
- ^ (بالألمانية) T. Molien, Über die Invarianten der linearen Substitutionsgruppen, 1897.
- ^ (بالألمانية) F. G. Frobenius, « Über Relationen zwischen den Charakteren einer Gruppe und denen ihrer Untergruppen », Sitzungsber. Preuss Akad. Wiss Berlin, 1898.
- ^ (بالألمانية) F. G. Frobenius, « Über die Composition der Charaktere einer Gruppe », Sitzungsber. Preuss Akad. Wiss Berlin, 1899.
- ^ (بالألمانية) F. G. Frobenius, « Über die Charaktere der symmetrischen Gruppen », Sitzungsber. Preuss Akad. Wiss Berlin, 1900.
- ^ (بالألمانية) F. G. Frobenius, « Über die Charaktere der alternirenden Gruppen », Sitzungsber. Preuss Akad. Wiss Berlin, 1901.
انظر أيضًا
[عدل]وصلات خارجية
[عدل]- فنسنت بيك (2005–2006). "أعمال تطبيقية لتمثيلات الزمر المنتهية" (PDF). مؤرشف من الأصل (PDF) في 2019-03-23.
{{استشهاد ويب}}: صيانة الاستشهاد: تنسيق التاريخ (link) من دروس الماستر الفرنسي لميشيل برو (جامعة باريس ديديرو), مع التصحيح - نسيت يوين لام. "تمثيل الزمر المنتهية: مائة سنة، الجزء الثاني". مؤرشف من الأصل (ps) في 2016-03-08.
- (بالإنجليزية) Peter Webb, تمثيلات زمرة منتهية للرياضيات البحتة
كتب
[عدل]- نيكولا بورباكي، عناصر الرياضيات، الجبر، الجزء الثامن.
- بيير كولميز، عناصر التحليل والجبر (ونظرية الأعداد)، طبعة المدرسة متعددة التكنولوجية. قراءة عبر الإنترنت
- (بالإنجليزية) « تمثيل زمرة و التحليل التوافقي: من أويلر إلى لانجلاندس، الجزء الثاني », في إعلامات مجتمع الرياضيات الأمريكي, vol. 43, no 5, 1996 [النص الكامل]
