Polytope of Type {20,40}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {20,40}*1600c
Also Known As : {20,40|2}. if this polytope has another name.
Group : SmallGroup(1600,3473)
Rank : 3
Schlafli Type : {20,40}
Number of vertices, edges, etc : 20, 400, 40
Order of s₀s₁s₂ : 40
Order of s₀s₁s₂s₁ : 2
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   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 : {10,40}*800a, {20,20}*800a
   4-fold quotients : {10,20}*400a, {20,10}*400a
   5-fold quotients : {4,40}*320a, {20,8}*320a
   8-fold quotients : {10,10}*200a
   10-fold quotients : {4,20}*160, {20,4}*160, {2,40}*160, {10,8}*160
   20-fold quotients : {2,20}*80, {20,2}*80, {4,10}*80, {10,4}*80
   25-fold quotients : {4,8}*64a
   40-fold quotients : {2,10}*40, {10,2}*40
   50-fold quotients : {4,4}*32, {2,8}*32
   80-fold quotients : {2,5}*20, {5,2}*20
   100-fold quotients : {2,4}*16, {4,2}*16
   200-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

s0 := (  6, 21)(  7, 22)(  8, 23)(  9, 24)( 10, 25)( 11, 16)( 12, 17)( 13, 18)
( 14, 19)( 15, 20)( 31, 46)( 32, 47)( 33, 48)( 34, 49)( 35, 50)( 36, 41)
( 37, 42)( 38, 43)( 39, 44)( 40, 45)( 56, 71)( 57, 72)( 58, 73)( 59, 74)
( 60, 75)( 61, 66)( 62, 67)( 63, 68)( 64, 69)( 65, 70)( 81, 96)( 82, 97)
( 83, 98)( 84, 99)( 85,100)( 86, 91)( 87, 92)( 88, 93)( 89, 94)( 90, 95)
(106,121)(107,122)(108,123)(109,124)(110,125)(111,116)(112,117)(113,118)
(114,119)(115,120)(131,146)(132,147)(133,148)(134,149)(135,150)(136,141)
(137,142)(138,143)(139,144)(140,145)(156,171)(157,172)(158,173)(159,174)
(160,175)(161,166)(162,167)(163,168)(164,169)(165,170)(181,196)(182,197)
(183,198)(184,199)(185,200)(186,191)(187,192)(188,193)(189,194)(190,195)
(201,251)(202,252)(203,253)(204,254)(205,255)(206,271)(207,272)(208,273)
(209,274)(210,275)(211,266)(212,267)(213,268)(214,269)(215,270)(216,261)
(217,262)(218,263)(219,264)(220,265)(221,256)(222,257)(223,258)(224,259)
(225,260)(226,276)(227,277)(228,278)(229,279)(230,280)(231,296)(232,297)
(233,298)(234,299)(235,300)(236,291)(237,292)(238,293)(239,294)(240,295)
(241,286)(242,287)(243,288)(244,289)(245,290)(246,281)(247,282)(248,283)
(249,284)(250,285)(301,351)(302,352)(303,353)(304,354)(305,355)(306,371)
(307,372)(308,373)(309,374)(310,375)(311,366)(312,367)(313,368)(314,369)
(315,370)(316,361)(317,362)(318,363)(319,364)(320,365)(321,356)(322,357)
(323,358)(324,359)(325,360)(326,376)(327,377)(328,378)(329,379)(330,380)
(331,396)(332,397)(333,398)(334,399)(335,400)(336,391)(337,392)(338,393)
(339,394)(340,395)(341,386)(342,387)(343,388)(344,389)(345,390)(346,381)
(347,382)(348,383)(349,384)(350,385);;
s1 := (  1,206)(  2,210)(  3,209)(  4,208)(  5,207)(  6,201)(  7,205)(  8,204)
(  9,203)( 10,202)( 11,221)( 12,225)( 13,224)( 14,223)( 15,222)( 16,216)
( 17,220)( 18,219)( 19,218)( 20,217)( 21,211)( 22,215)( 23,214)( 24,213)
( 25,212)( 26,231)( 27,235)( 28,234)( 29,233)( 30,232)( 31,226)( 32,230)
( 33,229)( 34,228)( 35,227)( 36,246)( 37,250)( 38,249)( 39,248)( 40,247)
( 41,241)( 42,245)( 43,244)( 44,243)( 45,242)( 46,236)( 47,240)( 48,239)
( 49,238)( 50,237)( 51,256)( 52,260)( 53,259)( 54,258)( 55,257)( 56,251)
( 57,255)( 58,254)( 59,253)( 60,252)( 61,271)( 62,275)( 63,274)( 64,273)
( 65,272)( 66,266)( 67,270)( 68,269)( 69,268)( 70,267)( 71,261)( 72,265)
( 73,264)( 74,263)( 75,262)( 76,281)( 77,285)( 78,284)( 79,283)( 80,282)
( 81,276)( 82,280)( 83,279)( 84,278)( 85,277)( 86,296)( 87,300)( 88,299)
( 89,298)( 90,297)( 91,291)( 92,295)( 93,294)( 94,293)( 95,292)( 96,286)
( 97,290)( 98,289)( 99,288)(100,287)(101,331)(102,335)(103,334)(104,333)
(105,332)(106,326)(107,330)(108,329)(109,328)(110,327)(111,346)(112,350)
(113,349)(114,348)(115,347)(116,341)(117,345)(118,344)(119,343)(120,342)
(121,336)(122,340)(123,339)(124,338)(125,337)(126,306)(127,310)(128,309)
(129,308)(130,307)(131,301)(132,305)(133,304)(134,303)(135,302)(136,321)
(137,325)(138,324)(139,323)(140,322)(141,316)(142,320)(143,319)(144,318)
(145,317)(146,311)(147,315)(148,314)(149,313)(150,312)(151,381)(152,385)
(153,384)(154,383)(155,382)(156,376)(157,380)(158,379)(159,378)(160,377)
(161,396)(162,400)(163,399)(164,398)(165,397)(166,391)(167,395)(168,394)
(169,393)(170,392)(171,386)(172,390)(173,389)(174,388)(175,387)(176,356)
(177,360)(178,359)(179,358)(180,357)(181,351)(182,355)(183,354)(184,353)
(185,352)(186,371)(187,375)(188,374)(189,373)(190,372)(191,366)(192,370)
(193,369)(194,368)(195,367)(196,361)(197,365)(198,364)(199,363)(200,362);;
s2 := (  1,  2)(  3,  5)(  6,  7)(  8, 10)( 11, 12)( 13, 15)( 16, 17)( 18, 20)
( 21, 22)( 23, 25)( 26, 27)( 28, 30)( 31, 32)( 33, 35)( 36, 37)( 38, 40)
( 41, 42)( 43, 45)( 46, 47)( 48, 50)( 51, 52)( 53, 55)( 56, 57)( 58, 60)
( 61, 62)( 63, 65)( 66, 67)( 68, 70)( 71, 72)( 73, 75)( 76, 77)( 78, 80)
( 81, 82)( 83, 85)( 86, 87)( 88, 90)( 91, 92)( 93, 95)( 96, 97)( 98,100)
(101,127)(102,126)(103,130)(104,129)(105,128)(106,132)(107,131)(108,135)
(109,134)(110,133)(111,137)(112,136)(113,140)(114,139)(115,138)(116,142)
(117,141)(118,145)(119,144)(120,143)(121,147)(122,146)(123,150)(124,149)
(125,148)(151,177)(152,176)(153,180)(154,179)(155,178)(156,182)(157,181)
(158,185)(159,184)(160,183)(161,187)(162,186)(163,190)(164,189)(165,188)
(166,192)(167,191)(168,195)(169,194)(170,193)(171,197)(172,196)(173,200)
(174,199)(175,198)(201,302)(202,301)(203,305)(204,304)(205,303)(206,307)
(207,306)(208,310)(209,309)(210,308)(211,312)(212,311)(213,315)(214,314)
(215,313)(216,317)(217,316)(218,320)(219,319)(220,318)(221,322)(222,321)
(223,325)(224,324)(225,323)(226,327)(227,326)(228,330)(229,329)(230,328)
(231,332)(232,331)(233,335)(234,334)(235,333)(236,337)(237,336)(238,340)
(239,339)(240,338)(241,342)(242,341)(243,345)(244,344)(245,343)(246,347)
(247,346)(248,350)(249,349)(250,348)(251,352)(252,351)(253,355)(254,354)
(255,353)(256,357)(257,356)(258,360)(259,359)(260,358)(261,362)(262,361)
(263,365)(264,364)(265,363)(266,367)(267,366)(268,370)(269,369)(270,368)
(271,372)(272,371)(273,375)(274,374)(275,373)(276,377)(277,376)(278,380)
(279,379)(280,378)(281,382)(282,381)(283,385)(284,384)(285,383)(286,387)
(287,386)(288,390)(289,389)(290,388)(291,392)(292,391)(293,395)(294,394)
(295,393)(296,397)(297,396)(298,400)(299,399)(300,398);;
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*s2*s1*s0*s1*s2*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*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;

