الزمرة القابلة للحل
الزمرة القابلة للحل هي زمرة يمكن بناؤها من أجزاء أبيلية من خلال سلسلة من الزمر الجزئية الطبيعية، وهي خاصية هيكلية تتحكم فيما إذا كانت المعادلات متعددة الحدود قابلة للحل بالجذور.
Definition
تكون الزمرة قابلة للحل إذا كانت تحتوي على سلسلة شبه طبيعية منتهية تكون جميع زمرها خارج القسمة المتتالية أبيلية، أو بشكل مكافئ إذا كانت سلسلتها المشتقة تنتهي عند الزمرة الجزئية التافهة.
Scope
يغطي هذا الموضوع السلسلة المشتقة والزمر الجزئية التبادلية، والسلاسل شبه الطبيعية ذات العوامل الأبيلية، وتكافؤ التعريفات المختلفة للقابلية للحل، والزمر النيلبوتنتية كشرط أقوى، ودور الزمر القابلة للحل في نظرية غالوا.
Core questions
- ماذا يعني بناء زمرة من طبقات أبيلية؟
- كيف تميز السلسلة المشتقة والسلسلة شبه الطبيعية القابلية للحل؟
- ما هي العائلات القياسية للزمر القابلة للحل، وما هي غير القابلة للحل؟
- لماذا تعتبر القابلية للحل هي الشرط الحاسم لحل المعادلات بالجذور؟
Key theories
- وصف السلسلة المشتقة
- تكون الزمرة قابلة للحل بالضبط عندما تصل سلسلتها المشتقة، التي يتم الحصول عليها بتكرار الزمرة الجزئية التبادلية، إلى الزمرة التافهة في عدد محدود من الخطوات.
- خصائص الإغلاق للزمر القابلة للحل
- الزمر الجزئية وزمر خارج القسمة للزمر القابلة للحل هي قابلة للحل، وتمديد زمرة قابلة للحل بواسطة زمرة قابلة للحل هو قابل للحل، لذا فإن القابلية للحل محفوظة تحت العمليات الهيكلية القياسية.
- القابلية للحل والجذور
- تكون متعددة الحدود على حقل ذي خاصية صفر قابلة للحل بالجذور إذا وفقط إذا كانت زمرة غالوا الخاصة بها زمرة قابلة للحل، وهو المعيار الذي يثبت أن معادلة الدرجة الخامسة العامة لا يمكن حلها بالجذور.
Clinical relevance
تمثل الزمر القابلة للحل العائق الدقيق في نظرية المعادلات: يربط معيار غالوا قابلية حل الزمرة بقابلية حل متعددات الحدود بالجذور. ينظم هذا المفهوم أيضًا نظرية الزمر المنتهية، حيث يوضح مبرهنة فايت-تومسون أن كل زمرة ذات رتبة فردية قابلة للحل.
History
نشأ هذا المفهوم من دراسة غالوا للمعادلات القابلة للحل بالجذور، حيث كانت كلمة 'قابلة للحل' تشير في الأصل إلى المعادلة؛ وقد احتفظت الخاصية النظرية للزمر المقابلة بالاسم. كانت مبرهنة فايت-تومسون عام 1963، التي تنص على أن جميع الزمر ذات الرتبة الفردية قابلة للحل، علامة فارقة في تصنيف الزمر البسيطة المنتهية.
Key figures
- Évariste Galois
- Walter Feit
- John G. Thompson
Related topics
Seminal works
- dummit2004
- rotman1995
- isaacs2008
Frequently asked questions
- ما الفرق بين الزمر القابلة للحل والزمر النيلبوتنتية؟
- الزمر النيلبوتنتية لديها سلسلة مركزية وتشكل فئة أصغر بشكل صارم؛ كل زمرة نيلبوتنتية قابلة للحل ولكن العكس ليس صحيحًا. الزمر النيلبوتنتية المنتهية هي بالضبط نواتج مباشرة لزمر سيلو الخاصة بها.
- لماذا تفشل الزمرة المتماثلة على خمسة أحرف في أن تكون قابلة للحل؟
- تستقر سلسلتها المشتقة عند الزمرة المتناوبة غير التافهة على خمسة أحرف، وهي بسيطة وغير أبيلية، لذا لا تصل السلسلة أبدًا إلى الزمرة الجزئية التافهة. هذا عدم القابلية للحل هو السبب في عدم وجود صيغة جذرية لمعادلة الدرجة الخامسة العامة.