Polytope of Type {88,4}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {88,4}*704a
Also Known As : {88,4|2}. if this polytope has another name.
Group : SmallGroup(704,264)
Rank : 3
Schlafli Type : {88,4}
Number of vertices, edges, etc : 88, 176, 4
Order of s₀s₁s₂ : 88
Order of s₀s₁s₂s₁ : 2
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
   Flat
   Self-Petrie
Related Polytopes :
   Facet
   Vertex Figure
   Dual
   Petrial
   Skewing Operation
Facet Of :
   {88,4,2} of size 1408
Vertex Figure Of :
   {2,88,4} of size 1408
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {44,4}*352, {88,2}*352
   4-fold quotients : {44,2}*176, {22,4}*176
   8-fold quotients : {22,2}*88
   11-fold quotients : {8,4}*64a
   16-fold quotients : {11,2}*44
   22-fold quotients : {4,4}*32, {8,2}*32
   44-fold quotients : {2,4}*16, {4,2}*16
   88-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   2-fold covers : {88,4}*1408a, {88,8}*1408b, {88,8}*1408c, {176,4}*1408a, {176,4}*1408b
Permutation Representation (GAP) :

s0 := (  2, 11)(  3, 10)(  4,  9)(  5,  8)(  6,  7)( 13, 22)( 14, 21)( 15, 20)
( 16, 19)( 17, 18)( 24, 33)( 25, 32)( 26, 31)( 27, 30)( 28, 29)( 35, 44)
( 36, 43)( 37, 42)( 38, 41)( 39, 40)( 45, 56)( 46, 66)( 47, 65)( 48, 64)
( 49, 63)( 50, 62)( 51, 61)( 52, 60)( 53, 59)( 54, 58)( 55, 57)( 67, 78)
( 68, 88)( 69, 87)( 70, 86)( 71, 85)( 72, 84)( 73, 83)( 74, 82)( 75, 81)
( 76, 80)( 77, 79)( 89,133)( 90,143)( 91,142)( 92,141)( 93,140)( 94,139)
( 95,138)( 96,137)( 97,136)( 98,135)( 99,134)(100,144)(101,154)(102,153)
(103,152)(104,151)(105,150)(106,149)(107,148)(108,147)(109,146)(110,145)
(111,155)(112,165)(113,164)(114,163)(115,162)(116,161)(117,160)(118,159)
(119,158)(120,157)(121,156)(122,166)(123,176)(124,175)(125,174)(126,173)
(127,172)(128,171)(129,170)(130,169)(131,168)(132,167);;
s1 := (  1, 90)(  2, 89)(  3, 99)(  4, 98)(  5, 97)(  6, 96)(  7, 95)(  8, 94)
(  9, 93)( 10, 92)( 11, 91)( 12,101)( 13,100)( 14,110)( 15,109)( 16,108)
( 17,107)( 18,106)( 19,105)( 20,104)( 21,103)( 22,102)( 23,112)( 24,111)
( 25,121)( 26,120)( 27,119)( 28,118)( 29,117)( 30,116)( 31,115)( 32,114)
( 33,113)( 34,123)( 35,122)( 36,132)( 37,131)( 38,130)( 39,129)( 40,128)
( 41,127)( 42,126)( 43,125)( 44,124)( 45,145)( 46,144)( 47,154)( 48,153)
( 49,152)( 50,151)( 51,150)( 52,149)( 53,148)( 54,147)( 55,146)( 56,134)
( 57,133)( 58,143)( 59,142)( 60,141)( 61,140)( 62,139)( 63,138)( 64,137)
( 65,136)( 66,135)( 67,167)( 68,166)( 69,176)( 70,175)( 71,174)( 72,173)
( 73,172)( 74,171)( 75,170)( 76,169)( 77,168)( 78,156)( 79,155)( 80,165)
( 81,164)( 82,163)( 83,162)( 84,161)( 85,160)( 86,159)( 87,158)( 88,157);;
s2 := ( 89,111)( 90,112)( 91,113)( 92,114)( 93,115)( 94,116)( 95,117)( 96,118)
( 97,119)( 98,120)( 99,121)(100,122)(101,123)(102,124)(103,125)(104,126)
(105,127)(106,128)(107,129)(108,130)(109,131)(110,132)(133,155)(134,156)
(135,157)(136,158)(137,159)(138,160)(139,161)(140,162)(141,163)(142,164)
(143,165)(144,166)(145,167)(146,168)(147,169)(148,170)(149,171)(150,172)
(151,173)(152,174)(153,175)(154,176);;
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, 
s1*s2*s1*s2*s1*s2*s1*s2, 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*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*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*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*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 ];;
poly := F / rels;;

