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