قائمة المجموعات الصغيرة
تحتوي القائمة التالية في الرياضيات على المجموعات المنتهية ذات الرتبة الصغيرة حتى تماثل المجموعة .
العد
بالنسبة لـ n = 1، 2، ... يكون عدد المجموعات غير المتماثلة من الرتبة n هو
للاطلاع على المجموعات المصنفة، انظر (التسلسل A034383 في OEIS ) .
مسرد المصطلحات
يتم تسمية كل مجموعة بواسطة مكتبة المجموعات الصغيرة باسم G o i ، حيث o هو ترتيب المجموعة ، و i هو الفهرس المستخدم لتسمية المجموعة داخل هذا الترتيب.
أسماء المجموعات الشائعة:
- Z n : المجموعة الدورية من الرتبة n (يتم استخدام الترميز C n أيضًا؛ وهي متماثلة مع المجموعة الجمعية لـ Z / n Z )
- Dih n : المجموعة ثنائية السطوح من الرتبة 2 n (غالباً ما يتم استخدام الترميز D n أو D 2 n )
- D n : المجموعة ثنائية السطوح من الرتبة 2 n ، وهي نفسها Dih n (الرمز المستخدم في قسم قائمة المجموعات الصغيرة غير التبديلية )
- K 4 : مجموعة كلاين الرباعية من الرتبة 4، المتماثلة مع Z 2 × Z 2 و Dih 2
- S n : المجموعة المتناظرة من الدرجة n ، والتي تحتوي على n ! تبديلات لـ n عنصرًا
- A n : المجموعة المتناوبة من الدرجة n ، التي تحتوي على التباديل الزوجية لـ n عنصرًا، من الرتبة 1 عندما n = 0 أو 1 ، ومن الرتبة n !/2 فيما عدا ذلك.
- Dic n أو Q 4 n : المجموعة ثنائية الحلقة من الرتبة 4 n
- س 8 : مجموعة الكواترنيون من الرتبة 8، وأيضًا قاموس 2
تتميز الرموز Z n و Dih n بميزة أن مجموعات النقاط في ثلاثة أبعاد C n و D n لا تشترك في نفس الرمز. وهناك مجموعات متساوية القياس أكثر من هاتين المجموعتين، من نفس نوع المجموعة المجردة.
يرمز G × H إلى الضرب المباشر للمجموعتين؛ ويرمز G n إلى الضرب المباشر لمجموعة مع نفسها n مرة. ويرمز G ⋊ H إلى الضرب شبه المباشر حيث تؤثر H على G ؛ وقد يعتمد هذا أيضًا على اختيار تأثير H على G.
يُشار إلى المجموعات الأبيلية والبسيطة . (بالنسبة للمجموعات ذات الرتبة n < 60 ، فإن المجموعات البسيطة هي تحديدًا المجموعات الدورية Z n ، حيث n عدد أولي .)
يُمثَّل العنصر المحايد في مخططات الدورات بالدائرة السوداء. أدنى رتبة لا يُمثِّل فيها مخطط الدورات مجموعةً بشكلٍ فريد هي الرتبة 16.
في قوائم المجموعات الفرعية ، لا تُدرج المجموعة التافهة ولا المجموعة نفسها. وعند وجود عدة مجموعات فرعية متماثلة، يُشار إلى عدد هذه المجموعات الفرعية بين قوسين.
قائمة المجموعات الأبيلية الصغيرة
الزمر الأبيلية المنتهية إما زمر دورية، أو نواتج مباشرة لها؛ انظر الزمرة الأبيلية . أعداد الزمر الأبيلية غير المتماثلة من الرتب n = 1، 2، ... هي
للاطلاع على المجموعات الأبيلية المصنفة، انظر (التسلسل A034382 في OEIS ) .
| طلب | المرجع نفسه [ أ ] | جو آي | مجموعة | المجموعات الفرعية الصحيحة غير التافهة [ 1 ] | الرسم البياني الدوري | ملكيات |
|---|---|---|---|---|---|---|
| 1 | 1 | G 1 1 | Z 1 ≅ S 1 ≅ A 2 | – | تافه . دوري. متناوب. متناظر. أولي . | |
| 2 | 2 | G 2 1 | Z 2 ≅ S 2 ≅ D 1 | – | بسيط. متناظر. دوري. ابتدائي. (أصغر مجموعة غير تافهة). | |
| 3 | 3 | G 3 1 | Z 3 ≅ A 3 | – | بسيط. متناوب. دوري. ابتدائي. | |
| 4 | 4 | G 4 1 | Z 4 ≅ Q 4 | Z 2 | دوري. | |
| 5 | G 4 2 | Z 2 2 ≅ K 4 ≅ D 2 | Z 2 (3) | أساسي. ناتج . ( مجموعة كلاين الرباعية . أصغر مجموعة غير حلقية.) | ||
| 5 | 6 | G 5 1 | Z 5 | – | بسيط. دوري. ابتدائي. | |
| 6 | 8 | G 6 2 | Z 6 ≅ Z 3 × Z 2 [ 2 ] | Z 3 ، Z 2 | منتج دوري. | |
| 7 | 9 | G 7 1 | Z 7 | – | بسيط. دوري. ابتدائي. | |
| 8 | 10 | G 8 1 | Z 8 | Z 4 ، Z 2 | دوري. | |
| 11 | G 8 2 | Z 4 × Z 2 | Z 2 2 ، Z 4 (2)، Z 2 (3) | منتج. | ||
| 14 | G 8 5 | Z 2 3 | Z 2 2 (7), Z 2 (7) | المنتج. ابتدائي. (تتوافق العناصر غير المحايد مع النقاط في مستوى فانو ، وتتوافق المجموعات الفرعية Z 2 × Z 2 مع الخطوط.) | ||
| 9 | 15 | G 9 1 | Z 9 | Z 3 | دوري. | |
| 16 | G 9 2 | Z 3 2 | Z 3 (4) | أساسي. منتج. | ||
| 10 | 18 | G 10 2 | Z 10 ≅ Z 5 × Z 2 | Z 5 ، Z 2 | منتج دوري. | |
| 11 | 19 | G 11 1 | Z 11 | – | بسيط. دوري. ابتدائي. | |
| 12 | 21 | G 12 2 | Z 12 ≅ Z 4 × Z 3 | Z 6 ، Z 4 ، Z 3 ، Z 2 | منتج دوري. | |
| 24 | G 12 5 | Z 6 × Z 2 ≅ Z 3 × Z 2 2 | Z 6 (3)، Z 3 ، Z 2 (3)، Z 2 2 | منتج. | ||
| 13 | 25 | G 13 1 | Z 13 | – | بسيط. دوري. ابتدائي. | |
| 14 | 27 | G 14 2 | Z 14 ≅ Z 7 × Z 2 | Z 7 ، Z 2 | منتج دوري. | |
| 15 | 28 | G 15 1 | Z 15 ≅ Z 5 × Z 3 | Z 5 ، Z 3 | منتج دوري. | |
| 16 | 29 | G 16 1 | Z 16 | Z 8 ، Z 4 ، Z 2 | دوري. | |
| 30 | G 16 2 | Z 4 2 | ز 2 (3)، ز 4 (6)، ز 2 2 ، ز 4 × ز 2 (3) | منتج. | ||
| 33 | G 16 5 | Z 8 × Z 2 | ز 2 (3)، ز 4 (2)، ز 2 2 ، ز 8 (2)، ز 4 × ز 2 | منتج. | ||
| 38 | G 16 10 | Z 4 × Z 2 2 | ز 2 (7)، ز 4 (4)، ز 2 2 (7)، ز 2 3 ، ز 4 × ز 2 (6) | منتج. | ||
| 42 | G 16 14 | Z 2 4 ≅ K 4 2 | ز 2 (15)، ز 2 2 (35)، ز 2 3 (15) | منتج. ابتدائي. | ||
| 17 | 43 | G 17 1 | Z 17 | – | بسيط. دوري. ابتدائي. | |
| 18 | 45 | G 18 2 | Z 18 ≅ Z 9 × Z 2 | Z 9 ، Z 6 ، Z 3 ، Z 2 | منتج دوري. | |
| 48 | G 18 5 | Z 6 × Z 3 ≅ Z 3 2 × Z 2 | Z 2 ، Z 3 (4)، Z 6 (4)، Z 3 2 | منتج. | ||
| 19 | 49 | G 19 1 | Z 19 | – | بسيط. دوري. ابتدائي. | |
| 20 | 51 | G 20 2 | Z 20 ≅ Z 5 × Z 4 | Z 10 ، Z 5 ، Z 4 ، Z 2 | منتج دوري. | |
| 54 | G 20 5 | Z 10 × Z 2 ≅ Z 5 × Z 2 2 | Z 2 (3), K 4 , Z 5 , Z 10 (3) | منتج. | ||
| 21 | 56 | G 21 2 | Z 21 ≅ Z 7 × Z 3 | Z 7 ، Z 3 | منتج دوري. | |
| 22 | 58 | G 22 2 | Z 22 ≅ Z 11 × Z 2 | Z 11 ، Z 2 | منتج دوري. | |
| 23 | 59 | G 23 1 | Z 23 | – | بسيط. دوري. ابتدائي. | |
| 24 | 61 | G 24 2 | Z 24 ≅ Z 8 × Z 3 | ز 12 ، ز 8 ، ز 6 ، ز 4 ، ز 3 ، ز 2 | منتج دوري. | |
| 68 | G 24 9 | ض 12 × ض 2 ≅ ض 6 × ض 4 ≅ ض 4 × ض 3 × ض 2 | Z 12 ، Z 6 ، Z 4 ، Z 3 ، Z 2 | منتج. | ||
| 74 | G 24 15 | Z 6 × Z 2 2 ≅ Z 3 × Z 2 3 | Z 6 ، Z 3 ، Z 2 | منتج. | ||
| 25 | 75 | G 25 1 | Z 25 | Z 5 | دوري. | |
| 76 | G 25 2 | Z 5 2 | Z 5 (6) | منتج. ابتدائي. | ||
| 26 | 78 | G 26 2 | Z 26 ≅ Z 13 × Z 2 | Z 13 ، Z 2 | منتج دوري. | |
| 27 | 79 | G 27 1 | Z 27 | Z 9 ، Z 3 | دوري. | |
| 80 | G 27 2 | Z 9 × Z 3 | Z 9 ، Z 3 | منتج. | ||
| 83 | G 27 5 | Z 3 3 | Z 3 | منتج. ابتدائي. | ||
| 28 | 85 | G 28 2 | Z 28 ≅ Z 7 × Z 4 | Z 14 ، Z 7 ، Z 4 ، Z 2 | منتج دوري. | |
| 87 | G 28 4 | Z 14 × Z 2 ≅ Z 7 × Z 2 2 | Z 14 ، Z 7 ، Z 4 ، Z 2 | منتج. | ||
| 29 | 88 | G 29 1 | Z 29 | – | بسيط. دوري. ابتدائي. | |
| 30 | 92 | G 30 4 | ض 30 ≅ ض 15 × ض 2 ≅ ض 10 × ض 3 ≅ ض 6 × ض 5 ≅ ض 5 × ض 3 × ض 2 | ز 15 ، ض 10 ، ض 6 ، ض 5 ، ض 3 ، ض 2 | منتج دوري. | |
| 31 | 93 | G 31 1 | Z 31 | – | بسيط. دوري. ابتدائي. |
قائمة المجموعات الصغيرة غير الأبيلية
يتم حساب عدد المجموعات غير التبديلية، حسب الرتبة، بواسطة (التسلسل A060689 في OEIS ) . ومع ذلك، لا تحتوي العديد من الرتب على مجموعات غير تبديلية. أما الرتب التي توجد لها مجموعة غير تبديلية فهي
- 6، 8، 10، 12، 14، 16، 18، 20، 21، 22، 24، 26، 27، 28، 30، 32، 34، 36، 38، 39، 40، 42، 44، 46، 48، 50، ... (التسلسل A060652 في OEIS )
| طلب | المرجع نفسه [ أ ] | جو آي | مجموعة | المجموعات الفرعية الصحيحة غير التافهة [ 1 ] | الرسم البياني الدوري | ملكيات |
|---|---|---|---|---|---|---|
| 6 | 7 | G 6 1 | D 3 ≅ S 3 ≅ Z 3Z 2 | Z 3 ، Z 2 (3) | المجموعة ثنائية السطوح ، Dih 3 ، أصغر مجموعة غير تبديلية، مجموعة متناظرة، أصغر مجموعة فروبينيوس . | |
| 8 | 12 | G 8 3 | D 4 ≅ Z 4Z 2 | Z 4 , Z 2 2 (2), Z 2 (5) | مجموعة ثنائية السطوح، Dih 4. مجموعة خاصة للغاية . عديمة القدرة . | |
| 13 | G 8 4 | Q 8 ≅ Z 4Z 2 | Z 4 (3)، Z 2 | مجموعة الكواتيرنيون ، مجموعة هاميلتونية (جميع المجموعات الفرعية طبيعية دون أن تكون المجموعة أبيلية). أصغر مجموعة G تُظهر أنه بالنسبة لمجموعة فرعية طبيعية H، فإن مجموعة القسمة G / H لا يلزم أن تكون متماثلة مع مجموعة فرعية من G. مجموعة خاصة إضافية . المرجع 2 ، [ 3 ] مجموعة ثنائية ثنائية السطوح <2,2,2>. [ 4 ] مجموعة عديمة القوة. | ||
| 10 | 17 | G 10 1 | D 5 ≅ Z 5Z 2 | Z 5 ، Z 2 (5) | مجموعة ثنائية السطوح، Dih 5 ، مجموعة فروبينيوس. | |
| 12 | 20 | G 12 1 | Q 12 ≅ Z 3 ⋊ Z 4 | Z 2 ، Z 3 ، Z 4 (3)، Z 6 | المجموعة ثنائية الحلقة Dic 3 ، المجموعة ثنائية السطوح، <3,2,2>. [ 4 ] | |
| 22 | G 12 3 | أ 4 ≅ ك 4 ⋊ ض 3 ≅ ( ض 2 × ض 2 ) ⋊ ض 3 | Z 2 2 ، Z 3 (4)، Z 2 (3) | مجموعة متناوبة . لا توجد مجموعات فرعية من الرتبة 6، على الرغم من أن 6 يقسم رتبتها. أصغر مجموعة فروبينيوس ليست مجموعة ثنائية السطوح. تناظر رباعي السطوح كيرالي (T). | ||
| 23 | G 12 4 | D 6 ≅ D 3 × Z 2 | Z 6 , D 3 (2), Z 2 2 (3), Z 3 , Z 2 (7) | مجموعة ثنائية السطوح، Dih 6 ، منتج. | ||
| 14 | 26 | G 14 1 | D 7 ≅ Z 7Z 2 | Z 7 ، Z 2 (7) | مجموعة ثنائية السطوح، Dih 7 ، مجموعة فروبينيوس. | |
| 16 [ 5 ] | 31 | G 16 3 | K 4 ⋊ Z 4 | ز 2 3 ، ز 4 × ز 2 (2)، ز 4 (4)، ز 2 2 (7)، ز 2 (7) | تحتوي على نفس عدد العناصر من كل رتبة مثل مجموعة باولي. عديمة القوة. | |
| 32 | G 16 4 | Z 4 ⋊ Z 4 | ز 4 × ز 2 (3)، ز 4 (6)، ز 2 2 ، ز 2 (3) | مربعات العناصر لا تُشكّل زمرة جزئية. لها نفس عدد العناصر من كل رتبة مثل Q 8 × Z 2. زمرة عديمة القوة. | ||
| 34 | G 16 6 | Z 8 ⋊ 5 Z 2 | ز 8 (2)، ز 4 × ز 2 ، ز 4 (2)، ز 2 2 ، ز 2 (3) | تُسمى أحيانًا بالمجموعة النمطية من الرتبة 16، مع أن هذا مُضلل لأن المجموعات الأبيلية و Q 8 × Z 2 هي أيضًا مجموعات نمطية. عديمة القوة. | ||
| 35 | G 16 7 | D 8 ≅ Z 8 ⋊ −1 Z 2 | Z 8 , D 4 (2), Z 2 2 (4), Z 4 , Z 2 (9) | مجموعة ثنائي السطوح، Dih 8 . عديم القدرة. | ||
| 36 | G 16 8 | QD 16 ≅ Z 8 ⋊ 3 Z 2 | Z 8 ، Q 8 ، D 4 ، Z 4 (3)، Z 2 2 (2)، Z 2 (5) | المجموعة شبه السطوحية من الرتبة 16. عديمة القوة. | ||
| 37 | G 16 9 | س 16 | Z 8 ، Q 8 (2)، Z 4 (5)، Z 2 | مجموعة الكواترنيون المعممة ، المجموعة ثنائية الدورة Dic 4 ، المجموعة ثنائية السطوح، <4,2,2>. [ 4 ] عديمة القوة. | ||
| 39 | G 16 11 | D 4 × Z 2 | د 4 (4)، ض 4 × ض 2 ، ض 2 3 (2)، ض 2 2 (13)، ض 4 (2)، ض 2 (11) | منتج. عديم الفعالية. | ||
| 40 | G 16 12 | س 8 × ع 2 | س 8 (4)، ض 4 × ض 2 (3)، ض 4 (6)، ض 2 2 ، ض 2 (3) | مجموعة هاميلتونية ، ناتج. عديم القوة. | ||
| 41 | G 16 13 | (Z 4 × Z 2 ) ⋊ Z 2 | س 8 ، د 4 (3)، ز 4 × ز 2 (3)، ز 4 (4)، ز 2 2 (3)، ز 2 (7) | مجموعة باولي المتولدة من مصفوفات باولي . عديمة القوة. | ||
| 18 | 44 | G 18 1 | D 9 ≅ Z 9Z 2 | Z 9 ، D 3 (3)، Z 3 ، Z 2 (9) | مجموعة ثنائية السطوح، Dih 9 ، مجموعة فروبينيوس. | |
| 46 | G 18 3 | Z 3 ⋊ Z 6 ≅ D 3 × Z 3 ≅ S 3 × Z 3 | Z 3 2 ، D 3 ، Z 6 (3)، Z 3 (4)، Z 2 (3) | منتج. | ||
| 47 | G 18 4 | Z 3S 3 | Z 3 2 ، D 3 (12)، Z 3 (4)، Z 2 (9) | مجموعة فروبينيوس. | ||
| 20 | 50 | G 20 1 | س 20 | Z 10 ، Z 5 ، Z 4 (5)، Z 2 | المجموعة ثنائية الحلقة Dic 5 ، مجموعة ثنائية السطوح، <5,2,2>. [ 4 ] | |
| 52 | G 20 3 | Z 5 ⋊ Z 4 | D 5 ، Z 5 ، Z 4 (5)، Z 2 (5) | مجموعة فروبينيوس. | ||
| 53 | G 20 4 | D 10 ≅ D 5 × Z 2 | Z 10 , D 5 (2), Z 5 , Z 2 2 (5), Z 2 (11) | مجموعة ثنائية السطوح، Dih 10 ، منتج. | ||
| 21 | 55 | G 21 1 | Z 7 ⋊ Z 3 | Z 7 ، Z 3 (7) | أصغر مجموعة غير تبديلية من رتبة فردية . مجموعة فروبينيوس. | |
| 22 | 57 | G 22 1 | D 11 ≅ Z 11Z 2 | Z 11 ، Z 2 (11) | مجموعة ثنائية السطوح Dih 11 ، مجموعة فروبينيوس. | |
| 24 | 60 | G 24 1 | Z 3 ⋊ Z 8 | ز 12 ، ز 8 (3)، ز 6 ، ز 4 ، ز 3 ، ز 2 | الامتداد المركزي لـ S 3 . | |
| 62 | G 24 3 | SL (2,3) ≅ Q 8 ⋊ Z 3 | س 8 ، ز 6 (4)، ز 4 (3)، ز 3 (4)، ز 2 | المجموعة الرباعية السطوح الثنائية ، 2T = <3,3,2>. [ 4 ] | ||
| 63 | G 24 4 | س ٢٤ ≅ ز ٣ ⋊ س ٨ | ز 12 ، س 12 (2)، س 8 (3)، ز 6 ، ز 4 (7)، ز 3 ، ز 2 | المجموعة ثنائية الحلقة Dic 6 ، ثنائية السطوح، <6,2,2>. [ 4 ] | ||
| 64 | G 24 5 | D 3 × Z 4 ≅ S 3 × Z 4 | Z 12 ، D 6 ، Q 12 ، Z 4 × Z 2 (3)، Z 6 ، D 3 (2)، Z 4 (4)، Z 2 2 (3)، Z 3 ، Z 2 (7) | منتج. | ||
| 65 | G 24 6 | D 12 ≅ Z 12Z 2 | Z 12 , D 6 (2), D 4 (3), Z 6 , D 3 (4), Z 4 , Z 2 2 (6), Z 3 , Z 2 (13) | مجموعة ثنائية السطوح، Dih 12 . | ||
| 66 | G 24 7 | س 12 × ض 2 ≅ ض 2 × (ض 3 ⋊ ض 4 ) | ض 6 × ض 2 ، س 12 (2)، ض 4 × ض 2 (3)، ض 6 (3)، ض 4 (6)، ض 2 2 ، ض 3 ، ض 2 (3) | منتج. | ||
| 67 | G 24 8 | (Z 6 × Z 2 ) ⋊ Z 2 ≅ Z 3 ⋊ D 4 | Z 6 × Z 2 ، D 6 ، Q 12 ، D 4 (3)، Z 6 (3)، D 3 (2)، Z 4 (3)، Z 2 2 (4)، Z 3 ، Z 2 (9) | غطاء مزدوج لمجموعة ثنائية السطوح. | ||
| 69 | G 24 10 | D 4 × Z 3 | ض 12 ، ض 6 × ض 2 (2)، د 4 ، ض 6 (5)، ض 4 ، ض 2 2 (2)، ض 3 ، ض 2 (5) | منتج. عديم الفعالية. | ||
| 70 | G 24 11 | س 8 × ع 3 | ز 12 (3)، س 8 ، ز 6 ، ز 4 (3)، ز 3 ، ز 2 | منتج. عديم الفعالية. | ||
| 71 | G 24 12 | S 4 ≅ A 4Z 2 | A 4 ، D 4 (3)، D 3 (4)، Z 4 (3)، Z 2 2 (4)، Z 3 (4)، Z 2 (9) [ 6 ] | مجموعة متناظرة. ليس لها مجموعات فرعية طبيعية من نوع سيلو . تناظر ثماني السطوح كيرالي (O)، تناظر رباعي السطوح غير كيرالي (T d ). | ||
| 72 | G 24 13 | A 4 × Z 2 | أ 4 ، ز 2 3 ، ز 6 (4)، ز 2 2 (7)، ز 3 (4)، ز 2 (7) | المنتج. التناظر البيريتوهيدرالي (Th ) . | ||
| 73 | G 24 14 | D 6 × Z 2 | Z 6 × Z 2 ، D 6 (6)، Z 2 3 (3)، Z 6 (3)، D 3 (4)، Z 2 2 (19)، Z 3 ، Z 2 (15) | منتج. | ||
| 26 | 77 | G 26 1 | D 13 ≅ Z 13Z 2 | Z 13 ، Z 2 (13) | مجموعة ثنائية السطوح، Dih 13 ، مجموعة فروبينيوس. | |
| 27 | 81 | G 27 3 | Z 3 2 ⋊ Z 3 | Z 3 2 (4), Z 3 (13) | جميع العناصر غير التافهة لها رتبة 3. مجموعة خاصة إضافية . عديمة القوة. | |
| 82 | G 27 4 | Z 9 ⋊ Z 3 | Z 9 (3), Z 3 2 , Z 3 (4) | مجموعة فائقة التخصص . عديم القدرة. | ||
| 28 | 84 | G 28 1 | Z 7 ⋊ Z 4 | Z 14 ، Z 7 ، Z 4 (7)، Z 2 | المجموعة ثنائية الحلقة Dic 7 ، المجموعة ثنائية السطوح، <7,2,2>. [ 4 ] | |
| 86 | G 28 3 | D 14 ≅ D 7 × Z 2 | Z 14 ، D 7 (2)، Z 7 ، Z 2 2 (7)، Z 2 (9) | مجموعة ثنائية السطوح، Dih 14 ، منتج. | ||
| 30 | 89 | G 30 1 | D 3 × Z 5 | ز 15 ، ز 10 (3)، د 3 ، ز 5 ، ز 3 ، ز 2 (3) | منتج. | |
| 90 | G 30 2 | D 5 × Z 3 | ز 15 ، د 5 ، ز 6 (5)، ز 5 ، ز 3 ، ز 2 (5) | منتج. | ||
| 91 | G 30 3 | D 15 ≅ Z 15Z 2 | Z 15 ، D 5 (3)، D 3 (5)، Z 5 ، Z 3 ، Z 2 (15) | مجموعة ثنائية السطوح، Dih 15 ، مجموعة فروبينيوس. |
تصنيف مجموعات ذات رتبة صغيرة
تُعطى المجموعات الصغيرة ذات رتبة القوى الأولية p n على النحو التالي:
- الترتيب p : المجموعة الوحيدة هي المجموعة الدورية.
- الترتيب ص 2 : هناك مجموعتان فقط، وكلاهما تبديلي.
- الرتبة p 3 : توجد ثلاث زمر تبديلية، ومجموعتان غير تبديليتين. إحدى المجموعتين غير التبديليتين هي حاصل الضرب شبه المباشر لزمرة دورية طبيعية من الرتبة p 2 في زمرة دورية من الرتبة p . أما الأخرى فهي زمرة الكواترنيون عندما p = 2 ، وزمرة هايزنبرغ بتردد p عندما p > 2 .
- الترتيب p 4 : التصنيف معقد، ويصبح أكثر صعوبة مع زيادة أس p .
معظم الزمر ذات الرتبة الصغيرة لها زمرة جزئية من نوع سيلو p، P، مع متمم طبيعي من النوع p، N ، حيث يقسم عدد أولي p الرتبة. لذا، يمكن تصنيفها بدلالة الأعداد الأولية الممكنة p ، والزمر الجزئية من النوع p ، P، والزمر الجزئية من النوع N ، وتأثيرات P على N. بمعنى ما، يُختزل تصنيف هذه الزمر إلى تصنيف الزمر الجزئية من النوع p . من بين الزمر الصغيرة التي لا تملك متممًا طبيعيًا من النوع p :
- الرتبة 24: المجموعة المتناظرة S 4
- الرتبة 48: المجموعة الثنائية ثمانية السطوح وحاصل الضرب S 4 × Z 2
- الترتيب 60: المجموعة المتناوبة A 5 .
أصغر رتبة لا يُعرف عدد المجموعات غير المتماثلة فيها هي 2048 = 2 11 . [ 7 ]
مكتبة المجموعات الصغيرة
يحتوي نظام الجبر الحاسوبي GAP على حزمة تُسمى "مكتبة المجموعات الصغيرة"، والتي تُتيح الوصول إلى أوصاف مجموعات الرتب الصغيرة. وتُدرج المجموعات حتى التشاكل . وتحتوي المكتبة حاليًا على المجموعات التالية: [ 8 ]
- تلك التي من الرتبة 2000 على الأكثر [ 9 ] باستثناء الرتبة 1024 ( 423164062 مجموعة في المكتبة؛ كان لا بد من تخطي تلك التي من الرتبة 1024، حيث يوجد 49487367289 مجموعة غير متماثلة من الرتبة 1024 [ 10 ] ) ؛
- تلك التي لا تحتوي على مكعبات على الأكثر 50000 (395703 مجموعة)؛
- تلك ذات الترتيب الخالي من المربعات ؛
- تلك التي من الرتبة p n حيث n على الأكثر 6 و p عدد أولي؛
- تلك من الرتبة p 7 لـ p = 3، 5، 7، 11 (907 489 مجموعة)؛
- تلك التي من الرتبة pq n حيث q n يقسم 2 8 ، 3 6 ، 5 5 أو 7 4 و p هو عدد أولي عشوائي يختلف عن q ؛
- تلك التي يمكن تحليل رتبها إلى 3 أعداد أولية على الأكثر (ليس بالضرورة أن تكون مختلفة).
يحتوي على أوصاف صريحة للمجموعات المتاحة بتنسيق قابل للقراءة بواسطة الكمبيوتر.
أصغر طلبية لا تتوفر معلومات عنها في مكتبة المجموعات الصغيرة هي 1024.
انظر أيضاً
ملحوظات
- 1 2 دوكشيتسر، تيم. "أسماء المجموعات" . تم الاسترجاع في 23 مايو 2023 .
- ↑ انظر مثالًا محلولًا يوضح التشاكل Z 6 ≅ Z 3 × Z 2 .
- ↑ تشين، جينغ؛ تانغ، لانغ (2020). "الرسوم البيانية التبادلية على المجموعات ثنائية الدورة". ندوة الجبر . 27 (4): 799-806 . doi : 10.1142/S1005386720000668 . ISSN 1005-3867 . S2CID 228827501 .
- 1 2 3 4 5 6 7 كوكسيتر، إتش إس إم (1980). المولدات والعلاقات للمجموعات المنفصلة ( الطبعة الرابعة). برلين: سبرينغر. doi : 10.1007/978-3-662-21943-0 . ISBN 978-3-662-21943-0.
<l,m,n>: R l =S m =T n =RST
- ↑ وايلد، مارسيل (2005). "مجموعات الرتبة السادسة عشرة ببساطة" ( ملف PDF) . المجلة الأمريكية للرياضيات ، 112 (1): 20-31 . doi : 10.1080/00029890.2005.11920164 . JSTOR 30037381. S2CID 15362871. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 23-09-2006.
- ↑ "بنية المجموعة الفرعية للمجموعة المتناظرة: S4 - خصائص المجموعة" .
- ↑ إيك، بيتينا؛ هورن، ماكس؛ هولبكه، ألكسندر (2018). بناء مجموعات من الرتبة الصغيرة: نتائج حديثة ومشكلات مفتوحة (ملف PDF) . سبرينغر. ص 199-211 . doi : 10.1007/978-3-319-70566-8_8 . ISBN 978-3-319-70566-8.
- ↑ هانز أولريش بيش، مكتبة المجموعات الصغيرة، مؤرشفة بتاريخ 5 مارس 2012 في أرشيف الإنترنت
- ↑ "أعداد أنواع التشاكل للمجموعات المنتهية ذات الرتبة المعطاة" . www.icm.tu-bs.de . مؤرشف من الأصل بتاريخ 25 يوليو 2019. تم الاطلاع عليه بتاريخ 5 أبريل 2017 .
- ↑ بوريل، ديفيد (2021-12-08). "حول عدد المجموعات من الرتبة 1024" . الاتصالات في الجبر . 50 (6): 2408-2410 . doi : 10.1080/00927872.2021.2006680 .
مراجع
- كوكسيتر، إتش إس إم وموزر، دبليو أو جيه (1980). المولدات والعلاقات للمجموعات المنفصلة . نيويورك: سبرينغر-فيرلاغ. ISBN 0-387-09212-9.، الجدول 1، ترتيب المجموعات غير التبديلية <32.
- هول الابن، مارشال ؛ سينيور، جيمس ك. (1964). "مجموعات الرتبة 2 ن ( ن ≤ 6)". ماث ساينت . ماكميلان. MR 0168631 . فهرس لـ 340 مجموعة من الرتبة التي تقسم 64 مع جداول العلاقات المحددة والثوابت وشبكة المجموعات الفرعية لكل مجموعة.
روابط خارجية
- مجموعات محددة في ويكي خصائص المجموعة
- بيش، هو؛ إيك، ب.؛ أوبراين، إي. "مكتبة المجموعة الصغيرة" . مؤرشف من الأصل في 2012-03-05.
- قاعدة بيانات أسماء المجموعات
- هول الابن، مارشال؛ سينيور، جيمس كون (1964). مجموعات الرتبة 2 ن ( ن ≤ 6) . نيويورك: ماكميلان / لندن: كولير-ماكميلان المحدودة. LCCN 64016861
- قوائم متعلقة بالرياضيات
- الجداول الرياضية
- المجموعات المنتهية
