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