Polytope of Type {3,2,5,8}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {3,2,5,8}*1920a
if this polytope has a name.
Group : SmallGroup(1920,240046)
Rank : 5
Schlafli Type : {3,2,5,8}
Number of vertices, edges, etc : 3, 3, 20, 80, 32
Order of s0s1s2s3s4 : 15
Order of s0s1s2s3s4s3s2s1 : 2
Special Properties :
Degenerate
Universal
Non-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 : {3,2,5,4}*960
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := (2,3);;
s1 := (1,2);;
s2 := ( 4,164)( 5,165)( 6,184)( 7,185)( 8,190)( 9,191)( 10,178)( 11,179)
( 12,173)( 13,172)( 14,192)( 15,193)( 16,183)( 17,182)( 18,170)( 19,171)
( 20,188)( 21,189)( 22,177)( 23,176)( 24,166)( 25,167)( 26,187)( 27,186)
( 28,180)( 29,181)( 30,168)( 31,169)( 32,174)( 33,175)( 34,194)( 35,195)
( 36,292)( 37,293)( 38,312)( 39,313)( 40,318)( 41,319)( 42,306)( 43,307)
( 44,301)( 45,300)( 46,320)( 47,321)( 48,311)( 49,310)( 50,298)( 51,299)
( 52,316)( 53,317)( 54,305)( 55,304)( 56,294)( 57,295)( 58,315)( 59,314)
( 60,308)( 61,309)( 62,296)( 63,297)( 64,302)( 65,303)( 66,322)( 67,323)
( 68,260)( 69,261)( 70,280)( 71,281)( 72,286)( 73,287)( 74,274)( 75,275)
( 76,269)( 77,268)( 78,288)( 79,289)( 80,279)( 81,278)( 82,266)( 83,267)
( 84,284)( 85,285)( 86,273)( 87,272)( 88,262)( 89,263)( 90,283)( 91,282)
( 92,276)( 93,277)( 94,264)( 95,265)( 96,270)( 97,271)( 98,290)( 99,291)
(100,228)(101,229)(102,248)(103,249)(104,254)(105,255)(106,242)(107,243)
(108,237)(109,236)(110,256)(111,257)(112,247)(113,246)(114,234)(115,235)
(116,252)(117,253)(118,241)(119,240)(120,230)(121,231)(122,251)(123,250)
(124,244)(125,245)(126,232)(127,233)(128,238)(129,239)(130,258)(131,259)
(132,196)(133,197)(134,216)(135,217)(136,222)(137,223)(138,210)(139,211)
(140,205)(141,204)(142,224)(143,225)(144,215)(145,214)(146,202)(147,203)
(148,220)(149,221)(150,209)(151,208)(152,198)(153,199)(154,219)(155,218)
(156,212)(157,213)(158,200)(159,201)(160,206)(161,207)(162,226)(163,227);;
s3 := ( 4,196)( 5,197)( 6,226)( 7,227)( 8,201)( 9,200)( 10,222)( 11,223)
( 12,209)( 13,208)( 14,214)( 15,215)( 16,205)( 17,204)( 18,219)( 19,218)
( 20,217)( 21,216)( 22,206)( 23,207)( 24,213)( 25,212)( 26,211)( 27,210)
( 28,220)( 29,221)( 30,202)( 31,203)( 32,225)( 33,224)( 34,198)( 35,199)
( 36,164)( 37,165)( 38,194)( 39,195)( 40,169)( 41,168)( 42,190)( 43,191)
( 44,177)( 45,176)( 46,182)( 47,183)( 48,173)( 49,172)( 50,187)( 51,186)
( 52,185)( 53,184)( 54,174)( 55,175)( 56,181)( 57,180)( 58,179)( 59,178)
( 60,188)( 61,189)( 62,170)( 63,171)( 64,193)( 65,192)( 66,166)( 67,167)
( 68,292)( 69,293)( 70,322)( 71,323)( 72,297)( 73,296)( 74,318)( 75,319)
( 76,305)( 77,304)( 78,310)( 79,311)( 80,301)( 81,300)( 82,315)( 83,314)
( 84,313)( 85,312)( 86,302)( 87,303)( 88,309)( 89,308)( 90,307)( 91,306)
( 92,316)( 93,317)( 94,298)( 95,299)( 96,321)( 97,320)( 98,294)( 99,295)
(100,260)(101,261)(102,290)(103,291)(104,265)(105,264)(106,286)(107,287)
(108,273)(109,272)(110,278)(111,279)(112,269)(113,268)(114,283)(115,282)
(116,281)(117,280)(118,270)(119,271)(120,277)(121,276)(122,275)(123,274)
(124,284)(125,285)(126,266)(127,267)(128,289)(129,288)(130,262)(131,263)
(132,228)(133,229)(134,258)(135,259)(136,233)(137,232)(138,254)(139,255)
(140,241)(141,240)(142,246)(143,247)(144,237)(145,236)(146,251)(147,250)
(148,249)(149,248)(150,238)(151,239)(152,245)(153,244)(154,243)(155,242)
(156,252)(157,253)(158,234)(159,235)(160,257)(161,256)(162,230)(163,231);;
s4 := ( 4, 34)( 5, 35)( 6, 33)( 7, 32)( 8, 31)( 9, 30)( 10, 28)( 11, 29)
( 12, 26)( 13, 27)( 14, 25)( 15, 24)( 16, 23)( 17, 22)( 18, 20)( 19, 21)
( 36, 66)( 37, 67)( 38, 65)( 39, 64)( 40, 63)( 41, 62)( 42, 60)( 43, 61)
( 44, 58)( 45, 59)( 46, 57)( 47, 56)( 48, 55)( 49, 54)( 50, 52)( 51, 53)
( 68, 98)( 69, 99)( 70, 97)( 71, 96)( 72, 95)( 73, 94)( 74, 92)( 75, 93)
( 76, 90)( 77, 91)( 78, 89)( 79, 88)( 80, 87)( 81, 86)( 82, 84)( 83, 85)
(100,130)(101,131)(102,129)(103,128)(104,127)(105,126)(106,124)(107,125)
(108,122)(109,123)(110,121)(111,120)(112,119)(113,118)(114,116)(115,117)
(132,162)(133,163)(134,161)(135,160)(136,159)(137,158)(138,156)(139,157)
(140,154)(141,155)(142,153)(143,152)(144,151)(145,150)(146,148)(147,149)
(164,194)(165,195)(166,193)(167,192)(168,191)(169,190)(170,188)(171,189)
(172,186)(173,187)(174,185)(175,184)(176,183)(177,182)(178,180)(179,181)
(196,226)(197,227)(198,225)(199,224)(200,223)(201,222)(202,220)(203,221)
(204,218)(205,219)(206,217)(207,216)(208,215)(209,214)(210,212)(211,213)
(228,258)(229,259)(230,257)(231,256)(232,255)(233,254)(234,252)(235,253)
(236,250)(237,251)(238,249)(239,248)(240,247)(241,246)(242,244)(243,245)
(260,290)(261,291)(262,289)(263,288)(264,287)(265,286)(266,284)(267,285)
(268,282)(269,283)(270,281)(271,280)(272,279)(273,278)(274,276)(275,277)
(292,322)(293,323)(294,321)(295,320)(296,319)(297,318)(298,316)(299,317)
(300,314)(301,315)(302,313)(303,312)(304,311)(305,310)(306,308)(307,309);;
poly := Group([s0,s1,s2,s3,s4]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2","s3","s4");;
s0 := F.1;; s1 := F.2;; s2 := F.3;; s3 := F.4;; s4 := F.5;;
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s4*s4, s0*s2*s0*s2,
s1*s2*s1*s2, s0*s3*s0*s3, s1*s3*s1*s3,
s0*s4*s0*s4, s1*s4*s1*s4, s2*s4*s2*s4,
s0*s1*s0*s1*s0*s1, s2*s3*s2*s3*s2*s3*s2*s3*s2*s3,
s2*s3*s4*s2*s3*s4*s2*s3*s4*s2*s3*s4*s2*s3*s4,
s2*s3*s4*s3*s4*s3*s4*s3*s2*s3*s4*s3*s4*s3*s4*s3 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(323)!(2,3);
s1 := Sym(323)!(1,2);
s2 := Sym(323)!( 4,164)( 5,165)( 6,184)( 7,185)( 8,190)( 9,191)( 10,178)
( 11,179)( 12,173)( 13,172)( 14,192)( 15,193)( 16,183)( 17,182)( 18,170)
( 19,171)( 20,188)( 21,189)( 22,177)( 23,176)( 24,166)( 25,167)( 26,187)
( 27,186)( 28,180)( 29,181)( 30,168)( 31,169)( 32,174)( 33,175)( 34,194)
( 35,195)( 36,292)( 37,293)( 38,312)( 39,313)( 40,318)( 41,319)( 42,306)
( 43,307)( 44,301)( 45,300)( 46,320)( 47,321)( 48,311)( 49,310)( 50,298)
( 51,299)( 52,316)( 53,317)( 54,305)( 55,304)( 56,294)( 57,295)( 58,315)
( 59,314)( 60,308)( 61,309)( 62,296)( 63,297)( 64,302)( 65,303)( 66,322)
( 67,323)( 68,260)( 69,261)( 70,280)( 71,281)( 72,286)( 73,287)( 74,274)
( 75,275)( 76,269)( 77,268)( 78,288)( 79,289)( 80,279)( 81,278)( 82,266)
( 83,267)( 84,284)( 85,285)( 86,273)( 87,272)( 88,262)( 89,263)( 90,283)
( 91,282)( 92,276)( 93,277)( 94,264)( 95,265)( 96,270)( 97,271)( 98,290)
( 99,291)(100,228)(101,229)(102,248)(103,249)(104,254)(105,255)(106,242)
(107,243)(108,237)(109,236)(110,256)(111,257)(112,247)(113,246)(114,234)
(115,235)(116,252)(117,253)(118,241)(119,240)(120,230)(121,231)(122,251)
(123,250)(124,244)(125,245)(126,232)(127,233)(128,238)(129,239)(130,258)
(131,259)(132,196)(133,197)(134,216)(135,217)(136,222)(137,223)(138,210)
(139,211)(140,205)(141,204)(142,224)(143,225)(144,215)(145,214)(146,202)
(147,203)(148,220)(149,221)(150,209)(151,208)(152,198)(153,199)(154,219)
(155,218)(156,212)(157,213)(158,200)(159,201)(160,206)(161,207)(162,226)
(163,227);
s3 := Sym(323)!( 4,196)( 5,197)( 6,226)( 7,227)( 8,201)( 9,200)( 10,222)
( 11,223)( 12,209)( 13,208)( 14,214)( 15,215)( 16,205)( 17,204)( 18,219)
( 19,218)( 20,217)( 21,216)( 22,206)( 23,207)( 24,213)( 25,212)( 26,211)
( 27,210)( 28,220)( 29,221)( 30,202)( 31,203)( 32,225)( 33,224)( 34,198)
( 35,199)( 36,164)( 37,165)( 38,194)( 39,195)( 40,169)( 41,168)( 42,190)
( 43,191)( 44,177)( 45,176)( 46,182)( 47,183)( 48,173)( 49,172)( 50,187)
( 51,186)( 52,185)( 53,184)( 54,174)( 55,175)( 56,181)( 57,180)( 58,179)
( 59,178)( 60,188)( 61,189)( 62,170)( 63,171)( 64,193)( 65,192)( 66,166)
( 67,167)( 68,292)( 69,293)( 70,322)( 71,323)( 72,297)( 73,296)( 74,318)
( 75,319)( 76,305)( 77,304)( 78,310)( 79,311)( 80,301)( 81,300)( 82,315)
( 83,314)( 84,313)( 85,312)( 86,302)( 87,303)( 88,309)( 89,308)( 90,307)
( 91,306)( 92,316)( 93,317)( 94,298)( 95,299)( 96,321)( 97,320)( 98,294)
( 99,295)(100,260)(101,261)(102,290)(103,291)(104,265)(105,264)(106,286)
(107,287)(108,273)(109,272)(110,278)(111,279)(112,269)(113,268)(114,283)
(115,282)(116,281)(117,280)(118,270)(119,271)(120,277)(121,276)(122,275)
(123,274)(124,284)(125,285)(126,266)(127,267)(128,289)(129,288)(130,262)
(131,263)(132,228)(133,229)(134,258)(135,259)(136,233)(137,232)(138,254)
(139,255)(140,241)(141,240)(142,246)(143,247)(144,237)(145,236)(146,251)
(147,250)(148,249)(149,248)(150,238)(151,239)(152,245)(153,244)(154,243)
(155,242)(156,252)(157,253)(158,234)(159,235)(160,257)(161,256)(162,230)
(163,231);
s4 := Sym(323)!( 4, 34)( 5, 35)( 6, 33)( 7, 32)( 8, 31)( 9, 30)( 10, 28)
( 11, 29)( 12, 26)( 13, 27)( 14, 25)( 15, 24)( 16, 23)( 17, 22)( 18, 20)
( 19, 21)( 36, 66)( 37, 67)( 38, 65)( 39, 64)( 40, 63)( 41, 62)( 42, 60)
( 43, 61)( 44, 58)( 45, 59)( 46, 57)( 47, 56)( 48, 55)( 49, 54)( 50, 52)
( 51, 53)( 68, 98)( 69, 99)( 70, 97)( 71, 96)( 72, 95)( 73, 94)( 74, 92)
( 75, 93)( 76, 90)( 77, 91)( 78, 89)( 79, 88)( 80, 87)( 81, 86)( 82, 84)
( 83, 85)(100,130)(101,131)(102,129)(103,128)(104,127)(105,126)(106,124)
(107,125)(108,122)(109,123)(110,121)(111,120)(112,119)(113,118)(114,116)
(115,117)(132,162)(133,163)(134,161)(135,160)(136,159)(137,158)(138,156)
(139,157)(140,154)(141,155)(142,153)(143,152)(144,151)(145,150)(146,148)
(147,149)(164,194)(165,195)(166,193)(167,192)(168,191)(169,190)(170,188)
(171,189)(172,186)(173,187)(174,185)(175,184)(176,183)(177,182)(178,180)
(179,181)(196,226)(197,227)(198,225)(199,224)(200,223)(201,222)(202,220)
(203,221)(204,218)(205,219)(206,217)(207,216)(208,215)(209,214)(210,212)
(211,213)(228,258)(229,259)(230,257)(231,256)(232,255)(233,254)(234,252)
(235,253)(236,250)(237,251)(238,249)(239,248)(240,247)(241,246)(242,244)
(243,245)(260,290)(261,291)(262,289)(263,288)(264,287)(265,286)(266,284)
(267,285)(268,282)(269,283)(270,281)(271,280)(272,279)(273,278)(274,276)
(275,277)(292,322)(293,323)(294,321)(295,320)(296,319)(297,318)(298,316)
(299,317)(300,314)(301,315)(302,313)(303,312)(304,311)(305,310)(306,308)
(307,309);
poly := sub<Sym(323)|s0,s1,s2,s3,s4>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2,s3,s4> := Group< s0,s1,s2,s3,s4 | s0*s0, s1*s1, s2*s2,
s3*s3, s4*s4, s0*s2*s0*s2, s1*s2*s1*s2,
s0*s3*s0*s3, s1*s3*s1*s3, s0*s4*s0*s4,
s1*s4*s1*s4, s2*s4*s2*s4, s0*s1*s0*s1*s0*s1,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3, s2*s3*s4*s2*s3*s4*s2*s3*s4*s2*s3*s4*s2*s3*s4,
s2*s3*s4*s3*s4*s3*s4*s3*s2*s3*s4*s3*s4*s3*s4*s3 >;
to this polytope