Polytope of Type {124,4}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {124,4}*992
Also Known As : {124,4|2}. if this polytope has another name.
Group : SmallGroup(992,77)
Rank : 3
Schlafli Type : {124,4}
Number of vertices, edges, etc : 124, 248, 4
Order of s₀s₁s₂ : 124
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 :
   {124,4,2} of size 1984
Vertex Figure Of :
   {2,124,4} of size 1984
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {124,2}*496, {62,4}*496
   4-fold quotients : {62,2}*248
   8-fold quotients : {31,2}*124
   31-fold quotients : {4,4}*32
   62-fold quotients : {2,4}*16, {4,2}*16
   124-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   2-fold covers : {124,8}*1984a, {248,4}*1984a, {124,8}*1984b, {248,4}*1984b, {124,4}*1984
Permutation Representation (GAP) :

s0 := (  2, 31)(  3, 30)(  4, 29)(  5, 28)(  6, 27)(  7, 26)(  8, 25)(  9, 24)
( 10, 23)( 11, 22)( 12, 21)( 13, 20)( 14, 19)( 15, 18)( 16, 17)( 33, 62)
( 34, 61)( 35, 60)( 36, 59)( 37, 58)( 38, 57)( 39, 56)( 40, 55)( 41, 54)
( 42, 53)( 43, 52)( 44, 51)( 45, 50)( 46, 49)( 47, 48)( 64, 93)( 65, 92)
( 66, 91)( 67, 90)( 68, 89)( 69, 88)( 70, 87)( 71, 86)( 72, 85)( 73, 84)
( 74, 83)( 75, 82)( 76, 81)( 77, 80)( 78, 79)( 95,124)( 96,123)( 97,122)
( 98,121)( 99,120)(100,119)(101,118)(102,117)(103,116)(104,115)(105,114)
(106,113)(107,112)(108,111)(109,110)(125,187)(126,217)(127,216)(128,215)
(129,214)(130,213)(131,212)(132,211)(133,210)(134,209)(135,208)(136,207)
(137,206)(138,205)(139,204)(140,203)(141,202)(142,201)(143,200)(144,199)
(145,198)(146,197)(147,196)(148,195)(149,194)(150,193)(151,192)(152,191)
(153,190)(154,189)(155,188)(156,218)(157,248)(158,247)(159,246)(160,245)
(161,244)(162,243)(163,242)(164,241)(165,240)(166,239)(167,238)(168,237)
(169,236)(170,235)(171,234)(172,233)(173,232)(174,231)(175,230)(176,229)
(177,228)(178,227)(179,226)(180,225)(181,224)(182,223)(183,222)(184,221)
(185,220)(186,219);;
s1 := (  1,126)(  2,125)(  3,155)(  4,154)(  5,153)(  6,152)(  7,151)(  8,150)
(  9,149)( 10,148)( 11,147)( 12,146)( 13,145)( 14,144)( 15,143)( 16,142)
( 17,141)( 18,140)( 19,139)( 20,138)( 21,137)( 22,136)( 23,135)( 24,134)
( 25,133)( 26,132)( 27,131)( 28,130)( 29,129)( 30,128)( 31,127)( 32,157)
( 33,156)( 34,186)( 35,185)( 36,184)( 37,183)( 38,182)( 39,181)( 40,180)
( 41,179)( 42,178)( 43,177)( 44,176)( 45,175)( 46,174)( 47,173)( 48,172)
( 49,171)( 50,170)( 51,169)( 52,168)( 53,167)( 54,166)( 55,165)( 56,164)
( 57,163)( 58,162)( 59,161)( 60,160)( 61,159)( 62,158)( 63,188)( 64,187)
( 65,217)( 66,216)( 67,215)( 68,214)( 69,213)( 70,212)( 71,211)( 72,210)
( 73,209)( 74,208)( 75,207)( 76,206)( 77,205)( 78,204)( 79,203)( 80,202)
( 81,201)( 82,200)( 83,199)( 84,198)( 85,197)( 86,196)( 87,195)( 88,194)
( 89,193)( 90,192)( 91,191)( 92,190)( 93,189)( 94,219)( 95,218)( 96,248)
( 97,247)( 98,246)( 99,245)(100,244)(101,243)(102,242)(103,241)(104,240)
(105,239)(106,238)(107,237)(108,236)(109,235)(110,234)(111,233)(112,232)
(113,231)(114,230)(115,229)(116,228)(117,227)(118,226)(119,225)(120,224)
(121,223)(122,222)(123,221)(124,220);;
s2 := (125,156)(126,157)(127,158)(128,159)(129,160)(130,161)(131,162)(132,163)
(133,164)(134,165)(135,166)(136,167)(137,168)(138,169)(139,170)(140,171)
(141,172)(142,173)(143,174)(144,175)(145,176)(146,177)(147,178)(148,179)
(149,180)(150,181)(151,182)(152,183)(153,184)(154,185)(155,186)(187,218)
(188,219)(189,220)(190,221)(191,222)(192,223)(193,224)(194,225)(195,226)
(196,227)(197,228)(198,229)(199,230)(200,231)(201,232)(202,233)(203,234)
(204,235)(205,236)(206,237)(207,238)(208,239)(209,240)(210,241)(211,242)
(212,243)(213,244)(214,245)(215,246)(216,247)(217,248);;
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*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(248)!(  2, 31)(  3, 30)(  4, 29)(  5, 28)(  6, 27)(  7, 26)(  8, 25)
(  9, 24)( 10, 23)( 11, 22)( 12, 21)( 13, 20)( 14, 19)( 15, 18)( 16, 17)
( 33, 62)( 34, 61)( 35, 60)( 36, 59)( 37, 58)( 38, 57)( 39, 56)( 40, 55)
( 41, 54)( 42, 53)( 43, 52)( 44, 51)( 45, 50)( 46, 49)( 47, 48)( 64, 93)
( 65, 92)( 66, 91)( 67, 90)( 68, 89)( 69, 88)( 70, 87)( 71, 86)( 72, 85)
( 73, 84)( 74, 83)( 75, 82)( 76, 81)( 77, 80)( 78, 79)( 95,124)( 96,123)
( 97,122)( 98,121)( 99,120)(100,119)(101,118)(102,117)(103,116)(104,115)
(105,114)(106,113)(107,112)(108,111)(109,110)(125,187)(126,217)(127,216)
(128,215)(129,214)(130,213)(131,212)(132,211)(133,210)(134,209)(135,208)
(136,207)(137,206)(138,205)(139,204)(140,203)(141,202)(142,201)(143,200)
(144,199)(145,198)(146,197)(147,196)(148,195)(149,194)(150,193)(151,192)
(152,191)(153,190)(154,189)(155,188)(156,218)(157,248)(158,247)(159,246)
(160,245)(161,244)(162,243)(163,242)(164,241)(165,240)(166,239)(167,238)
(168,237)(169,236)(170,235)(171,234)(172,233)(173,232)(174,231)(175,230)
(176,229)(177,228)(178,227)(179,226)(180,225)(181,224)(182,223)(183,222)
(184,221)(185,220)(186,219);
s1 := Sym(248)!(  1,126)(  2,125)(  3,155)(  4,154)(  5,153)(  6,152)(  7,151)
(  8,150)(  9,149)( 10,148)( 11,147)( 12,146)( 13,145)( 14,144)( 15,143)
( 16,142)( 17,141)( 18,140)( 19,139)( 20,138)( 21,137)( 22,136)( 23,135)
( 24,134)( 25,133)( 26,132)( 27,131)( 28,130)( 29,129)( 30,128)( 31,127)
( 32,157)( 33,156)( 34,186)( 35,185)( 36,184)( 37,183)( 38,182)( 39,181)
( 40,180)( 41,179)( 42,178)( 43,177)( 44,176)( 45,175)( 46,174)( 47,173)
( 48,172)( 49,171)( 50,170)( 51,169)( 52,168)( 53,167)( 54,166)( 55,165)
( 56,164)( 57,163)( 58,162)( 59,161)( 60,160)( 61,159)( 62,158)( 63,188)
( 64,187)( 65,217)( 66,216)( 67,215)( 68,214)( 69,213)( 70,212)( 71,211)
( 72,210)( 73,209)( 74,208)( 75,207)( 76,206)( 77,205)( 78,204)( 79,203)
( 80,202)( 81,201)( 82,200)( 83,199)( 84,198)( 85,197)( 86,196)( 87,195)
( 88,194)( 89,193)( 90,192)( 91,191)( 92,190)( 93,189)( 94,219)( 95,218)
( 96,248)( 97,247)( 98,246)( 99,245)(100,244)(101,243)(102,242)(103,241)
(104,240)(105,239)(106,238)(107,237)(108,236)(109,235)(110,234)(111,233)
(112,232)(113,231)(114,230)(115,229)(116,228)(117,227)(118,226)(119,225)
(120,224)(121,223)(122,222)(123,221)(124,220);
s2 := Sym(248)!(125,156)(126,157)(127,158)(128,159)(129,160)(130,161)(131,162)
(132,163)(133,164)(134,165)(135,166)(136,167)(137,168)(138,169)(139,170)
(140,171)(141,172)(142,173)(143,174)(144,175)(145,176)(146,177)(147,178)
(148,179)(149,180)(150,181)(151,182)(152,183)(153,184)(154,185)(155,186)
(187,218)(188,219)(189,220)(190,221)(191,222)(192,223)(193,224)(194,225)
(195,226)(196,227)(197,228)(198,229)(199,230)(200,231)(201,232)(202,233)
(203,234)(204,235)(205,236)(206,237)(207,238)(208,239)(209,240)(210,241)
(211,242)(212,243)(213,244)(214,245)(215,246)(216,247)(217,248);
poly := sub<Sym(248)|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*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