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