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