# تصنيف الزمر المنتهية البسيطة

البنية الجبرية ← نظرية الزمر نظرية الزمر :
المفاهيم الأساسية
زمرة جزئية
زمرة جزئية نظامية
زمرة خارج القسمة
(نصف-)جداء مباشر
تشاكل الزمر
نواة
صورة
مجموع مباشر
جداء إكليلي
بسيطة
منتهية
غير منتهية
متصلة
مضاعفة
جمعية
دائرية
أبيلية
زوجية
ذات قوة عادمة
قابلة للحلحلة
فعل
مسرد مصطلحات نظرية الزمر
قائمة مواضيع نظرية الزمر :
الزمر المنتهية
تصنيف الزمر المنتهية البسيطة
دائرية
متناوبة
نوع لي
متفرقة
مبرهنة كوشي
مبرهنة لاغرانج
مبرهنات سيلو
مبرهنة هال
زمرة-p
زمرة أبيلية ابتدائية
زمرة فروبنيوس
مضاعف شور
زمرة متناظرة S$_n$
زمرة كلاين رباعية العناصر V
زمرة زوجية D$_n$
زمرة كواتيرنيون Q
زمرة ثنائية الحلقات Dic$_n$ :
الزمر المتقطعةالشبكات
الأعداد الصحيحة ($\mathbb {Z}$)
زمرة حرة
الزمر المعيارية PSL(2, $\mathbb {Z}$)SL(2, $\mathbb {Z}$)
زمرة حسابية
شبكة
زمرة زائدية :
زمر طوبولوجية ولي
ملف لولبي
دائرة
خطية عامة GL(n)
خطية خاصة SL(n)
متعامدة O(n)
إقليدية E(n)
متعامدة خاصة SO(n)
وحدوية U(n)
وحدوية خاصة SU(n)
تماسكية Sp(n)
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$
لورنتز
بوانكاريه
مطابقة
تماثل تفاضلي
حلقة
زمر لي لانهائية الأبعاد O(∞)SU(∞)Sp(∞) :
الزمر الجبرية
زمرة جبرية خطية
زمرة اختزالية
تشكيلة أبيلية
منحنى إهليلجي :
عنت :
في الرياضيات، تصنيف الزمر المنتهية البسيطة (بالإنجليزية: Classification of finite simple groups)‏ هو نظرية تقرر أن كل زمرة منتهية بسيطة تنتمي إلى واحدة من الفئات الأربع المذكورة أدناه. يمكن اعتبار هذه الـزمر حجر الأساس لكل الزمر المنتهية، تمامًا مثلما تُعد الأعداد الأولية حجر الأساس للأعداد الطبيعية. إن مبرهنة جوردان–هولدر هي طريقة دقيقة لإقرار هذه الحقيقة عن الزمر المنتهية.
يحتوي البرهان على النظرية على عشرات الآلاف من الصفحات في مئات من مقالات الصحف لمئات المؤلفين، ونُشرت غالبًا بين عامي 1955 و2004. ويقوم كلٌ من غورينشتاين (ت 1922) وليونز، وسولومون بنشر نسخة مبسطة ومنقحة من الدليل بصورة تدريجية.

## تاريخ البرهان
### برنامج غورينشتاين

في عام 1972، أعلن غورنشتاين (1979, Appendix) عن برنامج لإتمام تصنيف الزمر المنتهية البسيطة، تضم الخطوات الست عشرة التالية:
* الزمر من الرتبة الثانية المنخفضة. قام غورينشتاين وهارادا (Harada) بذلك في الأساس، وهما اللذان صنفا الزمر في الرتبة القطاعية الثانية و4 على الأكثر. إن أغلب حالات الرتبة الثانية تمت في الوقت الذي أعلن فيه غورينشتاين عن برنامجه.
* البساطة الجزئية لطبقتين. تكمن المشكلة في إثبات أن طبقتي بؤرة الالتفاف في زمرة بسيطة هو بساطة جزئية.
* الشكل القياسي في السمة الفردية. إذا كانت زمرة ما تتسم بالتفاف ذي مكونين، فهي زمرة من نوع لي (Lie) من السمة الفردية، ويتمثل الهدف في إثبات أن لديها بؤرة التفاف في «شكل قياسي» مما يعني أن بؤرة الالتفاف بها مكوِّن من نوع لي في السمة الغريبة وأيضًا بها بؤرة من رتبة 2.
* تصنيف الزمر من النوع الفردي. تكمن المشكلة في إثبات أنه إذا كان لدى زمرةٍ ما بؤرة التفاف في «الشكل القياسي»، فهي زمرة من نوع لي من النوع الفردي. وقام أشباشر (Aschbacher) بحل ذلك من خلال نظرية الالتفاف الكلاسيكي.
* الشكل شبه القياسي
* التفافات مركزية
* تصنيف الزمر المتعاقبة.
* بعض الزمر المتقطعة
* الزمر الصغيرة. قام أشباشر في عام 1978 بتصنيف الزمر المنتهية الصغيرة، تلك الزمر ذات الرتبة 2 p وعلى الأكثر 1 للأعداد الأولية الفردية p.
* الزمر التي تحتوي على زميرة p قوية للp الفردي
* طريقة المدلل الإشاري للأعداد الأولية الفردية. تتمثل المشكلة الأساسية في إثبات نظرية المدلل الإشاري للمدللات الإشارية غير القابلة للحل. حيث قام ماك برايد (McBride) بحل ذلك في 1982.
* الزمر من نوع p. تلك هي مشكلة الزمر التي تحتوي على زميرات مشتملة بقوة علىpوعدد فردي p، وهو ما تناوله أشباشر.
* الزمر شبه الصغيرة. إن الزمرة شبه الصغيرة هي تلك التي تحتوي زميراتها -2 على رتبة -p وعلى الأكثر 2 لكل الأعداد الفردية p، وتتمثل المشكلة في تصنيف البسيط منها من نوع 2. قام أشباشر وسميث بإتمام ذلك في 2004.
* الزمر من رتبة -2 المنخفضة -3. قام أشباشر بحل هذا من خلال نظرية انقسام إلى ثلاثة أجزاء للزمر ذات e(G)=3.إن التغيير الأساسي هو أن رتبة 2 -3 قد تم استبدالها برتبة 2 p للأعداد الفردية.
* مراكز ذات 3 عناصر في الشكل المعياري. تم ذلك بشكل أساسي من خلال نظرية انقسام إلى ثلاثة أجزاء.
* تصنيف الزمر البسيطة من نوع 2. تم ذلك من خلال مبرهنة جيلمان-غريس، ب3 عناصر تم استبدالها ب عناصر-p للأعداد الفردية.

## مراجع

* ↑ "معلومات عن تصنيف الزمر المنتهية البسيطة على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 2018-09-15.
* بوابة جبر
* بوابة رياضيات
* بوابة عقد 2000