قائمة المجموعات البسيطة المنتهية

في الرياضيات ، ينص تصنيف المجموعات البسيطة المنتهية على أن كل مجموعة بسيطة منتهية هي دورية ، أو متناوبة ، أو في واحدة من 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 pp عدد أوليلا أحدلا أحد
مجموعات متناوبةA n n  >  4ن!2{\displaystyle {\frac {n!}{2}}}لا أحد
  • A 5A 1 (4) ≃ A 1 (5)
  • A 6A 1 (9)
  • A 8A 3 (2)
مجموعات شيفوليه الكلاسيكيةA n ( q )q12ن(ن+1)(ن+1،q-1)أنا=1ن(qأنا+1-1){\displaystyle {\frac {q^{{\frac {1}{2}}n(n+1)}}{(n+1,q-1)}}\prod _{i=1}^{n}\left(q^{i+1}-1\right)}أ 1 (2)، أ 1 (3)
  • A 1 (4) ≃ A 1 (5) ≃ A 5
  • A 1 (7) ≃ A 2 (2)
  • A 1 (9) ≃ A 6
  • A 3 (2) ≃ A 8
B n ( q ) n  >  1qن2(2،q-1)أنا=1ن(q2أنا-1){\displaystyle {\frac {q^{n^{2}}}{(2,q-1)}}\prod _{i=1}^{n}\left(q^{2i}-1\right)}ب 2 (2)
  • B n (2 m ) ≃ C n (2 m )
  • B 2 (3) ≃ 2 A 3 (2 2 )
