Polytope of Type {4,56,4}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {4,56,4}*1792a
if this polytope has a name.
Group : SmallGroup(1792,201130)
Rank : 4
Schlafli Type : {4,56,4}
Number of vertices, edges, etc : 4, 112, 112, 4
Order of s0s1s2s3 : 56
Order of s0s1s2s3s2s1 : 2
Special Properties :
Orientable
Flat
Self-Dual
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,28,4}*896
4-fold quotients : {2,28,4}*448, {4,28,2}*448, {4,14,4}*448
7-fold quotients : {4,8,4}*256a
8-fold quotients : {2,28,2}*224, {2,14,4}*224, {4,14,2}*224
14-fold quotients : {4,4,4}*128
16-fold quotients : {2,14,2}*112
28-fold quotients : {2,4,4}*64, {4,4,2}*64, {4,2,4}*64
32-fold quotients : {2,7,2}*56
56-fold quotients : {2,2,4}*32, {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, 57)( 2, 58)( 3, 59)( 4, 60)( 5, 61)( 6, 62)( 7, 63)( 8, 64)
( 9, 65)( 10, 66)( 11, 67)( 12, 68)( 13, 69)( 14, 70)( 15, 71)( 16, 72)
( 17, 73)( 18, 74)( 19, 75)( 20, 76)( 21, 77)( 22, 78)( 23, 79)( 24, 80)
( 25, 81)( 26, 82)( 27, 83)( 28, 84)( 29, 92)( 30, 93)( 31, 94)( 32, 95)
( 33, 96)( 34, 97)( 35, 98)( 36, 85)( 37, 86)( 38, 87)( 39, 88)( 40, 89)
( 41, 90)( 42, 91)( 43,106)( 44,107)( 45,108)( 46,109)( 47,110)( 48,111)
( 49,112)( 50, 99)( 51,100)( 52,101)( 53,102)( 54,103)( 55,104)( 56,105)
(113,169)(114,170)(115,171)(116,172)(117,173)(118,174)(119,175)(120,176)
(121,177)(122,178)(123,179)(124,180)(125,181)(126,182)(127,183)(128,184)
(129,185)(130,186)(131,187)(132,188)(133,189)(134,190)(135,191)(136,192)
(137,193)(138,194)(139,195)(140,196)(141,204)(142,205)(143,206)(144,207)
(145,208)(146,209)(147,210)(148,197)(149,198)(150,199)(151,200)(152,201)
(153,202)(154,203)(155,218)(156,219)(157,220)(158,221)(159,222)(160,223)
(161,224)(162,211)(163,212)(164,213)(165,214)(166,215)(167,216)(168,217);;
s1 := ( 2, 7)( 3, 6)( 4, 5)( 9, 14)( 10, 13)( 11, 12)( 15, 22)( 16, 28)
( 17, 27)( 18, 26)( 19, 25)( 20, 24)( 21, 23)( 29, 36)( 30, 42)( 31, 41)
( 32, 40)( 33, 39)( 34, 38)( 35, 37)( 44, 49)( 45, 48)( 46, 47)( 51, 56)
( 52, 55)( 53, 54)( 58, 63)( 59, 62)( 60, 61)( 65, 70)( 66, 69)( 67, 68)
( 71, 78)( 72, 84)( 73, 83)( 74, 82)( 75, 81)( 76, 80)( 77, 79)( 85, 92)
( 86, 98)( 87, 97)( 88, 96)( 89, 95)( 90, 94)( 91, 93)(100,105)(101,104)
(102,103)(107,112)(108,111)(109,110)(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,162)(128,168)(129,167)(130,166)(131,165)(132,164)
(133,163)(134,155)(135,161)(136,160)(137,159)(138,158)(139,157)(140,156)
(169,197)(170,203)(171,202)(172,201)(173,200)(174,199)(175,198)(176,204)
(177,210)(178,209)(179,208)(180,207)(181,206)(182,205)(183,218)(184,224)
(185,223)(186,222)(187,221)(188,220)(189,219)(190,211)(191,217)(192,216)
(193,215)(194,214)(195,213)(196,212);;
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,170)( 58,169)( 59,175)( 60,174)( 61,173)( 62,172)( 63,171)( 64,177)
( 65,176)( 66,182)( 67,181)( 68,180)( 69,179)( 70,178)( 71,184)( 72,183)
( 73,189)( 74,188)( 75,187)( 76,186)( 77,185)( 78,191)( 79,190)( 80,196)
( 81,195)( 82,194)( 83,193)( 84,192)( 85,205)( 86,204)( 87,210)( 88,209)
( 89,208)( 90,207)( 91,206)( 92,198)( 93,197)( 94,203)( 95,202)( 96,201)
( 97,200)( 98,199)( 99,219)(100,218)(101,224)(102,223)(103,222)(104,221)
(105,220)(106,212)(107,211)(108,217)(109,216)(110,215)(111,214)(112,213);;
s3 := ( 1, 57)( 2, 58)( 3, 59)( 4, 60)( 5, 61)( 6, 62)( 7, 63)( 8, 64)
( 9, 65)( 10, 66)( 11, 67)( 12, 68)( 13, 69)( 14, 70)( 15, 71)( 16, 72)
( 17, 73)( 18, 74)( 19, 75)( 20, 76)( 21, 77)( 22, 78)( 23, 79)( 24, 80)
( 25, 81)( 26, 82)( 27, 83)( 28, 84)( 29, 92)( 30, 93)( 31, 94)( 32, 95)
( 33, 96)( 34, 97)( 35, 98)( 36, 85)( 37, 86)( 38, 87)( 39, 88)( 40, 89)
( 41, 90)( 42, 91)( 43,106)( 44,107)( 45,108)( 46,109)( 47,110)( 48,111)
( 49,112)( 50, 99)( 51,100)( 52,101)( 53,102)( 54,103)( 55,104)( 56,105)
(113,183)(114,184)(115,185)(116,186)(117,187)(118,188)(119,189)(120,190)
(121,191)(122,192)(123,193)(124,194)(125,195)(126,196)(127,169)(128,170)
(129,171)(130,172)(131,173)(132,174)(133,175)(134,176)(135,177)(136,178)
(137,179)(138,180)(139,181)(140,182)(141,218)(142,219)(143,220)(144,221)
(145,222)(146,223)(147,224)(148,211)(149,212)(150,213)(151,214)(152,215)
(153,216)(154,217)(155,204)(156,205)(157,206)(158,207)(159,208)(160,209)
(161,210)(162,197)(163,198)(164,199)(165,200)(166,201)(167,202)(168,203);;
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, s0*s1*s0*s1*s0*s1*s0*s1,
s2*s3*s2*s3*s2*s3*s2*s3, s2*s0*s3*s2*s1*s2*s3*s1*s0*s1*s2*s1,
s2*s3*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*s3*s1*s2*s1 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(224)!( 1, 57)( 2, 58)( 3, 59)( 4, 60)( 5, 61)( 6, 62)( 7, 63)
( 8, 64)( 9, 65)( 10, 66)( 11, 67)( 12, 68)( 13, 69)( 14, 70)( 15, 71)
( 16, 72)( 17, 73)( 18, 74)( 19, 75)( 20, 76)( 21, 77)( 22, 78)( 23, 79)
( 24, 80)( 25, 81)( 26, 82)( 27, 83)( 28, 84)( 29, 92)( 30, 93)( 31, 94)
( 32, 95)( 33, 96)( 34, 97)( 35, 98)( 36, 85)( 37, 86)( 38, 87)( 39, 88)
( 40, 89)( 41, 90)( 42, 91)( 43,106)( 44,107)( 45,108)( 46,109)( 47,110)
( 48,111)( 49,112)( 50, 99)( 51,100)( 52,101)( 53,102)( 54,103)( 55,104)
( 56,105)(113,169)(114,170)(115,171)(116,172)(117,173)(118,174)(119,175)
(120,176)(121,177)(122,178)(123,179)(124,180)(125,181)(126,182)(127,183)
(128,184)(129,185)(130,186)(131,187)(132,188)(133,189)(134,190)(135,191)
(136,192)(137,193)(138,194)(139,195)(140,196)(141,204)(142,205)(143,206)
(144,207)(145,208)(146,209)(147,210)(148,197)(149,198)(150,199)(151,200)
(152,201)(153,202)(154,203)(155,218)(156,219)(157,220)(158,221)(159,222)
(160,223)(161,224)(162,211)(163,212)(164,213)(165,214)(166,215)(167,216)
(168,217);
s1 := Sym(224)!( 2, 7)( 3, 6)( 4, 5)( 9, 14)( 10, 13)( 11, 12)( 15, 22)
( 16, 28)( 17, 27)( 18, 26)( 19, 25)( 20, 24)( 21, 23)( 29, 36)( 30, 42)
( 31, 41)( 32, 40)( 33, 39)( 34, 38)( 35, 37)( 44, 49)( 45, 48)( 46, 47)
( 51, 56)( 52, 55)( 53, 54)( 58, 63)( 59, 62)( 60, 61)( 65, 70)( 66, 69)
( 67, 68)( 71, 78)( 72, 84)( 73, 83)( 74, 82)( 75, 81)( 76, 80)( 77, 79)
( 85, 92)( 86, 98)( 87, 97)( 88, 96)( 89, 95)( 90, 94)( 91, 93)(100,105)
(101,104)(102,103)(107,112)(108,111)(109,110)(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,162)(128,168)(129,167)(130,166)(131,165)
(132,164)(133,163)(134,155)(135,161)(136,160)(137,159)(138,158)(139,157)
(140,156)(169,197)(170,203)(171,202)(172,201)(173,200)(174,199)(175,198)
(176,204)(177,210)(178,209)(179,208)(180,207)(181,206)(182,205)(183,218)
(184,224)(185,223)(186,222)(187,221)(188,220)(189,219)(190,211)(191,217)
(192,216)(193,215)(194,214)(195,213)(196,212);
s2 := Sym(224)!( 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,170)( 58,169)( 59,175)( 60,174)( 61,173)( 62,172)( 63,171)
( 64,177)( 65,176)( 66,182)( 67,181)( 68,180)( 69,179)( 70,178)( 71,184)
( 72,183)( 73,189)( 74,188)( 75,187)( 76,186)( 77,185)( 78,191)( 79,190)
( 80,196)( 81,195)( 82,194)( 83,193)( 84,192)( 85,205)( 86,204)( 87,210)
( 88,209)( 89,208)( 90,207)( 91,206)( 92,198)( 93,197)( 94,203)( 95,202)
( 96,201)( 97,200)( 98,199)( 99,219)(100,218)(101,224)(102,223)(103,222)
(104,221)(105,220)(106,212)(107,211)(108,217)(109,216)(110,215)(111,214)
(112,213);
s3 := Sym(224)!( 1, 57)( 2, 58)( 3, 59)( 4, 60)( 5, 61)( 6, 62)( 7, 63)
( 8, 64)( 9, 65)( 10, 66)( 11, 67)( 12, 68)( 13, 69)( 14, 70)( 15, 71)
( 16, 72)( 17, 73)( 18, 74)( 19, 75)( 20, 76)( 21, 77)( 22, 78)( 23, 79)
( 24, 80)( 25, 81)( 26, 82)( 27, 83)( 28, 84)( 29, 92)( 30, 93)( 31, 94)
( 32, 95)( 33, 96)( 34, 97)( 35, 98)( 36, 85)( 37, 86)( 38, 87)( 39, 88)
( 40, 89)( 41, 90)( 42, 91)( 43,106)( 44,107)( 45,108)( 46,109)( 47,110)
( 48,111)( 49,112)( 50, 99)( 51,100)( 52,101)( 53,102)( 54,103)( 55,104)
( 56,105)(113,183)(114,184)(115,185)(116,186)(117,187)(118,188)(119,189)
(120,190)(121,191)(122,192)(123,193)(124,194)(125,195)(126,196)(127,169)
(128,170)(129,171)(130,172)(131,173)(132,174)(133,175)(134,176)(135,177)
(136,178)(137,179)(138,180)(139,181)(140,182)(141,218)(142,219)(143,220)
(144,221)(145,222)(146,223)(147,224)(148,211)(149,212)(150,213)(151,214)
(152,215)(153,216)(154,217)(155,204)(156,205)(157,206)(158,207)(159,208)
(160,209)(161,210)(162,197)(163,198)(164,199)(165,200)(166,201)(167,202)
(168,203);
poly := sub<Sym(224)|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,
s0*s1*s0*s1*s0*s1*s0*s1, s2*s3*s2*s3*s2*s3*s2*s3,
s2*s0*s3*s2*s1*s2*s3*s1*s0*s1*s2*s1,
s2*s3*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*s3*s1*s2*s1 >;
References : None.
to this polytope