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