Polytope of Type {6,12,4}

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