قائمة المجموعات البسيطة المنتهية
في الرياضيات ، ينص تصنيف المجموعات البسيطة المنتهية على أن كل مجموعة بسيطة منتهية هي دورية ، أو متناوبة ، أو في واحدة من 16 عائلة من مجموعات من نوع لي ، أو واحدة من 26 مجموعة متفرقة .
تحتوي القائمة أدناه على جميع المجموعات البسيطة المنتهية، بالإضافة إلى رتبتها ، وحجم مضاعف شور ، وحجم مجموعة التشاكل الخارجي ، وعادة بعض التمثيلات الصغيرة ، وقوائم بجميع النسخ المكررة.
ملخص
الجدول التالي هو قائمة كاملة بعائلات الزمر البسيطة المنتهية الثماني عشرة، والزمر البسيطة المتفرقة الست والعشرين، مع رتبها. يُدرج الجدول أي عناصر غير بسيطة في كل عائلة، بالإضافة إلى أي عناصر مكررة داخل العائلة الواحدة أو بين العائلات. (عند إزالة التكرارات، تجدر الإشارة إلى أنه لا توجد زمرتان بسيطتان منتهيتان لهما نفس الرتبة، باستثناء الزمرة A₈ = A₃ ( 2 ) و A₂ (4) اللتين لهما نفس الرتبة 20160، وأن الزمرة Bₙ ( q ) لها نفس رتبة Cₙ ( q ) عندما يكون q فرديًا، و n > 2. أصغر زوج من الزمر الأخيرة هما B₃ ( 3 ) و C₃ ( 3 ) اللتان لهما نفس الرتبة 4585351680) .
يوجد تضارب مؤسف بين رموز المجموعات المتناوبة A<sub> n</sub> ومجموعات لي من النوع A <sub>n ( q )</sub>. يستخدم بعض المؤلفين خطوطًا مختلفة لـ A <sub>n</sub> للتمييز بينهما. على وجه الخصوص، في هذه المقالة، نميز بينهما باستخدام الخط الروماني للمجموعات المتناوبة A<sub> n </sub> وخطوط مائلة لمجموعات لي من النوع A <sub>n ( q )</sub>.
فيما يلي، n عدد صحيح موجب، و q قوة موجبة لعدد أولي p ، مع مراعاة القيود المذكورة. يرمز ( a , b ) إلى القاسم المشترك الأكبر للعددين الصحيحين a و b .
| فصل | عائلة | طلب | الاستثناءات | نسخ مكررة | |
|---|---|---|---|---|---|
| المجموعات الحلقية | Z p | p عدد أولي | لا أحد | لا أحد | |
| مجموعات متناوبة | A n n > 4 | لا أحد |
| ||
| مجموعات شيفوليه الكلاسيكية | A n ( q ) | أ 1 (2)، أ 1 (3) |
| ||
| B n ( q ) n > 1 | ب 2 (2) |
| |||
| C n ( q ) n > 2 | لا أحد | C n (2 m ) ≃ B n (2 m ) | |||
| D n ( q ) n > 3 | لا أحد | لا أحد | |||
| مجموعات شوفالي الاستثنائية | E 6 ( q ) | لا أحد | لا أحد | ||
| E 7 ( q ) | لا أحد | لا أحد | |||
| E 8 ( q ) | لا أحد | لا أحد | |||
| F 4 ( q ) | لا أحد | لا أحد | |||
| G 2 ( q ) | G 2 (2) | لا أحد | |||
| مجموعات شتاينبرغ الكلاسيكية | 2A n ( q 2 ) n > 1 | 2 أ 2 (2 2 ) | 2 أ 3 (2 2 ) ≃ ب 2 (3) | ||
| 2 D n ( q 2 ) n > 3 | لا أحد | لا أحد | |||
| مجموعات شتاينبرغ الاستثنائية | 2E6 ( q2 ) | لا أحد | لا أحد | ||
| 3 د 4 ( س 3 ) | لا أحد | لا أحد | |||
| مجموعات سوزوكي | 2 ب 2 ( ق ) ق = 2 2 ن +1 | لا أحد | لا أحد | ||
| مجموعات ري + مجموعة تيتس | 2 F 4 ( q ) q = 2 2 n +1 | لا أحد | لا أحد | ||
| 2 F 4 (2)′ | 2 12 (2 6 + 1)(2 4 − 1)(2 3 + 1)(2 − 1)/2 =17971200 | ||||
| 2G2 ( q ) q = 32n + 1 | لا أحد | لا أحد | |||
| مجموعات ماثيو | م 11 | 7920 | |||
| م 12 | 95 040 | ||||
| م 22 | 443 520 | ||||
| م 23 | 10 200 960 | ||||
| م 24 | 244 823 040 | ||||
| مجموعات جانكو | J 1 | 175 560 | |||
| J 2 | 604 800 | ||||
| J 3 | 50 232 960 | ||||
| J 4 | 86 775 571 046 077 562 880 | ||||
| مجموعة كونواي | Co 3 | 495 766 656 000 | |||
| ثاني أكسيد الكربون | 42 305 421 312 000 | ||||
| Co 1 | 4 157 776 806 543 360 000 | ||||
| مجموعات فيشر | Fi 22 | 64 561 751 654 400 | |||
| Fi 23 | 4 089 470 473 293 004 800 | ||||
| Fi 24 ′ | 1 255 205 709 190 661 721 292 800 | ||||
| مجموعة هيغمان-سيمز | HS | 44352000 | |||
| مجموعة ماكلوغلين | McL | 898 128 000 | |||
| مجموعة هيلد | هو | 4 030 387 200 | |||
| مجموعة رودفاليس | رو | 145926144000 | |||
| مجموعة سوزوكي المتفرقة | سوز | 448 345 497 600 | |||
| مجموعة أونان | على | 460 815 505 920 | |||
| مجموعة هارادا-نورتون | HN | 273 030 912 000 000 | |||
| مجموعة ليونز | لي | 51 765 179 004 000 000 | |||
| مجموعة تومسون | ذ | 90 745 943 887 872 000 | |||
| فرقة بيبي مونستر | ب | 4 154 781 481 226 426 191 177 580 544 000 000 | |||
| مجموعة الوحوش | م | 808 017 424 794 512 875 886 459 904 961 710 757 005 754 368 000 000 000 | |||
المجموعات الحلقية، Z p
البساطة: بسيطة عندما يكون p عددًا أوليًا.
الطلب: ص
مضاعف شور: تافه.
مجموعة التشاكل الخارجي: دورية من الرتبة p − 1.
أسماء أخرى: Z/ p Z، C p
ملاحظات: هذه هي المجموعات البسيطة الوحيدة التي ليست مثالية .
المجموعات المتناوبة، A n ، n = 3، n > 4
البساطة: قابلة للحل لـ n ≤ 2 و n = 4، وإلا فهي بسيطة.
الترتيب: n !/2 عندما n > 1.
مُضاعِف شور: 2 عندما يكون n = 5 أو n > 7، و6 عندما يكون n = 6 أو 7؛ انظر: مجموعات التغطية للمجموعات المتناوبة والمتماثلة
مجموعة التشاكل الخارجي: بشكل عام 2. الاستثناءات: بالنسبة لـ n = 1، n = 2، فهي تافهة، وبالنسبة لـ n = 6 ، فإن رتبتها 4 (أبيلية أولية).
أسماء أخرى: Alt n .
التشاكلات: A1 و A2 تافهتان. A3 دورية من الرتبة 3. A4 متشاكل مع A1 ( 3) (قابلة للحل). A5 متشاكل مع A1(4) ومع A1 ( 5 ) . A6 متشاكل مع A1 ( 9 ) ومع المجموعة المشتقة B2 ( 2 )′. A8 متشاكل مع A3 (2) .
ملاحظات: مجموعة فرعية ذات مؤشر 2 من المجموعة المتناظرة لتباديل n نقطة عندما n > 1.
مجموعات من نوع لي
الرموز: n عدد صحيح موجب، و q > 1 قوة لعدد أولي p ، و هي رتبة حقل منتهٍ أساسي . تُكتب رتبة زمرة التشاكل الخارجي على الصورة d ⋅ f ⋅ g ، حيث d رتبة زمرة "التشاكلات القطرية"، وf رتبة زمرة "تشاكلات الحقول" (الدورية) (المولدة بواسطة تشاكل فروبينيوس )، و g رتبة زمرة "تشاكلات الرسوم البيانية" (الناتجة عن تشاكلات مخطط دينكين ). غالبًا ما تكون زمرة التشاكل الخارجي متماثلة مع حاصل الضرب شبه المباشر، ولكن ليس دائمًا.حيث كل هذه المجموعاتتكون دورية من الرتب d و f و g على التوالي ، باستثناء النوع،غريب، حيث مجموعة النظاميكونو (فقط عندما)، وهي المجموعة المتناظرة على ثلاثة عناصر. يرمز الرمز ( a , b ) إلى القاسم المشترك الأكبر للعددين الصحيحين a و b .
مجموعات شيڤالي ، A n ( q )، B n ( q ) n > 1، C n ( q ) n > 2، D n ( q ) n > 3
| مجموعات شيڤالي ، مجموعات خطية من النوع n ( q ) | مجموعات شيڤالي ، B n ( q ) n > 1 مجموعات متعامدة | مجموعات شيڤالي ، C n ( q ) n > 2 مجموعات متماثلة | مجموعات شيڤالي ، D n ( q ) n > 3 مجموعات متعامدة | |
|---|---|---|---|---|
| بساطة | المسألتان A 1 (2) و A 1 (3) قابلتان للحل، أما المسائل الأخرى فهي بسيطة. | B 2 (2) ليست بسيطة ولكن مجموعتها المشتقة B 2 (2)′ هي مجموعة فرعية بسيطة من الدليل 2؛ أما المجموعات الأخرى فهي بسيطة. | كل شيء بسيط | كل شيء بسيط |
| طلب | ||||
| مضاعف شور | بالنسبة للمجموعات البسيطة ، تكون دورية من الرتبة ( n + 1، q - 1) باستثناء A1 (4) (الرتبة 2)، A1 ( 9) (الرتبة 6)، A2 ( 2) (الرتبة 2)، A2 ( 4 ) (الرتبة 48، ناتج مجموعات دورية من الرتب 3، 4، 4)، A3 (2) (الرتبة 2 ). | (2، q −1) باستثناء B 2 (2) = S 6 (الرتبة 2 لـ B 2 (2)، والرتبة 6 لـ B 2 (2)′) و B 3 (2) (الرتبة 2) و B 3 (3) (الرتبة 6). | (2، q −1) باستثناء C 3 (2) (الرتبة 2). | الرتبة هي (4، q n −1) (دورية لـ n فردي، تبديلية أولية لـ n زوجي) باستثناء D 4 (2) (الرتبة 4، تبديلية أولية). |
| مجموعة التماثل الخارجي | (2, q −1)⋅ f ⋅1 لـ n = 1؛ ( n +1, q −1)⋅ f ⋅2 لـ n > 1، حيث q = p f | (2, q −1)⋅ f ⋅1 عندما يكون q فرديًا أو n > 2؛ (2, q −1)⋅ f ⋅2 عندما يكون q زوجيًا و n = 2، حيث q = p f | (2, q −1)⋅ f ⋅1، حيث q = p f | (2, q −1) 2 ⋅ f ⋅ S 3 لـ n = 4، (2, q −1) 2 ⋅ f ⋅2 لـ n > 4 زوجي، (4, q n −1)⋅ f ⋅2 لـ n فردي، حيث q = p f ، و S 3 هي المجموعة المتناظرة من الرتبة 3! على 3 نقاط. |
| أسماء أخرى | الزمر الخطية الخاصة الإسقاطية ، PSL n +1 ( q )، L n +1 ( q )، PSL( n + 1, q ) | O 2 n +1 ( q ), Ω 2 n +1 ( q ) (لـ q فردي). | المجموعة التبسيطية الإسقاطية، PSp 2 n ( q )، PSp n ( q ) (غير مستحسن)، S 2 n ( q )، المجموعة الأبيلية (قديمة). | O 2 n + ( q ), PΩ 2 n + ( q ). " المجموعة الهيبوأبيلية " هو اسم قديم لهذه المجموعة في الخاصية 2. |
| التشاكلات | المجموعة A1 ( 2) متماثلة مع المجموعة المتناظرة على 3 نقاط من الرتبة 6. المجموعة A1 (3) متماثلة مع المجموعة المتناوبة A4 ( قابلة للحل). المجموعتان A1 (4) و A1 ( 5 ) متماثلتان مع المجموعة المتناوبة A5 . المجموعتان A1 ( 7) و A2 (2) متماثلتان. المجموعة A1 ( 8 ) متماثلة مع المجموعة المشتقة 2G2 ( 3 )′. المجموعة A1 ( 9 ) متماثلة مع A6 ومع المجموعة المشتقة B2 ( 2)′. المجموعة A3 (2) متماثلة مع A8 . | المجموعة B n (2 m ) متماثلة مع المجموعة C n (2 m ). المجموعة B 2 (2 ) متماثلة مع المجموعة المتناظرة على 6 نقاط، والمجموعة المشتقة B 2 (2)′ متماثلة مع A 1 (9 ) ومع A 6 . المجموعة B 2 (3 ) متماثلة مع 2 A 3 (2 2 ). | C n (2 m ) متماثل مع B n (2 m ) | |
| ملاحظات | يتم الحصول على هذه المجموعات من المجموعات الخطية العامة GL n +1 ( q ) عن طريق أخذ عناصر المحدد 1 (مما يعطي المجموعات الخطية الخاصة SL n +1 ( q )) ثم قسمتها على المركز. | هذه هي المجموعة المُستنتجة من المجموعة المتعامدة في البُعد 2n + 1 بأخذ نواة مُحدِّد وخرائط معيار السبينور . توجد أيضًا B1 ( q ) ، لكنها تُماثل A1 ( q ). تمتلك B2 ( q ) تماثلًا ذاتيًا غير تافه للرسم البياني عندما يكون q قوةً للعدد 2. | تُستخلص هذه المجموعة من المجموعة التبادلية في بُعدين مكانيين (2n) بقسمة المركز . توجد أيضًا المجموعة C1 ( q ) ، وهي نفسها A1 ( q ). توجد أيضًا المجموعة C2 ( q ) ، وهي نفسها B2 ( q ). | هذه هي المجموعة المُستنتجة من المجموعة المتعامدة المنقسمة في البُعد 2n ، وذلك بأخذ نواة المُحدِّد (أو ثابت ديكسون في الخاصية 2) وخرائط معيار السبينور ، ثم حذف المركز. تتميز مجموعات النوع D4 بمجموعة تماثلية تخطيطية كبيرة بشكل غير عادي من الرتبة 6، تحتوي على التماثل الثلاثي . توجد أيضًا D2 ( q )، ولكنها تُطابق A1 ( q ) × A1 ( q ). توجد أيضًا D3 ( q ) ، ولكنها تُطابق A3 ( q ) . |
مجموعات شيڤالي ، E 6 ( q )، E 7 ( q )، E 8 ( q )، F 4 ( q )، G 2 ( q )
| مجموعات شيڤالي ، E 6 ( q ) | مجموعات شيڤالي ، E 7 ( q ) | مجموعات شيڤالي ، E 8 ( q ) | مجموعات شيڤالي ، F 4 ( q ) | مجموعات شيڤالي ، G 2 ( q ) | |
|---|---|---|---|---|---|
| بساطة | كل شيء بسيط | كل شيء بسيط | كل شيء بسيط | كل شيء بسيط | G 2 (2) ليست بسيطة ولكن مجموعتها المشتقة G 2 (2)′ هي مجموعة فرعية بسيطة من الدليل 2؛ أما المجموعات الأخرى فهي بسيطة. |
| طلب | q 36 ( q 12 −1)( q 9 −1)( q 8 −1)( q 6 −1)( q 5 −1)( q 2 −1)/(3, q −1) | q 63 ( q 18 −1)( q 14 −1)( q 12 −1)( q 10 −1)( q 8 −1)( q 6 −1)( q 2 −1)/(2, q −1) | q 120 ( q 30 −1)( q 24 −1)( q 20 −1)( q 18 −1)( q 14 −1)( q 12 −1)( q 8 −1)( q 2 −1) | q 24 ( q 12 −1)( q 8 −1)( q 6 −1)( q 2 −1) | q 6 ( q 6 −1)( q 2 −1) |
| مضاعف شور | (3، q −1) | (2، q −1) | تافه | تافه باستثناء F 4 (2) (الرتبة 2) | تافه بالنسبة للمجموعات البسيطة باستثناء G 2 (3) (الرتبة 3) و G 2 (4) (الرتبة 2) |
| مجموعة التماثل الخارجي | (3, q −1)⋅ f ⋅2، حيث q = p f | (2, q −1)⋅ f ⋅1، حيث q = p f | 1⋅ f ⋅1، حيث q = p f | 1⋅ f ⋅1 لـ q فردي، و1⋅ f ⋅2 لـ q زوجي، حيث q = p f | 1⋅ f ⋅1 عندما لا يكون q قوةً للعدد 3، و1⋅ f ⋅2 عندما يكون q قوةً للعدد 3، حيث q = p f |
| أسماء أخرى | مجموعة شوفالي الاستثنائية | مجموعة شوفالي الاستثنائية | مجموعة شوفالي الاستثنائية | مجموعة شوفالي الاستثنائية | مجموعة شوفالي الاستثنائية |
| التشاكلات | المجموعة المشتقة G 2 (2)′ متماثلة مع 2 A 2 (3 2 ). | ||||
| ملاحظات | له تمثيلان ذوا بُعد 27، ويعمل على جبر لي ذو بُعد 78. | له تمثيلات ذات بُعد 56، ويعمل على جبر لي المقابل ذي البُعد 133. | يؤثر على جبر لي المقابل ذي البعد 248. يحتوي E 8 (3) على مجموعة طومسون البسيطة. | تؤثر هذه المجموعات على جبر جوردان الاستثنائي ذي البعد 27 ، مما يمنحها تمثيلات ذات بعد 26. كما تؤثر أيضًا على جبر لي المقابل ذي البعد 52. يمتلك F 4 ( q ) تماثلًا ذاتيًا غير تافه للرسم البياني عندما يكون q قوة للعدد 2. | تُمثل هذه المجموعات مجموعات التشاكل الذاتي لجبر كايلي ذي البعد 8 على الحقول المنتهية، مما يُعطيها تمثيلات ذات بعد 7. كما أنها تؤثر على جبر لي المقابل ذي البعد 14. يمتلك G² ( q ) تشاكلًا ذاتيًا غير تافه للرسوم البيانية عندما يكون q قوة للعدد 3. علاوة على ذلك، تظهر هذه المجموعات كمجموعات تشاكل ذاتي لبعض هندسات النقاط والخطوط التي تُسمى سداسيات كايلي المعممة المنقسمة . |
مجموعات شتاينبرغ ، 2A n ( q 2 ) n > 1، 2D n ( q 2 ) n > 3 ، 2E 6 ( q 2 ) ، 3D 4 ( q 3 )
| مجموعات شتاينبرغ ، 2A n ( q 2 ) n > 1 مجموعات وحدوية | مجموعات شتاينبرغ ، 2D n ( q 2 ) n > 3 مجموعات متعامدة | مجموعات شتاينبرغ ، 2E6 ( q2 ) | مجموعات شتاينبرغ ، 3D4 ( q3 ) | |
|---|---|---|---|---|
| بساطة | المسألة 2 A 2 (2 2 ) قابلة للحل، أما المسائل الأخرى فهي بسيطة. | كل شيء بسيط | كل شيء بسيط | كل شيء بسيط |
| طلب | q 36 ( q 12 −1)( q 9 +1)( q 8 −1)( q 6 −1)( q 5 +1)( q 2 −1)/(3, q +1) | q 12 ( q 8 + q 4 +1)( q 6 −1)( q 2 −1) | ||
| مضاعف شور | دورية من الرتبة ( ن + 1، ق + 1) للمجموعات البسيطة، باستثناء 2 أ 3 (2 2 ) (الرتبة 2)، 2 أ 3 (3 2 ) (الرتبة 36، ناتج مجموعات دورية من الرتب 3،3،4)، 2 أ 5 (2 2 ) (الرتبة 12، ناتج مجموعات دورية من الرتب 2،2،3). | دورية من الرتبة (4، q n +1) | (3، q +1) باستثناء 2 E 6 (2 2 ) (الرتبة 12، ناتج مجموعات دورية من الرتب 2،2،3). | تافه |
| مجموعة التماثل الخارجي | ( n + 1, q + 1) ⋅ f ⋅ 1، حيث q 2 = p f | (4, q n +1)⋅ f ⋅1، حيث q 2 = p f | (3, q +1)⋅ f ⋅1، حيث q 2 = p f | 1⋅ f ⋅1، حيث q 3 = p f |
| أسماء أخرى | مجموعة شيڤالي الملتوية، مجموعة وحدوية خاصة إسقاطية، PSU n +1 ( q ) , PSU( n + 1, q ), U n +1 ( q ), 2 An ( q ), 2 An ( q , q 2 ) | 2D n ( q ), O 2 n − ( q ), PΩ 2 n − ( q ) , مجموعة شيڤالي الملتوية. "المجموعة تحت الأبيلية" هو اسم قديم لهذه المجموعة في الخاصية 2. | 2E6 ( q ) ، مجموعة شيڤالي الملتوية | 3 D 4 ( q ), D 4 2 ( q 3 ) , مجموعات شيفالي الملتوية |
| التشاكلات | المجموعة القابلة للحل 2A2 (22 ) متماثلة مع امتداد لمجموعة الكواترنيون من الرتبة 8 بواسطة مجموعة أبيلية أولية من الرتبة 9. 2A2 ( 32 ) متماثلة مع المجموعة المشتقة G2 ( 2 )′. 2A3 ( 22 ) متماثلة مع B2 (3) . | |||
| ملاحظات | يتم الحصول على هذا من المجموعة الوحدوية في n + 1 أبعاد عن طريق أخذ المجموعة الفرعية من عناصر المحدد 1 ثم قسمتها على المركز. | هذه هي المجموعة المُستنتجة من المجموعة المتعامدة غير المنقسمة في البُعد 2n ، وذلك بأخذ نواة المُحدِّد (أو ثابت ديكسون في الخاصية 2) وخرائط معيار السبينور ، ثم حذف المركز. توجد أيضًا المجموعة 2D² ( q² ) ، وهي مُطابقة للمجموعة A₁ ( q² ) . كما توجد المجموعة 2D³ ( q² ) ، وهي مُطابقة للمجموعة 2A³ ( q² ) . | أحد الأغلفة المزدوجة الاستثنائية لـ 2 E 6 (2 2 ) هو مجموعة فرعية من مجموعة الوحش الصغير، والامتداد المركزي الاستثنائي بواسطة المجموعة الأبيلية الأولية من الرتبة 4 هو مجموعة فرعية من مجموعة الوحش. | 3 D 4 (2 3 ) يؤثر على الشبكة الزوجية الفريدة ذات 26 بُعدًا والمحدد 3 بدون جذور. |
مجموعات سوزوكي ، 2 ب 2 (2 2 ن +1 )
البساطة: بسيطة لـ n ≥ 1. المجموعة 2 B 2 (2) قابلة للحل.
الترتيب: q 2 ( q 2 + 1) ( q − 1)، حيث q = 2 2 n +1 .
مضاعف شور: تافه لـ n ≠ 1، أبيليان أولي من الرتبة 4 لـ 2 B 2 (8).
مجموعة التشاكل الخارجي:
- 1⋅ f ⋅1,
حيث f = 2 n + 1.
أسماء أخرى: سوز(2 2 ن +1 )، سز(2 2 ن +1 ).
التشاكلات: 2 B 2 (2) هي مجموعة فروبينيوس من الرتبة 20.
ملاحظات: زمر سوزوكي هي زمر زاسنهاوس التي تعمل على مجموعات بحجم (2^ (2n + 1 )) ^ (2 + 1)، ولها تمثيلات رباعية الأبعاد على الحقل الذي يحتوي على 2^ (2n + 1) عنصرًا. وهي الزمر البسيطة غير الدورية الوحيدة التي لا يقبل رتبتها القسمة على 3. وهي لا ترتبط بزمرة سوزوكي المتفرقة.
مجموعات ري ومجموعة تيتس ، 2 F 4 ( 2 2 n +1 )
البساطة: بسيطة لـ n ≥ 1. المجموعة المشتقة 2 F 4 (2)′ بسيطة من الدليل 2 في 2 F 4 (2)، وتسمى مجموعة تيتس ، نسبة إلى عالم الرياضيات البلجيكي جاك تيتس .
الترتيب: q 12 ( q 6 + 1) ( q 4 − 1) ( q 3 + 1) ( q − 1)، حيث q = 2 2 n +1 .
لدى مجموعة تيتس الطلب رقم 17971200 = 2 11 ⋅ 3 3 ⋅ 5 2 ⋅ 13.
مضاعف شور: تافه بالنسبة لـ n ≥ 1 ولمجموعة تيتس.
مجموعة التشاكل الخارجي:
- 1⋅ f ⋅1,
حيث f = 2 n + 1. الرتبة 2 لمجموعة تيتس.
ملاحظات: على عكس المجموعات البسيطة الأخرى من نوع Lie، فإن مجموعة Tits ليس لها زوج BN ، على الرغم من أن مجموعة التماثل الذاتي الخاصة بها لها زوج BN، لذلك يصنفها معظم المؤلفين على أنها مجموعة "فخرية" من نوع Lie.
مجموعات ري ، 2 G 2 (3 2 n +1 )
البساطة: بسيطة لـ n ≥ 1. المجموعة 2 G 2 (3) ليست بسيطة، لكن مجموعتها المشتقة 2 G 2 (3)′ هي مجموعة فرعية بسيطة من الدليل 3.
الرتبة: q 3 ( q 3 + 1) ( q − 1)، حيث q = 3 2 n +1
مضاعف شور: تافه لـ n ≥ 1 ولـ 2 G 2 (3)′.
مجموعة التشاكل الخارجي:
- 1⋅ f ⋅1,
حيث f = 2 n + 1.
أسماء أخرى: Ree(3 2 n +1 ), R(3 2 n +1 ), E 2 ∗ (3 2 n +1 ) .
التشاكلات: المجموعة المشتقة 2 G 2 (3)′ متماثلة مع A 1 (8).
ملاحظات: 2 G 2 (3 2 n +1 ) لها تمثيل تبديل متعدٍ مزدوج على 3 3(2 n +1) + 1 نقطة وتعمل على فضاء متجهي 7 أبعاد على الحقل مع 3 2 n +1 عنصر.
مجموعات متفرقة
مجموعات ماثيو ، M 11 ، M 12 ، M 22 ، M 23 ، M 24
| مجموعة ماثيو، M 11 | مجموعة ماثيو، M 12 | مجموعة ماثيو، M 22 | مجموعة ماثيو، M 23 | مجموعة ماثيو، M 24 | |
|---|---|---|---|---|---|
| طلب | 2 4 ⋅ 3 2 ⋅ 5 ⋅ 11 = 7920 | 2 6 ⋅ 3 3 ⋅ 5 ⋅ 11 = 95040 | 2 7 ⋅ 3 2 ⋅ 5 ⋅ 7 ⋅ 11 = 443520 | 2 7 ⋅ 3 2 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 23 = 10200960 | 2 10 ⋅ 3 3 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 23 = 244823040 |
| مضاعف شور | تافه | الطلب رقم 2 | دورية من الرتبة 12 [ أ ] | تافه | تافه |
| مجموعة التماثل الخارجي | تافه | الطلب رقم 2 | الطلب رقم 2 | تافه | تافه |
| ملاحظات | مجموعة تبديلية من الدرجة 4-متعدية على 11 نقطة، وهي مُثبِّت النقطة للمجموعة M12 ( في تمثيل التبديل ذي 12 نقطة من الدرجة 5-متعدية للمجموعة M12 ) . المجموعة M11 مُحتواة أيضًا في M23 . تُسمى المجموعة الجزئية من M11 التي تُثبِّت نقطة في تمثيل التبديل ذي 11 نقطة من الدرجة 4-متعدية أحيانًا M10 ، ولها مجموعة جزئية ذات دليل 2 متماثلة مع المجموعة المتناوبة A6 . | مجموعة تبديل متعدية من الدرجة 5 على 12 نقطة، موجودة في M 24 . | مجموعة تبديل ثلاثية التعدي على 22 نقطة، وهي مُثبِّت النقطة لـ M 23 (في تمثيل التبديل رباعي التعدي لـ M 23 ). تُسمى المجموعة الجزئية من M 22 التي تُثبِّت نقطة في تمثيل التبديل ثلاثي التعدي لـ 22 نقطة أحيانًا M 21 ، وهي متماثلة مع PSL(3,4) (أي متماثلة مع A 2 (4)). | مجموعة تبديل 4-متعدية على 23 نقطة، وهي مثبت النقطة لـ M 24 (في تمثيل التبديل 5-متعدي 24 نقطة لـ M 24 ). | مجموعة تبديل متعدية من الدرجة 5 على 24 نقطة. |
مجموعات يانكو ، ج 1 ، ج 2 ، ج 3 ، ج 4
| مجموعة جانكو، J 1 | مجموعة جانكو، J 2 | مجموعة جانكو، J 3 | مجموعة جانكو، J 4 | |
|---|---|---|---|---|
| طلب | 2 3 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 19 = 175560 | 2 7 ⋅ 3 3 ⋅ 5 2 ⋅ 7 = 604800 | 2 7 ⋅ 3 5 ⋅ 5 ⋅ 17 ⋅ 19 = 50232960 | 2 21 ⋅ 3 3 ⋅ 5 ⋅ 7 ⋅ 11 3 ⋅ 23 ⋅ 29 ⋅ 31 ⋅ 37 ⋅ 43 = 86775571046077562880 |
| مضاعف شور | تافه | الطلب رقم 2 | الطلب رقم 3 | تافه |
| مجموعة التماثل الخارجي | تافه | الطلب رقم 2 | الطلب رقم 2 | تافه |
| أسماء أخرى | J(1), J(11) | مجموعة هول-جانكو، HJ | مجموعة هيجمان-جانكو-ماكاي، HJM | |
| ملاحظات | إنها مجموعة فرعية من G 2 (11)، وبالتالي لها تمثيل سباعي الأبعاد على الحقل مع 11 عنصرًا. | مجموعة التشاكل الذاتي J₂ : 2 لـ J₂ هي مجموعة التشاكل الذاتي لمخطط من الرتبة 3 على 100 نقطة يُسمى مخطط هول-يانكو . وهي أيضًا مجموعة التشاكل الذاتي لمضلع شبه ثماني منتظم يُسمى مضلع هول-يانكو شبه الثماني. المجموعة J₂ مُحتواة في G₂ ( 4 ) . | يبدو أن J 3 لا علاقة له بأي مجموعات متفرقة أخرى (أو بأي شيء آخر). غطاؤه الثلاثي له تمثيل وحدوي ذو 9 أبعاد على الحقل بأربعة عناصر. | يحتوي على تمثيل ذي 112 بُعدًا على الحقل مع عنصرين. |
مجموعات كونواي ، Co 1 ، Co 2 ، Co 3
| مجموعة كونواي، الشركة 1 | مجموعة كونواي، كو 2 | مجموعة كونواي، كو 3 | |
|---|---|---|---|
| طلب | 2 21 ⋅ 3 9 ⋅ 5 4 ⋅ 7 2 ⋅ 11 ⋅ 13 ⋅ 23 = 4157776806543360000 | 2 18 ⋅ 3 6 ⋅ 5 3 ⋅ 7 ⋅ 11 ⋅ 23 = 42305421312000 | 2 10 ⋅ 3 7 ⋅ 5 3 ⋅ 7 ⋅ 11 ⋅ 23 = 495766656000 |
| مضاعف شور | الطلب رقم 2 | تافه | تافه |
| مجموعة التماثل الخارجي | تافه | تافه | تافه |
| أسماء أخرى | 1 | 2 | 3، ج 3 |
| ملاحظات | الغطاء المزدوج المثالي Co 0 لـ Co 1 هو مجموعة التشاكل الذاتي لشبكة Leech ، ويرمز إليه أحيانًا بـ ·0. | مجموعة فرعية من Co 0 ؛ تحدد متجه معيار 4 في شبكة Leech . | مجموعة فرعية من Co 0 ؛ تثبت متجهًا معياريًا 6 في شبكة ليتش . ولها تمثيل تبديل متعدٍ مزدوج على 276 نقطة. |
مجموعات فيشر , فاي 22 , فاي 23 , فاي 24 ′
| مجموعة فيشر، Fi 22 | مجموعة فيشر، Fi 23 | مجموعة فيشر، 24 فبراير | |
|---|---|---|---|
| طلب | 2 17 ⋅ 3 9 ⋅ 5 2 ⋅ 7 ⋅ 11 ⋅ 13 = 64561751654400 | 2 18 ⋅ 3 13 ⋅ 5 2 ⋅ 7 ⋅ 11 ⋅ 13 ⋅ 17 ⋅ 23 = 4089470473293004800 | 2 21 ⋅ 3 16 ⋅ 5 2 ⋅ 7 3 ⋅ 11 ⋅ 13 ⋅ 17 ⋅ 23 ⋅ 29 = 1255205709190661721292800 |
| مضاعف شور | الطلب رقم 6 | تافه | الطلب رقم 3 |
| مجموعة التماثل الخارجي | الطلب رقم 2 | تافه | الطلب رقم 2 |
| أسماء أخرى | م (22) | م (23) | M (24)′, F 3+ |
| ملاحظات | مجموعة نقل ثلاثية تحتوي على غطاء مزدوج في Fi 23 . | مجموعة نقل ثلاثية موجودة في Fi 24 ′. | يحتوي غلاف المجموعة الثلاثية على مجموعة الوحوش. |
مجموعة هيغمان-سيمز ، HS
الطلب: 2 9 ⋅ 3 2 ⋅ 5 3 ⋅ 7 ⋅ 11 = 44352000
مضاعف شور: من الرتبة 2.
مجموعة التشاكل الخارجي: الرتبة 2.
ملاحظات: تعمل كمجموعة تبديل من الرتبة 3 على الرسم البياني Higman Sims مع 100 نقطة، وهي موجودة في Co 2 وفي Co 3 .
مجموعة ماكلوغلين ، ماكلوغلين
الطلب: 2 7 ⋅ 3 6 ⋅ 5 3 ⋅ 7 ⋅ 11 = 898128000
مضاعف شور: من الرتبة 3.
مجموعة التشاكل الخارجي: الرتبة 2.
ملاحظات: تعمل كمجموعة تبديل من الرتبة 3 على الرسم البياني لماكلوغلين مع 275 نقطة، وهي موجودة في Co 2 وفي Co 3 .
مجموعة هيلد ، هو
الطلب: 2 10 ⋅ 3 3 ⋅ 5 2 ⋅ 7 3 ⋅ 17 = 4030387200
مضاعف شور: تافه.
مجموعة التشاكل الخارجي: الرتبة 2.
أسماء أخرى: مجموعة هيلد-هيغمان-ماكاي، HHM، F 7 ، HTH
ملاحظات: يركز على عنصر من الرتبة 7 في مجموعة الوحوش.
مجموعة رودفاليس ، رو
الطلب: 2 14 ⋅ 3 3 ⋅ 5 3 ⋅ 7 ⋅ 13 ⋅ 29 = 145926144000
مضاعف شور: من الرتبة 2.
مجموعة التشاكل الخارجي: تافهة.
ملاحظات: يعمل الغطاء المزدوج على شبكة ذات 28 بُعدًا فوق الأعداد الصحيحة الغاوسية .
مجموعة سوزوكي المتفرقة ، سوزوكي
الطلب: 2 13 ⋅ 3 7 ⋅ 5 2 ⋅ 7 ⋅ 11 ⋅ 13 = 448345497600
مضاعف شور: من الرتبة 6.
مجموعة التشاكل الخارجي: الرتبة 2.
أسماء أخرى: Sz
ملاحظات: يعمل الغطاء السداسي على شبكة ذات 12 بُعدًا فوق أعداد أيزنشتاين الصحيحة . وهو لا يرتبط بمجموعات سوزوكي من نوع لي.
مجموعة أونان ، أون
الطلب: 2 9 ⋅ 3 4 ⋅ 5 ⋅ 7 3 ⋅ 11 ⋅ 19 ⋅ 31 = 460815505920
مضاعف شور: من الرتبة 3.
مجموعة التشاكل الخارجي: الرتبة 2.
أسماء أخرى: مجموعة أونان-سيمز، أو إن إس، أو-إس
ملاحظات: يحتوي الغطاء الثلاثي على تمثيلين 45-بعديين على الحقل مع 7 عناصر، يتم تبادلهما بواسطة تماثل خارجي.
مجموعة هارادا-نورتون ، HN
الترتيب: 2 14 ⋅ 3 6 ⋅ 5 6 ⋅ 7 ⋅ 11 ⋅ 19 = 273030912000000
مضاعف شور: تافه.
مجموعة التشاكل الخارجي: الرتبة 2.
أسماء أخرى: F 5 ، D
ملاحظات: يركز عنصرًا من الرتبة 5 في مجموعة الوحوش.
مجموعة ليونز ، لي
الترتيب: 2 8 ⋅ 3 7 ⋅ 5 6 ⋅ 7 ⋅ 11 ⋅ 31 ⋅ 37 ⋅ 67 = 51765179004000000
مضاعف شور: تافه.
مجموعة التشاكل الخارجي: تافهة.
أسماء أخرى: مجموعة ليونز-سيمز، LyS
ملاحظات: له تمثيل ذو 111 بُعدًا على الحقل مع 5 عناصر.
مجموعة تومسون ، ث
الطلب: 2 15 ⋅ 3 10 ⋅ 5 3 ⋅ 7 2 ⋅ 13 ⋅ 19 ⋅ 31 = 90745943887872000
مضاعف شور: تافه.
مجموعة التشاكل الخارجي: تافهة.
أسماء أخرى: F 3 ، E
ملاحظات: يركز عنصرًا من الرتبة 3 في الوحش. له تمثيل ذو 248 بُعدًا، والذي عند اختزاله بتردد 3، يؤدي إلى احتواء في E 8 (3).
طلب:
- 2 41 ⋅ 3 13 ⋅ 5 6 ⋅ 7 2 ⋅ 11 ⋅ 13 ⋅ 17 ⋅ 19 ⋅ 23 ⋅ 31 ⋅ 47
- = 4154781481226426191177580544000000
مضاعف شور: من الرتبة 2.
مجموعة التشاكل الخارجي: تافهة.
أسماء أخرى: F 2
ملاحظات: الغطاء المزدوج موجود في مجموعة الوحش. وله تمثيل ذو بُعد 4371 على الأعداد المركبة (بدون جداء ثابت غير تافه)، وتمثيل ذو بُعد 4370 على الحقل مع عنصرين يحافظان على جداء تبديلي ولكن غير تجميعي.
مجموعة فيشر-جريس مونستر ، م
طلب:
- 2 46 ⋅ 3 20 ⋅ 5 9 ⋅ 7 6 ⋅ 11 2 ⋅ 13 3 ⋅ 17 ⋅ 19 ⋅ 23 ⋅ 29 ⋅ 31 ⋅ 41 ⋅ 47 ⋅ 59 ⋅ 71
- = 808017424794512875886459904961710757005754368000000000
مضاعف شور: تافه.
مجموعة التشاكل الخارجي: تافهة.
أسماء أخرى: F 1 ، M 1 ، مجموعة الوحوش، العملاق الودود، وحش فيشر.
ملاحظات: يحتوي على جميع المجموعات المتفرقة الأخرى باستثناء 6 منها كمجموعات جزئية. يرتبط بـ " ضوء القمر الوحشي" . الوحش هو مجموعة التشاكل الذاتي لجبر غريس ذي الأبعاد 196883 وجبر عامل رأس الوحش ذي الأبعاد اللانهائية ، ويؤثر بشكل طبيعي على جبر لي الوحشي .
مجموعات بسيطة غير دورية ذات رتبة صغيرة
| طلب | ترتيب العوامل | مجموعة | مضاعف شور | مجموعة التماثل الخارجي |
|---|---|---|---|---|
| 60 | 2 2 ⋅ 3 ⋅ 5 | A 5 ≃ A 1 (4) ≃ A 1 (5) | 2 | 2 |
| 168 | 2 3 ⋅ 3 ⋅ 7 | A 1 (7) ≃ A 2 (2) | 2 | 2 |
| 360 | 2 3 ⋅ 3 2 ⋅ 5 | A 6 ≃ A 1 (9) ≃ B 2 (2)′ | 6 | 2×2 |
| 504 | 2 3 ⋅ 3 2 ⋅ 7 | A 1 (8) ≃ 2 G 2 (3)′ | 1 | 3 |
| 660 | 2 2 ⋅ 3 ⋅ 5 ⋅ 11 | أ 1 (11) | 2 | 2 |
| 1092 | 2 2 ⋅ 3 ⋅ 7 ⋅ 13 | أ 1 (13) | 2 | 2 |
| 2448 | 2 4 ⋅ 3 2 ⋅ 17 | أ 1 (17) | 2 | 2 |
| 2520 | 2 3 ⋅ 3 2 ⋅ 5 ⋅ 7 | 7 | 6 | 2 |
| 3420 | 2 2 ⋅ 3 2 ⋅ 5 ⋅ 19 | أ 1 (19) | 2 | 2 |
| 4080 | 2 4 ⋅ 3 ⋅ 5 ⋅ 17 | أ 1 (16) | 1 | 4 |
| 5616 | 2 4 ⋅ 3 3 ⋅ 13 | أ 2 (3) | 1 | 2 |
| 6048 | 2 5 ⋅ 3 3 ⋅ 7 | 2 A 2 (9) ≃ G 2 (2)′ | 1 | 2 |
| 6072 | 2 3 ⋅ 3 ⋅ 11 ⋅ 23 | أ 1 (23) | 2 | 2 |
| 7800 | 2 3 ⋅ 3 ⋅ 5 2 ⋅ 13 | أ 1 (25) | 2 | 2×2 |
| 7920 | 2 4 ⋅ 3 2 ⋅ 5 ⋅ 11 | م 11 | 1 | 1 |
| 9828 | 2 2 ⋅ 3 3 ⋅ 7 ⋅ 13 | أ 1 (27) | 2 | 6 |
| 12180 | 2 2 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 29 | أ 1 (29) | 2 | 2 |
| 14880 | 2 5 ⋅ 3 ⋅ 5 ⋅ 31 | أ 1 (31) | 2 | 2 |
| 20160 | 2 6 ⋅ 3 2 ⋅ 5 ⋅ 7 | A 3 (2) ≃ A 8 | 2 | 2 |
| 20160 | 2 6 ⋅ 3 2 ⋅ 5 ⋅ 7 | أ 2 (4) | 3×4 2 | د ١٢ |
| 25308 | 2 2 ⋅ 3 2 ⋅ 19 ⋅ 37 | أ 1 (37) | 2 | 2 |
| 25920 | 2 6 ⋅ 3 4 ⋅ 5 | 2 أ 3 (4) ≃ ب 2 (3) | 2 | 2 |
| 29120 | 2 6 ⋅ 5 ⋅ 7 ⋅ 13 | 2 ب 2 (8) | 2 2 | 3 |
| 32736 | 2 5 ⋅ 3 ⋅ 11 ⋅ 31 | أ 1 (32) | 1 | 5 |
| 34440 | 2 3 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 41 | أ 1 (41) | 2 | 2 |
| 39732 | 2 2 ⋅ 3 ⋅ 7 ⋅ 11 ⋅ 43 | أ 1 (43) | 2 | 2 |
| 51888 | 2 4 ⋅ 3 ⋅ 23 ⋅ 47 | أ 1 (47) | 2 | 2 |
| 58800 | 2 4 ⋅ 3 ⋅ 5 2 ⋅ 7 2 | أ 1 (49) | 2 | 2 2 |
| 62400 | 2 6 ⋅ 3 ⋅ 5 2 ⋅ 13 | 2 أ 2 (16) | 1 | 4 |
| 74412 | 2 2 ⋅ 3 3 ⋅ 13 ⋅ 53 | أ 1 (53) | 2 | 2 |
| 95040 | 2 6 ⋅ 3 3 ⋅ 5 ⋅ 11 | م 12 | 2 | 2 |
(يُستكمل للطلبات التي تقل عن 100,000)
يسرد هول (1972) 56 مجموعة بسيطة غير دورية من رتبة أقل من مليون.
انظر أيضاً
ملحوظات
- ↑ وُجدت عدة أخطاء في الحسابات الأولية لمضاعف شور، لذا فإن بعض الكتب والأبحاث القديمة تُدرج قيمًا غير صحيحة. (تسبب هذا في خطأ في عنوان ورقة جانكو الأصلية لعام 1976 [ 1 ] التي تُقدم دليلًا على وجود المجموعة J₄ . في ذلك الوقت، كان يُعتقد أن المجموعة المُغطية الكاملة لـ M₂₂ هي 6⋅M₂₂ . في الواقعلا تحتوي J₄ على مجموعة فرعية 12⋅M₂₂ . )
مراجع
- ↑ ز. جانكو (1976). "مجموعة بسيطة منتهية جديدة من الرتبة 86,775,571,046,077,562,880 تمتلك M 24 ومجموعة التغطية الكاملة لـ M 22 كمجموعات جزئية" . مجلة الجبر . 42 : 564-596 . doi : 10.1016/0021-8693(76)90115-0 .
للمزيد من القراءة
- مجموعات بسيطة من نوع لاي، بقلم روجر دبليو كارتر ، رقم ISBN 0-471-50683-4
- كونواي، ج. هـ .؛ كورتيس، ر. ت.؛ نورتون، س. ب .؛ باركر، ر. أ.؛ وويلسون، ر. أ .: " أطلس المجموعات المنتهية: المجموعات الفرعية القصوى والخصائص العادية للمجموعات البسيطة ". أكسفورد، إنجلترا 1985.
- دانيال غورنشتاين ، ريتشارد ليونز، رونالد سولومون، تصنيف المجموعات البسيطة المنتهية (المجلد 1) ، الجمعية الأمريكية للرياضيات، 1994 (المجلد 3) ، الجمعية الأمريكية للرياضيات، 1998
- هول، مارشال الابن (1972)، "المجموعات البسيطة من الرتبة الأقل من مليون"، مجلة الجبر ، 20 : 98-102 ، doi : 10.1016/0021-8693(72)90090-7 ، ISSN 0021-8693 ، MR 0285603
- ويلسون، روبرت أ. (2009)، الزمر البسيطة المنتهية ، نصوص الدراسات العليا في الرياضيات 251، المجلد 251، برلين، نيويورك: سبرينغر-فيرلاغ ، doi : 10.1007/978-1-84800-988-2 ، ISBN 978-1-84800-987-5Zbl 1203.20012
- أطلس تمثيلات المجموعات المنتهية : يحتوي على تمثيلات وبيانات أخرى للعديد من المجموعات البسيطة المنتهية، بما في ذلك المجموعات المتفرقة.
- رتب المجموعات البسيطة غير التبديلية حتى 10 10 ، وحتى 10 48 مع قيود على الرتبة.
روابط خارجية
- رتب المجموعات البسيطة غير التبديلية حتى الرتبة 10,000,000,000.
- قوائم متعلقة بالرياضيات
- نظرية الزمر
- مجموعات متفرقة
