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