Permutation Representation (Magma) :

s0 := Sym(176)!(  2, 11)(  3, 10)(  4,  9)(  5,  8)(  6,  7)( 13, 22)( 14, 21)
( 15, 20)( 16, 19)( 17, 18)( 24, 33)( 25, 32)( 26, 31)( 27, 30)( 28, 29)
( 35, 44)( 36, 43)( 37, 42)( 38, 41)( 39, 40)( 45, 56)( 46, 66)( 47, 65)
( 48, 64)( 49, 63)( 50, 62)( 51, 61)( 52, 60)( 53, 59)( 54, 58)( 55, 57)
( 67, 78)( 68, 88)( 69, 87)( 70, 86)( 71, 85)( 72, 84)( 73, 83)( 74, 82)
( 75, 81)( 76, 80)( 77, 79)( 89,133)( 90,143)( 91,142)( 92,141)( 93,140)
( 94,139)( 95,138)( 96,137)( 97,136)( 98,135)( 99,134)(100,144)(101,154)
(102,153)(103,152)(104,151)(105,150)(106,149)(107,148)(108,147)(109,146)
(110,145)(111,155)(112,165)(113,164)(114,163)(115,162)(116,161)(117,160)
(118,159)(119,158)(120,157)(121,156)(122,166)(123,176)(124,175)(125,174)
(126,173)(127,172)(128,171)(129,170)(130,169)(131,168)(132,167);
s1 := Sym(176)!(  1, 90)(  2, 89)(  3, 99)(  4, 98)(  5, 97)(  6, 96)(  7, 95)
(  8, 94)(  9, 93)( 10, 92)( 11, 91)( 12,101)( 13,100)( 14,110)( 15,109)
( 16,108)( 17,107)( 18,106)( 19,105)( 20,104)( 21,103)( 22,102)( 23,112)
( 24,111)( 25,121)( 26,120)( 27,119)( 28,118)( 29,117)( 30,116)( 31,115)
( 32,114)( 33,113)( 34,123)( 35,122)( 36,132)( 37,131)( 38,130)( 39,129)
( 40,128)( 41,127)( 42,126)( 43,125)( 44,124)( 45,145)( 46,144)( 47,154)
( 48,153)( 49,152)( 50,151)( 51,150)( 52,149)( 53,148)( 54,147)( 55,146)
( 56,134)( 57,133)( 58,143)( 59,142)( 60,141)( 61,140)( 62,139)( 63,138)
( 64,137)( 65,136)( 66,135)( 67,167)( 68,166)( 69,176)( 70,175)( 71,174)
( 72,173)( 73,172)( 74,171)( 75,170)( 76,169)( 77,168)( 78,156)( 79,155)
( 80,165)( 81,164)( 82,163)( 83,162)( 84,161)( 85,160)( 86,159)( 87,158)
( 88,157);
s2 := Sym(176)!( 89,111)( 90,112)( 91,113)( 92,114)( 93,115)( 94,116)( 95,117)
( 96,118)( 97,119)( 98,120)( 99,121)(100,122)(101,123)(102,124)(103,125)
(104,126)(105,127)(106,128)(107,129)(108,130)(109,131)(110,132)(133,155)
(134,156)(135,157)(136,158)(137,159)(138,160)(139,161)(140,162)(141,163)
(142,164)(143,165)(144,166)(145,167)(146,168)(147,169)(148,170)(149,171)
(150,172)(151,173)(152,174)(153,175)(154,176);
poly := sub<Sym(176)|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, 
s1*s2*s1*s2*s1*s2*s1*s2, 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*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*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*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*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;

References : None.
to this polytope