Polytope of Type {3,12,10,2}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {3,12,10,2}*1920
if this polytope has a name.
Group : SmallGroup(1920,240195)
Rank : 5
Schlafli Type : {3,12,10,2}
Number of vertices, edges, etc : 4, 24, 80, 10, 2
Order of s0s1s2s3s4 : 40
Order of s0s1s2s3s4s3s2s1 : 2
Special Properties :
Degenerate
Universal
Orientable
Flat
Related Polytopes :
Facet
Vertex Figure
Dual
Facet Of :
None in this Atlas
Vertex Figure Of :
None in this Atlas
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {3,6,10,2}*960
5-fold quotients : {3,12,2,2}*384
10-fold quotients : {3,6,2,2}*192
20-fold quotients : {3,3,2,2}*96
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 3, 6)( 4, 5)( 7, 8)( 11, 14)( 12, 13)( 15, 16)( 19, 22)( 20, 21)
( 23, 24)( 27, 30)( 28, 29)( 31, 32)( 35, 38)( 36, 37)( 39, 40)( 41, 81)
( 42, 82)( 43, 86)( 44, 85)( 45, 84)( 46, 83)( 47, 88)( 48, 87)( 49, 89)
( 50, 90)( 51, 94)( 52, 93)( 53, 92)( 54, 91)( 55, 96)( 56, 95)( 57, 97)
( 58, 98)( 59,102)( 60,101)( 61,100)( 62, 99)( 63,104)( 64,103)( 65,105)
( 66,106)( 67,110)( 68,109)( 69,108)( 70,107)( 71,112)( 72,111)( 73,113)
( 74,114)( 75,118)( 76,117)( 77,116)( 78,115)( 79,120)( 80,119)(121,122)
(123,125)(124,126)(129,130)(131,133)(132,134)(137,138)(139,141)(140,142)
(145,146)(147,149)(148,150)(153,154)(155,157)(156,158)(161,202)(162,201)
(163,205)(164,206)(165,203)(166,204)(167,207)(168,208)(169,210)(170,209)
(171,213)(172,214)(173,211)(174,212)(175,215)(176,216)(177,218)(178,217)
(179,221)(180,222)(181,219)(182,220)(183,223)(184,224)(185,226)(186,225)
(187,229)(188,230)(189,227)(190,228)(191,231)(192,232)(193,234)(194,233)
(195,237)(196,238)(197,235)(198,236)(199,239)(200,240);;
s1 := ( 1, 41)( 2, 42)( 3, 44)( 4, 43)( 5, 47)( 6, 48)( 7, 45)( 8, 46)
( 9, 49)( 10, 50)( 11, 52)( 12, 51)( 13, 55)( 14, 56)( 15, 53)( 16, 54)
( 17, 57)( 18, 58)( 19, 60)( 20, 59)( 21, 63)( 22, 64)( 23, 61)( 24, 62)
( 25, 65)( 26, 66)( 27, 68)( 28, 67)( 29, 71)( 30, 72)( 31, 69)( 32, 70)
( 33, 73)( 34, 74)( 35, 76)( 36, 75)( 37, 79)( 38, 80)( 39, 77)( 40, 78)
( 83, 84)( 85, 87)( 86, 88)( 91, 92)( 93, 95)( 94, 96)( 99,100)(101,103)
(102,104)(107,108)(109,111)(110,112)(115,116)(117,119)(118,120)(121,162)
(122,161)(123,163)(124,164)(125,168)(126,167)(127,166)(128,165)(129,170)
(130,169)(131,171)(132,172)(133,176)(134,175)(135,174)(136,173)(137,178)
(138,177)(139,179)(140,180)(141,184)(142,183)(143,182)(144,181)(145,186)
(146,185)(147,187)(148,188)(149,192)(150,191)(151,190)(152,189)(153,194)
(154,193)(155,195)(156,196)(157,200)(158,199)(159,198)(160,197)(201,202)
(205,208)(206,207)(209,210)(213,216)(214,215)(217,218)(221,224)(222,223)
(225,226)(229,232)(230,231)(233,234)(237,240)(238,239);;
s2 := ( 1,127)( 2,128)( 3,123)( 4,124)( 5,126)( 6,125)( 7,121)( 8,122)
( 9,159)( 10,160)( 11,155)( 12,156)( 13,158)( 14,157)( 15,153)( 16,154)
( 17,151)( 18,152)( 19,147)( 20,148)( 21,150)( 22,149)( 23,145)( 24,146)
( 25,143)( 26,144)( 27,139)( 28,140)( 29,142)( 30,141)( 31,137)( 32,138)
( 33,135)( 34,136)( 35,131)( 36,132)( 37,134)( 38,133)( 39,129)( 40,130)
( 41,207)( 42,208)( 43,203)( 44,204)( 45,206)( 46,205)( 47,201)( 48,202)
( 49,239)( 50,240)( 51,235)( 52,236)( 53,238)( 54,237)( 55,233)( 56,234)
( 57,231)( 58,232)( 59,227)( 60,228)( 61,230)( 62,229)( 63,225)( 64,226)
( 65,223)( 66,224)( 67,219)( 68,220)( 69,222)( 70,221)( 71,217)( 72,218)
( 73,215)( 74,216)( 75,211)( 76,212)( 77,214)( 78,213)( 79,209)( 80,210)
( 81,167)( 82,168)( 83,163)( 84,164)( 85,166)( 86,165)( 87,161)( 88,162)
( 89,199)( 90,200)( 91,195)( 92,196)( 93,198)( 94,197)( 95,193)( 96,194)
( 97,191)( 98,192)( 99,187)(100,188)(101,190)(102,189)(103,185)(104,186)
(105,183)(106,184)(107,179)(108,180)(109,182)(110,181)(111,177)(112,178)
(113,175)(114,176)(115,171)(116,172)(117,174)(118,173)(119,169)(120,170);;
s3 := ( 1, 9)( 2, 10)( 3, 11)( 4, 12)( 5, 13)( 6, 14)( 7, 15)( 8, 16)
( 17, 33)( 18, 34)( 19, 35)( 20, 36)( 21, 37)( 22, 38)( 23, 39)( 24, 40)
( 41, 49)( 42, 50)( 43, 51)( 44, 52)( 45, 53)( 46, 54)( 47, 55)( 48, 56)
( 57, 73)( 58, 74)( 59, 75)( 60, 76)( 61, 77)( 62, 78)( 63, 79)( 64, 80)
( 81, 89)( 82, 90)( 83, 91)( 84, 92)( 85, 93)( 86, 94)( 87, 95)( 88, 96)
( 97,113)( 98,114)( 99,115)(100,116)(101,117)(102,118)(103,119)(104,120)
(121,129)(122,130)(123,131)(124,132)(125,133)(126,134)(127,135)(128,136)
(137,153)(138,154)(139,155)(140,156)(141,157)(142,158)(143,159)(144,160)
(161,169)(162,170)(163,171)(164,172)(165,173)(166,174)(167,175)(168,176)
(177,193)(178,194)(179,195)(180,196)(181,197)(182,198)(183,199)(184,200)
(201,209)(202,210)(203,211)(204,212)(205,213)(206,214)(207,215)(208,216)
(217,233)(218,234)(219,235)(220,236)(221,237)(222,238)(223,239)(224,240);;
s4 := (241,242);;
poly := Group([s0,s1,s2,s3,s4]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2","s3","s4");;
s0 := F.1;; s1 := F.2;; s2 := F.3;; s3 := F.4;; s4 := F.5;;
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s4*s4, s0*s2*s0*s2,
s0*s3*s0*s3, s1*s3*s1*s3, s0*s4*s0*s4,
s1*s4*s1*s4, s2*s4*s2*s4, s3*s4*s3*s4,
s0*s1*s0*s1*s0*s1, s1*s2*s3*s2*s1*s2*s3*s2,
s2*s0*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s2*s1,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(242)!( 3, 6)( 4, 5)( 7, 8)( 11, 14)( 12, 13)( 15, 16)( 19, 22)
( 20, 21)( 23, 24)( 27, 30)( 28, 29)( 31, 32)( 35, 38)( 36, 37)( 39, 40)
( 41, 81)( 42, 82)( 43, 86)( 44, 85)( 45, 84)( 46, 83)( 47, 88)( 48, 87)
( 49, 89)( 50, 90)( 51, 94)( 52, 93)( 53, 92)( 54, 91)( 55, 96)( 56, 95)
( 57, 97)( 58, 98)( 59,102)( 60,101)( 61,100)( 62, 99)( 63,104)( 64,103)
( 65,105)( 66,106)( 67,110)( 68,109)( 69,108)( 70,107)( 71,112)( 72,111)
( 73,113)( 74,114)( 75,118)( 76,117)( 77,116)( 78,115)( 79,120)( 80,119)
(121,122)(123,125)(124,126)(129,130)(131,133)(132,134)(137,138)(139,141)
(140,142)(145,146)(147,149)(148,150)(153,154)(155,157)(156,158)(161,202)
(162,201)(163,205)(164,206)(165,203)(166,204)(167,207)(168,208)(169,210)
(170,209)(171,213)(172,214)(173,211)(174,212)(175,215)(176,216)(177,218)
(178,217)(179,221)(180,222)(181,219)(182,220)(183,223)(184,224)(185,226)
(186,225)(187,229)(188,230)(189,227)(190,228)(191,231)(192,232)(193,234)
(194,233)(195,237)(196,238)(197,235)(198,236)(199,239)(200,240);
s1 := Sym(242)!( 1, 41)( 2, 42)( 3, 44)( 4, 43)( 5, 47)( 6, 48)( 7, 45)
( 8, 46)( 9, 49)( 10, 50)( 11, 52)( 12, 51)( 13, 55)( 14, 56)( 15, 53)
( 16, 54)( 17, 57)( 18, 58)( 19, 60)( 20, 59)( 21, 63)( 22, 64)( 23, 61)
( 24, 62)( 25, 65)( 26, 66)( 27, 68)( 28, 67)( 29, 71)( 30, 72)( 31, 69)
( 32, 70)( 33, 73)( 34, 74)( 35, 76)( 36, 75)( 37, 79)( 38, 80)( 39, 77)
( 40, 78)( 83, 84)( 85, 87)( 86, 88)( 91, 92)( 93, 95)( 94, 96)( 99,100)
(101,103)(102,104)(107,108)(109,111)(110,112)(115,116)(117,119)(118,120)
(121,162)(122,161)(123,163)(124,164)(125,168)(126,167)(127,166)(128,165)
(129,170)(130,169)(131,171)(132,172)(133,176)(134,175)(135,174)(136,173)
(137,178)(138,177)(139,179)(140,180)(141,184)(142,183)(143,182)(144,181)
(145,186)(146,185)(147,187)(148,188)(149,192)(150,191)(151,190)(152,189)
(153,194)(154,193)(155,195)(156,196)(157,200)(158,199)(159,198)(160,197)
(201,202)(205,208)(206,207)(209,210)(213,216)(214,215)(217,218)(221,224)
(222,223)(225,226)(229,232)(230,231)(233,234)(237,240)(238,239);
s2 := Sym(242)!( 1,127)( 2,128)( 3,123)( 4,124)( 5,126)( 6,125)( 7,121)
( 8,122)( 9,159)( 10,160)( 11,155)( 12,156)( 13,158)( 14,157)( 15,153)
( 16,154)( 17,151)( 18,152)( 19,147)( 20,148)( 21,150)( 22,149)( 23,145)
( 24,146)( 25,143)( 26,144)( 27,139)( 28,140)( 29,142)( 30,141)( 31,137)
( 32,138)( 33,135)( 34,136)( 35,131)( 36,132)( 37,134)( 38,133)( 39,129)
( 40,130)( 41,207)( 42,208)( 43,203)( 44,204)( 45,206)( 46,205)( 47,201)
( 48,202)( 49,239)( 50,240)( 51,235)( 52,236)( 53,238)( 54,237)( 55,233)
( 56,234)( 57,231)( 58,232)( 59,227)( 60,228)( 61,230)( 62,229)( 63,225)
( 64,226)( 65,223)( 66,224)( 67,219)( 68,220)( 69,222)( 70,221)( 71,217)
( 72,218)( 73,215)( 74,216)( 75,211)( 76,212)( 77,214)( 78,213)( 79,209)
( 80,210)( 81,167)( 82,168)( 83,163)( 84,164)( 85,166)( 86,165)( 87,161)
( 88,162)( 89,199)( 90,200)( 91,195)( 92,196)( 93,198)( 94,197)( 95,193)
( 96,194)( 97,191)( 98,192)( 99,187)(100,188)(101,190)(102,189)(103,185)
(104,186)(105,183)(106,184)(107,179)(108,180)(109,182)(110,181)(111,177)
(112,178)(113,175)(114,176)(115,171)(116,172)(117,174)(118,173)(119,169)
(120,170);
s3 := Sym(242)!( 1, 9)( 2, 10)( 3, 11)( 4, 12)( 5, 13)( 6, 14)( 7, 15)
( 8, 16)( 17, 33)( 18, 34)( 19, 35)( 20, 36)( 21, 37)( 22, 38)( 23, 39)
( 24, 40)( 41, 49)( 42, 50)( 43, 51)( 44, 52)( 45, 53)( 46, 54)( 47, 55)
( 48, 56)( 57, 73)( 58, 74)( 59, 75)( 60, 76)( 61, 77)( 62, 78)( 63, 79)
( 64, 80)( 81, 89)( 82, 90)( 83, 91)( 84, 92)( 85, 93)( 86, 94)( 87, 95)
( 88, 96)( 97,113)( 98,114)( 99,115)(100,116)(101,117)(102,118)(103,119)
(104,120)(121,129)(122,130)(123,131)(124,132)(125,133)(126,134)(127,135)
(128,136)(137,153)(138,154)(139,155)(140,156)(141,157)(142,158)(143,159)
(144,160)(161,169)(162,170)(163,171)(164,172)(165,173)(166,174)(167,175)
(168,176)(177,193)(178,194)(179,195)(180,196)(181,197)(182,198)(183,199)
(184,200)(201,209)(202,210)(203,211)(204,212)(205,213)(206,214)(207,215)
(208,216)(217,233)(218,234)(219,235)(220,236)(221,237)(222,238)(223,239)
(224,240);
s4 := Sym(242)!(241,242);
poly := sub<Sym(242)|s0,s1,s2,s3,s4>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2,s3,s4> := Group< s0,s1,s2,s3,s4 | s0*s0, s1*s1, s2*s2,
s3*s3, s4*s4, s0*s2*s0*s2, s0*s3*s0*s3,
s1*s3*s1*s3, s0*s4*s0*s4, s1*s4*s1*s4,
s2*s4*s2*s4, s3*s4*s3*s4, s0*s1*s0*s1*s0*s1,
s1*s2*s3*s2*s1*s2*s3*s2, s2*s0*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s2*s1,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 >;
to this polytope