C n ( q ) n  >  2qن2(2،q-1)أنا=1ن(q2أنا-1){\displaystyle {\frac {q^{n^{2}}}{(2,q-1)}}\prod _{i=1}^{n}\left(q^{2i}-1\right)}لا أحدC n (2 m ) ≃ B n (2 m )
D n ( q ) n  >  3qن(ن-1)(qن-1)(4،qن-1)أنا=1ن-1(q2أنا-1){\displaystyle {\frac {q^{n(n-1)}(q^{n}-1)}{(4,q^{n}-1)}}\prod _{i=1}^{n-1}\left(q^{2i}-1\right)}لا أحدلا أحد
مجموعات شوفالي الاستثنائيةE 6 ( q )q36(3،q-1)أنا{2،5،6،8،9،12}(qأنا-1){\displaystyle {\frac {q^{36}}{(3,q-1)}}\prod _{i\in \{2,5,6,8,9,12\}}\left(q^{i}-1\right)}لا أحدلا أحد
E 7 ( q )q63(2،q-1)أنا{2،6،8،10،12،14،18}(qأنا-1){\displaystyle {\frac {q^{63}}{(2,q-1)}}\prod _{i\in \{2,6,8,10,12,14,18\}}\left(q^{i}-1\right)}لا أحدلا أحد
E 8 ( q )q120أنا{2،8،12،14،18،20،24،30}(qأنا-1){\displaystyle q^{120}\prod _{i\in \{2,8,12,14,18,20,24,30\}}\left(q^{i}-1\right)}لا أحدلا أحد
F 4 ( q )q24أنا{2،6،8،12}(qأنا-1){\displaystyle q^{24}\prod _{i\in \{2,6,8,12\}}\left(q^{i}-1\right)}لا أحدلا أحد
G 2 ( q )q6أنا{2،6}(qأنا-1){\displaystyle q^{6}\prod _{i\in \{2,6\}}\left(q^{i}-1\right)}G 2 (2)لا أحد
مجموعات شتاينبرغ الكلاسيكية2A n ( q 2 ) n > 1  q12ن(ن+1)(ن+1،q+1)أنا=1ن(qأنا+1-(-1)أنا+1){\displaystyle {\frac {q^{{\frac {1}{2}}n(n+1)}}{(n+1,q+1)}}\prod _{i=1}^{n}\left(q^{i+1}-(-1)^{i+1}\right)}2 أ 2 (2 2 )2 أ 3 (2 2 ) ≃ ب 2 (3)
2 D n ( q 2 ) n  >  3qن(ن-1)(4،qن+1)(qن+1)أنا=1ن-1(q2أنا-1){\displaystyle {\frac {q^{n(n-1)}}{(4,q^{n}+1)}}\left(q^{n}+1\right)\prod _{i=1}^{n-1}\left(q^{2i}-1\right)}لا أحدلا أحد
مجموعات شتاينبرغ الاستثنائية2E6 ( q2 )q36(3،q+1)أنا{2،5،6،8،9،12}(qأنا-(-1)أنا){\displaystyle {\frac {q^{36}}{(3,q+1)}}\prod _{i\in \{2,5,6,8,9,12\}}\left(q^{i}-(-1)^{i}\right)}لا أحدلا أحد
3 د 4 ( س 3 )q12(q8+q4+1)(q6-1)(q2-1){\displaystyle q^{12}\left(q^{8}+q^{4}+1\right)\left(q^{6}-1\right)\left(q^{2}-1\right)}لا أحدلا أحد
مجموعات سوزوكي2 ب 2 ( ق ) ق  =  2 2 ن +1q2(q2+1)(q-1){\displaystyle q^{2}\left(q^{2}+1\right)\left(q-1\right)}لا أحدلا أحد
مجموعات ري + مجموعة تيتس2 F 4 ( q ) q  =  2 2 n +1q12(q6+1)(q4-1)(q3+1)(q-1){\displaystyle q^{12}\left(q^{6}+1\right)\left(q^{4}-1\right)\left(q^{3}+1\right)\left(q-1\right)}لا أحدلا أحد
2 F 4 (2)′2 12 (2 6 + 1)(2 4 − 1)(2 3 + 1)(2 − 1)/2 =17971200
2G2 ( q ) q = 32n + 1q3(q3+1)(q-1){\displaystyle q^{3}\left(q^{3}+1\right)\left(q-1\right)}لا أحدلا أحد
مجموعات ماثيوم 117920
م 1295 040
م 22443 520
م 2310 200 960
م 24244 823 040
مجموعات جانكوJ 1175 560
J 2604 800
J 350 232 960
J 486 775 571 046 077 562 880
مجموعة كونوايCo 3495 766 656 000
ثاني أكسيد الكربون42 305 421 312 000
Co 14 157 776 806 543 360 000
مجموعات فيشرFi 2264 561 751 654 400
Fi 234 089 470 473 293 004 800
Fi 241 255 205 709 190 661 721 292 800
مجموعة هيغمان-سيمزHS44352000
مجموعة ماكلوغلينMcL898 128 000
مجموعة هيلدهو4 030 387 200
مجموعة رودفاليسرو145926144000
مجموعة سوزوكي المتفرقةسوز448 345 497 600
مجموعة أونانعلى460 815 505 920
مجموعة هارادا-نورتونHN273 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  =  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 ، و هي رتبة حقل منتهٍ أساسي . تُكتب رتبة زمرة التشاكل الخارجي على الصورة dfg ، حيث d رتبة زمرة "التشاكلات القطرية"، وf رتبة زمرة "تشاكلات الحقول" (الدورية) (المولدة بواسطة تشاكل فروبينيوس )، و g رتبة زمرة "تشاكلات الرسوم البيانية" (الناتجة عن تشاكلات مخطط دينكين ). غالبًا ما تكون زمرة التشاكل الخارجي متماثلة مع حاصل الضرب شبه المباشر، ولكن ليس دائمًا.د(F×جي){\displaystyle D\rtimes (F\times G)}حيث كل هذه المجموعاتد،F،جي{\displaystyle D,F,G}تكون دورية من الرتب d و f و g على التوالي ، باستثناء النوعدن(q){\displaystyle D_{n}(q)}،q{\displaystyle q}غريب، حيث مجموعة النظامد=4{\displaystyle d=4}يكونج2×ج2{\displaystyle C_{2}\times C_{2}}و (فقط عندمان=4{\displaystyle n=4})جي=S3{\displaystyle G=S_{3}}، وهي المجموعة المتناظرة على ثلاثة عناصر. يرمز الرمز ( a , b ) إلى القاسم المشترك الأكبر للعددين الصحيحين a و b .

