Polytope of Type {40,8}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {40,8}*640c
if this polytope has a name.
Group : SmallGroup(640,1225)
Rank : 3
Schlafli Type : {40,8}
Number of vertices, edges, etc : 40, 160, 8
Order of s0s1s2 : 40
Order of s0s1s2s1 : 4
Special Properties :
Compact Hyperbolic Quotient
Locally Spherical
Orientable
Flat
Self-Petrie
Related Polytopes :
Facet
Vertex Figure
Dual
Petrial
Facet Of :
{40,8,2} of size 1280
Vertex Figure Of :
{2,40,8} of size 1280
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {40,4}*320b, {20,8}*320b
4-fold quotients : {20,4}*160
5-fold quotients : {8,8}*128d
8-fold quotients : {20,2}*80, {10,4}*80
10-fold quotients : {4,8}*64b, {8,4}*64b
16-fold quotients : {10,2}*40
20-fold quotients : {4,4}*32
32-fold quotients : {5,2}*20
40-fold quotients : {2,4}*16, {4,2}*16
80-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
2-fold covers : {40,8}*1280a
3-fold covers : {120,8}*1920d, {40,24}*1920d
Permutation Representation (GAP) :
s0 := ( 1,161)( 2,165)( 3,164)( 4,163)( 5,162)( 6,166)( 7,170)( 8,169)
( 9,168)( 10,167)( 11,171)( 12,175)( 13,174)( 14,173)( 15,172)( 16,176)
( 17,180)( 18,179)( 19,178)( 20,177)( 21,186)( 22,190)( 23,189)( 24,188)
( 25,187)( 26,181)( 27,185)( 28,184)( 29,183)( 30,182)( 31,196)( 32,200)
( 33,199)( 34,198)( 35,197)( 36,191)( 37,195)( 38,194)( 39,193)( 40,192)
( 41,211)( 42,215)( 43,214)( 44,213)( 45,212)( 46,216)( 47,220)( 48,219)
( 49,218)( 50,217)( 51,201)( 52,205)( 53,204)( 54,203)( 55,202)( 56,206)
( 57,210)( 58,209)( 59,208)( 60,207)( 61,236)( 62,240)( 63,239)( 64,238)
( 65,237)( 66,231)( 67,235)( 68,234)( 69,233)( 70,232)( 71,226)( 72,230)
( 73,229)( 74,228)( 75,227)( 76,221)( 77,225)( 78,224)( 79,223)( 80,222)
( 81,241)( 82,245)( 83,244)( 84,243)( 85,242)( 86,246)( 87,250)( 88,249)
( 89,248)( 90,247)( 91,251)( 92,255)( 93,254)( 94,253)( 95,252)( 96,256)
( 97,260)( 98,259)( 99,258)(100,257)(101,266)(102,270)(103,269)(104,268)
(105,267)(106,261)(107,265)(108,264)(109,263)(110,262)(111,276)(112,280)
(113,279)(114,278)(115,277)(116,271)(117,275)(118,274)(119,273)(120,272)
(121,291)(122,295)(123,294)(124,293)(125,292)(126,296)(127,300)(128,299)
(129,298)(130,297)(131,281)(132,285)(133,284)(134,283)(135,282)(136,286)
(137,290)(138,289)(139,288)(140,287)(141,316)(142,320)(143,319)(144,318)
(145,317)(146,311)(147,315)(148,314)(149,313)(150,312)(151,306)(152,310)
(153,309)(154,308)(155,307)(156,301)(157,305)(158,304)(159,303)(160,302);;
s1 := ( 1, 2)( 3, 5)( 6, 7)( 8, 10)( 11, 12)( 13, 15)( 16, 17)( 18, 20)
( 21, 37)( 22, 36)( 23, 40)( 24, 39)( 25, 38)( 26, 32)( 27, 31)( 28, 35)
( 29, 34)( 30, 33)( 41, 52)( 42, 51)( 43, 55)( 44, 54)( 45, 53)( 46, 57)
( 47, 56)( 48, 60)( 49, 59)( 50, 58)( 61, 67)( 62, 66)( 63, 70)( 64, 69)
( 65, 68)( 71, 77)( 72, 76)( 73, 80)( 74, 79)( 75, 78)( 81,102)( 82,101)
( 83,105)( 84,104)( 85,103)( 86,107)( 87,106)( 88,110)( 89,109)( 90,108)
( 91,112)( 92,111)( 93,115)( 94,114)( 95,113)( 96,117)( 97,116)( 98,120)
( 99,119)(100,118)(121,152)(122,151)(123,155)(124,154)(125,153)(126,157)
(127,156)(128,160)(129,159)(130,158)(131,142)(132,141)(133,145)(134,144)
(135,143)(136,147)(137,146)(138,150)(139,149)(140,148)(161,202)(162,201)
(163,205)(164,204)(165,203)(166,207)(167,206)(168,210)(169,209)(170,208)
(171,212)(172,211)(173,215)(174,214)(175,213)(176,217)(177,216)(178,220)
(179,219)(180,218)(181,237)(182,236)(183,240)(184,239)(185,238)(186,232)
(187,231)(188,235)(189,234)(190,233)(191,227)(192,226)(193,230)(194,229)
(195,228)(196,222)(197,221)(198,225)(199,224)(200,223)(241,307)(242,306)
(243,310)(244,309)(245,308)(246,302)(247,301)(248,305)(249,304)(250,303)
(251,317)(252,316)(253,320)(254,319)(255,318)(256,312)(257,311)(258,315)
(259,314)(260,313)(261,287)(262,286)(263,290)(264,289)(265,288)(266,282)
(267,281)(268,285)(269,284)(270,283)(271,297)(272,296)(273,300)(274,299)
(275,298)(276,292)(277,291)(278,295)(279,294)(280,293);;
s2 := ( 1, 81)( 2, 82)( 3, 83)( 4, 84)( 5, 85)( 6, 86)( 7, 87)( 8, 88)
( 9, 89)( 10, 90)( 11, 91)( 12, 92)( 13, 93)( 14, 94)( 15, 95)( 16, 96)
( 17, 97)( 18, 98)( 19, 99)( 20,100)( 21,116)( 22,117)( 23,118)( 24,119)
( 25,120)( 26,111)( 27,112)( 28,113)( 29,114)( 30,115)( 31,106)( 32,107)
( 33,108)( 34,109)( 35,110)( 36,101)( 37,102)( 38,103)( 39,104)( 40,105)
( 41,126)( 42,127)( 43,128)( 44,129)( 45,130)( 46,121)( 47,122)( 48,123)
( 49,124)( 50,125)( 51,136)( 52,137)( 53,138)( 54,139)( 55,140)( 56,131)
( 57,132)( 58,133)( 59,134)( 60,135)( 61,151)( 62,152)( 63,153)( 64,154)
( 65,155)( 66,156)( 67,157)( 68,158)( 69,159)( 70,160)( 71,141)( 72,142)
( 73,143)( 74,144)( 75,145)( 76,146)( 77,147)( 78,148)( 79,149)( 80,150)
(161,241)(162,242)(163,243)(164,244)(165,245)(166,246)(167,247)(168,248)
(169,249)(170,250)(171,251)(172,252)(173,253)(174,254)(175,255)(176,256)
(177,257)(178,258)(179,259)(180,260)(181,276)(182,277)(183,278)(184,279)
(185,280)(186,271)(187,272)(188,273)(189,274)(190,275)(191,266)(192,267)
(193,268)(194,269)(195,270)(196,261)(197,262)(198,263)(199,264)(200,265)
(201,286)(202,287)(203,288)(204,289)(205,290)(206,281)(207,282)(208,283)
(209,284)(210,285)(211,296)(212,297)(213,298)(214,299)(215,300)(216,291)
(217,292)(218,293)(219,294)(220,295)(221,311)(222,312)(223,313)(224,314)
(225,315)(226,316)(227,317)(228,318)(229,319)(230,320)(231,301)(232,302)
(233,303)(234,304)(235,305)(236,306)(237,307)(238,308)(239,309)(240,310);;
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, s2*s0*s1*s2*s1*s0*s1*s2*s0*s1*s2*s1*s0*s1,
s0*s1*s2*s1*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s0*s2*s1*s0*s1*s0*s1*s0*s2*s1*s0*s1*s0*s1*s2*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(320)!( 1,161)( 2,165)( 3,164)( 4,163)( 5,162)( 6,166)( 7,170)
( 8,169)( 9,168)( 10,167)( 11,171)( 12,175)( 13,174)( 14,173)( 15,172)
( 16,176)( 17,180)( 18,179)( 19,178)( 20,177)( 21,186)( 22,190)( 23,189)
( 24,188)( 25,187)( 26,181)( 27,185)( 28,184)( 29,183)( 30,182)( 31,196)
( 32,200)( 33,199)( 34,198)( 35,197)( 36,191)( 37,195)( 38,194)( 39,193)
( 40,192)( 41,211)( 42,215)( 43,214)( 44,213)( 45,212)( 46,216)( 47,220)
( 48,219)( 49,218)( 50,217)( 51,201)( 52,205)( 53,204)( 54,203)( 55,202)
( 56,206)( 57,210)( 58,209)( 59,208)( 60,207)( 61,236)( 62,240)( 63,239)
( 64,238)( 65,237)( 66,231)( 67,235)( 68,234)( 69,233)( 70,232)( 71,226)
( 72,230)( 73,229)( 74,228)( 75,227)( 76,221)( 77,225)( 78,224)( 79,223)
( 80,222)( 81,241)( 82,245)( 83,244)( 84,243)( 85,242)( 86,246)( 87,250)
( 88,249)( 89,248)( 90,247)( 91,251)( 92,255)( 93,254)( 94,253)( 95,252)
( 96,256)( 97,260)( 98,259)( 99,258)(100,257)(101,266)(102,270)(103,269)
(104,268)(105,267)(106,261)(107,265)(108,264)(109,263)(110,262)(111,276)
(112,280)(113,279)(114,278)(115,277)(116,271)(117,275)(118,274)(119,273)
(120,272)(121,291)(122,295)(123,294)(124,293)(125,292)(126,296)(127,300)
(128,299)(129,298)(130,297)(131,281)(132,285)(133,284)(134,283)(135,282)
(136,286)(137,290)(138,289)(139,288)(140,287)(141,316)(142,320)(143,319)
(144,318)(145,317)(146,311)(147,315)(148,314)(149,313)(150,312)(151,306)
(152,310)(153,309)(154,308)(155,307)(156,301)(157,305)(158,304)(159,303)
(160,302);
s1 := Sym(320)!( 1, 2)( 3, 5)( 6, 7)( 8, 10)( 11, 12)( 13, 15)( 16, 17)
( 18, 20)( 21, 37)( 22, 36)( 23, 40)( 24, 39)( 25, 38)( 26, 32)( 27, 31)
( 28, 35)( 29, 34)( 30, 33)( 41, 52)( 42, 51)( 43, 55)( 44, 54)( 45, 53)
( 46, 57)( 47, 56)( 48, 60)( 49, 59)( 50, 58)( 61, 67)( 62, 66)( 63, 70)
( 64, 69)( 65, 68)( 71, 77)( 72, 76)( 73, 80)( 74, 79)( 75, 78)( 81,102)
( 82,101)( 83,105)( 84,104)( 85,103)( 86,107)( 87,106)( 88,110)( 89,109)
( 90,108)( 91,112)( 92,111)( 93,115)( 94,114)( 95,113)( 96,117)( 97,116)
( 98,120)( 99,119)(100,118)(121,152)(122,151)(123,155)(124,154)(125,153)
(126,157)(127,156)(128,160)(129,159)(130,158)(131,142)(132,141)(133,145)
(134,144)(135,143)(136,147)(137,146)(138,150)(139,149)(140,148)(161,202)
(162,201)(163,205)(164,204)(165,203)(166,207)(167,206)(168,210)(169,209)
(170,208)(171,212)(172,211)(173,215)(174,214)(175,213)(176,217)(177,216)
(178,220)(179,219)(180,218)(181,237)(182,236)(183,240)(184,239)(185,238)
(186,232)(187,231)(188,235)(189,234)(190,233)(191,227)(192,226)(193,230)
(194,229)(195,228)(196,222)(197,221)(198,225)(199,224)(200,223)(241,307)
(242,306)(243,310)(244,309)(245,308)(246,302)(247,301)(248,305)(249,304)
(250,303)(251,317)(252,316)(253,320)(254,319)(255,318)(256,312)(257,311)
(258,315)(259,314)(260,313)(261,287)(262,286)(263,290)(264,289)(265,288)
(266,282)(267,281)(268,285)(269,284)(270,283)(271,297)(272,296)(273,300)
(274,299)(275,298)(276,292)(277,291)(278,295)(279,294)(280,293);
s2 := Sym(320)!( 1, 81)( 2, 82)( 3, 83)( 4, 84)( 5, 85)( 6, 86)( 7, 87)
( 8, 88)( 9, 89)( 10, 90)( 11, 91)( 12, 92)( 13, 93)( 14, 94)( 15, 95)
( 16, 96)( 17, 97)( 18, 98)( 19, 99)( 20,100)( 21,116)( 22,117)( 23,118)
( 24,119)( 25,120)( 26,111)( 27,112)( 28,113)( 29,114)( 30,115)( 31,106)
( 32,107)( 33,108)( 34,109)( 35,110)( 36,101)( 37,102)( 38,103)( 39,104)
( 40,105)( 41,126)( 42,127)( 43,128)( 44,129)( 45,130)( 46,121)( 47,122)
( 48,123)( 49,124)( 50,125)( 51,136)( 52,137)( 53,138)( 54,139)( 55,140)
( 56,131)( 57,132)( 58,133)( 59,134)( 60,135)( 61,151)( 62,152)( 63,153)
( 64,154)( 65,155)( 66,156)( 67,157)( 68,158)( 69,159)( 70,160)( 71,141)
( 72,142)( 73,143)( 74,144)( 75,145)( 76,146)( 77,147)( 78,148)( 79,149)
( 80,150)(161,241)(162,242)(163,243)(164,244)(165,245)(166,246)(167,247)
(168,248)(169,249)(170,250)(171,251)(172,252)(173,253)(174,254)(175,255)
(176,256)(177,257)(178,258)(179,259)(180,260)(181,276)(182,277)(183,278)
(184,279)(185,280)(186,271)(187,272)(188,273)(189,274)(190,275)(191,266)
(192,267)(193,268)(194,269)(195,270)(196,261)(197,262)(198,263)(199,264)
(200,265)(201,286)(202,287)(203,288)(204,289)(205,290)(206,281)(207,282)
(208,283)(209,284)(210,285)(211,296)(212,297)(213,298)(214,299)(215,300)
(216,291)(217,292)(218,293)(219,294)(220,295)(221,311)(222,312)(223,313)
(224,314)(225,315)(226,316)(227,317)(228,318)(229,319)(230,320)(231,301)
(232,302)(233,303)(234,304)(235,305)(236,306)(237,307)(238,308)(239,309)
(240,310);
poly := sub<Sym(320)|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, s2*s0*s1*s2*s1*s0*s1*s2*s0*s1*s2*s1*s0*s1,
s0*s1*s2*s1*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s0*s2*s1*s0*s1*s0*s1*s0*s2*s1*s0*s1*s0*s1*s2*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;
References : None.
to this polytope