Permutation Representation (Magma) :

s0 := Sym(400)!(  6, 21)(  7, 22)(  8, 23)(  9, 24)( 10, 25)( 11, 16)( 12, 17)
( 13, 18)( 14, 19)( 15, 20)( 31, 46)( 32, 47)( 33, 48)( 34, 49)( 35, 50)
( 36, 41)( 37, 42)( 38, 43)( 39, 44)( 40, 45)( 56, 71)( 57, 72)( 58, 73)
( 59, 74)( 60, 75)( 61, 66)( 62, 67)( 63, 68)( 64, 69)( 65, 70)( 81, 96)
( 82, 97)( 83, 98)( 84, 99)( 85,100)( 86, 91)( 87, 92)( 88, 93)( 89, 94)
( 90, 95)(106,121)(107,122)(108,123)(109,124)(110,125)(111,116)(112,117)
(113,118)(114,119)(115,120)(131,146)(132,147)(133,148)(134,149)(135,150)
(136,141)(137,142)(138,143)(139,144)(140,145)(156,171)(157,172)(158,173)
(159,174)(160,175)(161,166)(162,167)(163,168)(164,169)(165,170)(181,196)
(182,197)(183,198)(184,199)(185,200)(186,191)(187,192)(188,193)(189,194)
(190,195)(201,251)(202,252)(203,253)(204,254)(205,255)(206,271)(207,272)
(208,273)(209,274)(210,275)(211,266)(212,267)(213,268)(214,269)(215,270)
(216,261)(217,262)(218,263)(219,264)(220,265)(221,256)(222,257)(223,258)
(224,259)(225,260)(226,276)(227,277)(228,278)(229,279)(230,280)(231,296)
(232,297)(233,298)(234,299)(235,300)(236,291)(237,292)(238,293)(239,294)
(240,295)(241,286)(242,287)(243,288)(244,289)(245,290)(246,281)(247,282)
(248,283)(249,284)(250,285)(301,351)(302,352)(303,353)(304,354)(305,355)
(306,371)(307,372)(308,373)(309,374)(310,375)(311,366)(312,367)(313,368)
(314,369)(315,370)(316,361)(317,362)(318,363)(319,364)(320,365)(321,356)
(322,357)(323,358)(324,359)(325,360)(326,376)(327,377)(328,378)(329,379)
(330,380)(331,396)(332,397)(333,398)(334,399)(335,400)(336,391)(337,392)
(338,393)(339,394)(340,395)(341,386)(342,387)(343,388)(344,389)(345,390)
(346,381)(347,382)(348,383)(349,384)(350,385);
s1 := Sym(400)!(  1,206)(  2,210)(  3,209)(  4,208)(  5,207)(  6,201)(  7,205)
(  8,204)(  9,203)( 10,202)( 11,221)( 12,225)( 13,224)( 14,223)( 15,222)
( 16,216)( 17,220)( 18,219)( 19,218)( 20,217)( 21,211)( 22,215)( 23,214)
( 24,213)( 25,212)( 26,231)( 27,235)( 28,234)( 29,233)( 30,232)( 31,226)
( 32,230)( 33,229)( 34,228)( 35,227)( 36,246)( 37,250)( 38,249)( 39,248)
( 40,247)( 41,241)( 42,245)( 43,244)( 44,243)( 45,242)( 46,236)( 47,240)
( 48,239)( 49,238)( 50,237)( 51,256)( 52,260)( 53,259)( 54,258)( 55,257)
( 56,251)( 57,255)( 58,254)( 59,253)( 60,252)( 61,271)( 62,275)( 63,274)
( 64,273)( 65,272)( 66,266)( 67,270)( 68,269)( 69,268)( 70,267)( 71,261)
( 72,265)( 73,264)( 74,263)( 75,262)( 76,281)( 77,285)( 78,284)( 79,283)
( 80,282)( 81,276)( 82,280)( 83,279)( 84,278)( 85,277)( 86,296)( 87,300)
( 88,299)( 89,298)( 90,297)( 91,291)( 92,295)( 93,294)( 94,293)( 95,292)
( 96,286)( 97,290)( 98,289)( 99,288)(100,287)(101,331)(102,335)(103,334)
(104,333)(105,332)(106,326)(107,330)(108,329)(109,328)(110,327)(111,346)
(112,350)(113,349)(114,348)(115,347)(116,341)(117,345)(118,344)(119,343)
(120,342)(121,336)(122,340)(123,339)(124,338)(125,337)(126,306)(127,310)
(128,309)(129,308)(130,307)(131,301)(132,305)(133,304)(134,303)(135,302)
(136,321)(137,325)(138,324)(139,323)(140,322)(141,316)(142,320)(143,319)
(144,318)(145,317)(146,311)(147,315)(148,314)(149,313)(150,312)(151,381)
(152,385)(153,384)(154,383)(155,382)(156,376)(157,380)(158,379)(159,378)
(160,377)(161,396)(162,400)(163,399)(164,398)(165,397)(166,391)(167,395)
(168,394)(169,393)(170,392)(171,386)(172,390)(173,389)(174,388)(175,387)
(176,356)(177,360)(178,359)(179,358)(180,357)(181,351)(182,355)(183,354)
(184,353)(185,352)(186,371)(187,375)(188,374)(189,373)(190,372)(191,366)
(192,370)(193,369)(194,368)(195,367)(196,361)(197,365)(198,364)(199,363)
(200,362);
s2 := Sym(400)!(  1,  2)(  3,  5)(  6,  7)(  8, 10)( 11, 12)( 13, 15)( 16, 17)
( 18, 20)( 21, 22)( 23, 25)( 26, 27)( 28, 30)( 31, 32)( 33, 35)( 36, 37)
( 38, 40)( 41, 42)( 43, 45)( 46, 47)( 48, 50)( 51, 52)( 53, 55)( 56, 57)
( 58, 60)( 61, 62)( 63, 65)( 66, 67)( 68, 70)( 71, 72)( 73, 75)( 76, 77)
( 78, 80)( 81, 82)( 83, 85)( 86, 87)( 88, 90)( 91, 92)( 93, 95)( 96, 97)
( 98,100)(101,127)(102,126)(103,130)(104,129)(105,128)(106,132)(107,131)
(108,135)(109,134)(110,133)(111,137)(112,136)(113,140)(114,139)(115,138)
(116,142)(117,141)(118,145)(119,144)(120,143)(121,147)(122,146)(123,150)
(124,149)(125,148)(151,177)(152,176)(153,180)(154,179)(155,178)(156,182)
(157,181)(158,185)(159,184)(160,183)(161,187)(162,186)(163,190)(164,189)
(165,188)(166,192)(167,191)(168,195)(169,194)(170,193)(171,197)(172,196)
(173,200)(174,199)(175,198)(201,302)(202,301)(203,305)(204,304)(205,303)
(206,307)(207,306)(208,310)(209,309)(210,308)(211,312)(212,311)(213,315)
(214,314)(215,313)(216,317)(217,316)(218,320)(219,319)(220,318)(221,322)
(222,321)(223,325)(224,324)(225,323)(226,327)(227,326)(228,330)(229,329)
(230,328)(231,332)(232,331)(233,335)(234,334)(235,333)(236,337)(237,336)
(238,340)(239,339)(240,338)(241,342)(242,341)(243,345)(244,344)(245,343)
(246,347)(247,346)(248,350)(249,349)(250,348)(251,352)(252,351)(253,355)
(254,354)(255,353)(256,357)(257,356)(258,360)(259,359)(260,358)(261,362)
(262,361)(263,365)(264,364)(265,363)(266,367)(267,366)(268,370)(269,369)
(270,368)(271,372)(272,371)(273,375)(274,374)(275,373)(276,377)(277,376)
(278,380)(279,379)(280,378)(281,382)(282,381)(283,385)(284,384)(285,383)
(286,387)(287,386)(288,390)(289,389)(290,388)(291,392)(292,391)(293,395)
(294,394)(295,393)(296,397)(297,396)(298,400)(299,399)(300,398);
poly := sub<Sym(400)|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*s2*s1*s0*s1*s2*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*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;

References : None.
to this polytope