مجموعات شيڤالي ، A n ( qB 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؛ أما المجموعات الأخرى فهي بسيطة.كل شيء بسيطكل شيء بسيط
طلبq12ن(ن+1)(ن+1،q-1)أنا=1ن(qأنا+1-1){\displaystyle {\frac {q^{{\frac {1}{2}}n(n+1)}}{(n+1,q-1)}}\prod _{i=1}^{n}\left(q^{i+1}-1\right)}qن2(2،q-1)أنا=1ن(q2أنا-1){\displaystyle {\frac {q^{n^{2}}}{(2,q-1)}}\prod _{i=1}^{n}\left(q^{2i}-1\right)}qن2(2،q-1)أنا=1ن(q2أنا-1){\displaystyle {\frac {q^{n^{2}}}{(2,q-1)}}\prod _{i=1}^{n}\left(q^{2i}-1\right)}qن(ن-1)(qن-1)(4،qن-1)أنا=1ن-1(q2أنا-1){\displaystyle {\frac {q^{n(n-1)}(q^{n}-1)}{(4,q^{n}-1)}}\prod _{i=1}^{n-1}\left(q^{2i}-1\right)}
مضاعف شوربالنسبة للمجموعات البسيطة ، تكون دورية من الرتبة ( 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) 2fS 3 لـ n  =  4، (2, q −1) 2f ⋅2 لـ n  >  4 زوجي، (4, q n −1)⋅ f ⋅2 لـ n فردي، حيث q  = p f ، و S 3 هي المجموعة المتناظرة من الرتبة 3! على 3 نقاط. 
أسماء أخرىالزمر الخطية الخاصة الإسقاطية ، PSL n +1 ( qL 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 ( qE 7 ( qE 8 ( qF 4 ( qG 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. يمتلك ( q ) تشاكلًا ذاتيًا غير تافه للرسوم البيانية عندما يكون q قوة للعدد 3. علاوة على ذلك، تظهر هذه المجموعات كمجموعات تشاكل ذاتي لبعض هندسات النقاط والخطوط التي تُسمى سداسيات كايلي المعممة المنقسمة .

مجموعات شتاينبرغ ، 2A n ( q 2 ) n >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 ) قابلة للحل، أما المسائل الأخرى فهي بسيطة.كل شيء بسيطكل شيء بسيطكل شيء بسيط
طلب1(ن+1،q+1)q12ن(ن+1)أنا=1ن(qأنا+1-(-1)أنا+1){\displaystyle {1 \over (n+1,q+1)}q^{{\frac {1}{2}}n(n+1)}\prod _{i=1}^{n}\left(q^{i+1}-(-1)^{i+1}\right)}1(4،qن+1)qن(ن-1)(qن+1)أنا=1ن-1(q2أنا-1){\displaystyle {1 \over (4,q^{n}+1)}q^{n(n-1)}(q^{n}+1)\prod _{i=1}^{n-1}\left(q^{2i}-1\right)}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₁ () . كما توجد المجموعة 2D³ ( ) ، وهي مُطابقة للمجموعة 2A³ ( ) .أحد الأغلفة المزدوجة الاستثنائية لـ 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. وهي لا ترتبط بزمرة سوزوكي المتفرقة.

البساطة: بسيطة لـ 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 =  79202 6 ⋅ 3 3 ⋅ 5 ⋅ 11 =  950402 7 ⋅ 3 2 ⋅ 5 ⋅ 7 ⋅ 11 =  4435202 7 ⋅ 3 2 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 23 =  102009602 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 = 1755602 7 ⋅ 3 3 ⋅ 5 2 ⋅ 7 = 6048002 7 ⋅ 3 5 ⋅ 5 ⋅ 17 ⋅ 19 = 502329602 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 = 41577768065433600002 18 ⋅ 3 6 ⋅ 5 3 ⋅ 7 ⋅ 11 ⋅ 23 = 423054213120002 10 ⋅ 3 7 ⋅ 5 3 ⋅ 7 ⋅ 11 ⋅ 23 = 495766656000
مضاعف شورالطلب رقم 2تافهتافه
مجموعة التماثل الخارجيتافهتافهتافه
أسماء أخرى123، ج 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 = 645617516544002 18 ⋅ 3 13 ⋅ 5 2 ⋅ 7 ⋅ 11 ⋅ 13 ⋅ 17 ⋅ 23 = 40894704732930048002 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 ′.يحتوي غلاف المجموعة الثلاثية على مجموعة الوحوش.

الطلب: 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 عناصر، يتم تبادلهما بواسطة تماثل خارجي.

الترتيب: 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 وجبر عامل رأس الوحش ذي الأبعاد اللانهائية ، ويؤثر بشكل طبيعي على جبر لي الوحشي .

مجموعات بسيطة غير دورية ذات رتبة صغيرة

طلبترتيب العواملمجموعةمضاعف شورمجموعة التماثل الخارجي
602 2 ⋅ 3 ⋅ 5A 5A 1 (4) ≃ A 1 (5)22
1682 3 ⋅ 3 ⋅ 7A 1 (7) A 2 (2)22
3602 3 ⋅ 3 2 ⋅ 5A 6A 1 (9) ≃ B 2 (2)′62×2
5042 3 ⋅ 3 2 ⋅ 7A 1 (8) ≃ 2 G 2 (3)′13
6602 2 ⋅ 3 ⋅ 5 ⋅ 11أ 1 (11)22
10922 2 ⋅ 3 ⋅ 7 ⋅ 13أ 1 (13)22
24482 4 ⋅ 3 2 ⋅ 17أ 1 (17)22
25202 3 ⋅ 3 2 ⋅ 5 ⋅ 7762
34202 2 ⋅ 3 2 ⋅ 5 ⋅ 19أ 1 (19)22
40802 4 ⋅ 3 ⋅ 5 ⋅ 17أ 1 (16)14
56162 4 ⋅ 3 3 ⋅ 13أ 2 (3)12
60482 5 ⋅ 3 3 ⋅ 72 A 2 (9) ≃ G 2 (2)′12
60722 3 ⋅ 3 ⋅ 11 ⋅ 23أ 1 (23)22
78002 3 ⋅ 3 ⋅ 5 2 ⋅ 13أ 1 (25)22×2
79202 4 ⋅ 3 2 ⋅ 5 ⋅ 11م 1111
98282 2 ⋅ 3 3 ⋅ 7 ⋅ 13أ 1 (27)26
121802 2 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 29أ 1 (29)22
148802 5 ⋅ 3 ⋅ 5 ⋅ 31أ 1 (31)22
201602 6 ⋅ 3 2 ⋅ 5 ⋅ 7A 3 (2) ≃ A 822
201602 6 ⋅ 3 2 ⋅ 5 ⋅ 7أ 2 (4)3×4 2د ١٢
253082 2 ⋅ 3 2 ⋅ 19 ⋅ 37أ 1 (37)22
259202 6 ⋅ 3 4 ⋅ 52 أ 3 (4) ≃ ب 2 (3)22
291202 6 ⋅ 5 ⋅ 7 ⋅ 132 ب 2 (8)2 23
327362 5 ⋅ 3 ⋅ 11 ⋅ 31أ 1 (32)15
344402 3 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 41أ 1 (41)22
397322 2 ⋅ 3 ⋅ 7 ⋅ 11 ⋅ 43أ 1 (43)22
518882 4 ⋅ 3 ⋅ 23 ⋅ 47أ 1 (47)22
588002 4 ⋅ 3 ⋅ 5 2 ⋅ 7 2أ 1 (49)22 2
624002 6 ⋅ 3 ⋅ 5 2 ⋅ 132 أ 2 (16)14
744122 2 ⋅ 3 3 ⋅ 13 ⋅ 53أ 1 (53)22
950402 6 ⋅ 3 3 ⋅ 5 ⋅ 11م 1222

(يُستكمل للطلبات التي تقل عن 100,000)

يسرد هول (1972) 56 مجموعة بسيطة غير دورية من رتبة أقل من مليون.

انظر أيضاً

ملحوظات

  1. وُجدت عدة أخطاء في الحسابات الأولية لمضاعف شور، لذا فإن بعض الكتب والأبحاث القديمة تُدرج قيمًا غير صحيحة. (تسبب هذا في خطأ في عنوان ورقة جانكو الأصلية لعام 1976 [ 1 ] التي تُقدم دليلًا على وجود المجموعة J₄ . في ذلك الوقت، كان يُعتقد أن المجموعة المُغطية الكاملة لـ M₂₂ هي 6⋅M₂₂ . في الواقعلا تحتوي J₄ على مجموعة فرعية 12⋅M₂₂ . )

مراجع

للمزيد من القراءة

  • رتب المجموعات البسيطة غير التبديلية حتى الرتبة 10,000,000,000.