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