تصنيف الزمر المنتهية البسيطة
من ويكيبيديا، الموسوعة encyclopedia
في الرياضيات، تصنيف الزمر المنتهية البسيطة (بالإنجليزية: Classification of finite simple groups) هو نظرية تقرر أن كل زمرة منتهية بسيطة تنتمي إلى واحدة من الفئات الأربع المذكورة أدناه.[1] يمكن اعتبار هذه الـزمر حجر الأساس لكل الزمر المنتهية، تمامًا مثلما تُعد الأعداد الأولية حجر الأساس للأعداد الطبيعية. إن مبرهنة جوردان–هولدر هي طريقة دقيقة لإقرار هذه الحقيقة عن الزمر المنتهية.
يحتوي البرهان على النظرية على عشرات الآلاف من الصفحات في مئات من مقالات الصحف لمئات المؤلفين، ونُشرت غالبًا بين عامي 1955 و2004. ويقوم كلٌ من غورينشتاين (ت 1922) وليونز، وسولومون بنشر نسخة مبسطة ومنقحة من الدليل بصورة تدريجية.