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