Polytope of Type {12,9}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {12,9}*1728
if this polytope has a name.
Group : SmallGroup(1728,46098)
Rank : 3
Schlafli Type : {12,9}
Number of vertices, edges, etc : 96, 432, 72
Order of s0s1s2 : 36
Order of s0s1s2s1 : 12
Special Properties :
Compact Hyperbolic Quotient
Locally Spherical
Orientable
Related Polytopes :
Facet
Vertex Figure
Dual
Facet Of :
None in this Atlas
Vertex Figure Of :
None in this Atlas
Quotients (Maximal Quotients in Boldface) :
3-fold quotients : {12,3}*576
4-fold quotients : {6,9}*432, {12,9}*432
12-fold quotients : {4,9}*144, {6,3}*144, {12,3}*144
16-fold quotients : {6,9}*108
24-fold quotients : {4,9}*72
36-fold quotients : {4,3}*48, {6,3}*48
48-fold quotients : {2,9}*36, {6,3}*36
72-fold quotients : {3,3}*24, {4,3}*24
144-fold quotients : {2,3}*12
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 1, 3)( 2, 4)( 5, 7)( 6, 8)( 9, 15)( 10, 16)( 11, 13)( 12, 14)
( 17, 19)( 18, 20)( 21, 23)( 22, 24)( 25, 31)( 26, 32)( 27, 29)( 28, 30)
( 33, 35)( 34, 36)( 37, 39)( 38, 40)( 41, 47)( 42, 48)( 43, 45)( 44, 46)
( 49, 99)( 50,100)( 51, 97)( 52, 98)( 53,103)( 54,104)( 55,101)( 56,102)
( 57,111)( 58,112)( 59,109)( 60,110)( 61,107)( 62,108)( 63,105)( 64,106)
( 65,115)( 66,116)( 67,113)( 68,114)( 69,119)( 70,120)( 71,117)( 72,118)
( 73,127)( 74,128)( 75,125)( 76,126)( 77,123)( 78,124)( 79,121)( 80,122)
( 81,131)( 82,132)( 83,129)( 84,130)( 85,135)( 86,136)( 87,133)( 88,134)
( 89,143)( 90,144)( 91,141)( 92,142)( 93,139)( 94,140)( 95,137)( 96,138)
(145,147)(146,148)(149,151)(150,152)(153,159)(154,160)(155,157)(156,158)
(161,163)(162,164)(165,167)(166,168)(169,175)(170,176)(171,173)(172,174)
(177,179)(178,180)(181,183)(182,184)(185,191)(186,192)(187,189)(188,190)
(193,243)(194,244)(195,241)(196,242)(197,247)(198,248)(199,245)(200,246)
(201,255)(202,256)(203,253)(204,254)(205,251)(206,252)(207,249)(208,250)
(209,259)(210,260)(211,257)(212,258)(213,263)(214,264)(215,261)(216,262)
(217,271)(218,272)(219,269)(220,270)(221,267)(222,268)(223,265)(224,266)
(225,275)(226,276)(227,273)(228,274)(229,279)(230,280)(231,277)(232,278)
(233,287)(234,288)(235,285)(236,286)(237,283)(238,284)(239,281)(240,282)
(289,291)(290,292)(293,295)(294,296)(297,303)(298,304)(299,301)(300,302)
(305,307)(306,308)(309,311)(310,312)(313,319)(314,320)(315,317)(316,318)
(321,323)(322,324)(325,327)(326,328)(329,335)(330,336)(331,333)(332,334)
(337,387)(338,388)(339,385)(340,386)(341,391)(342,392)(343,389)(344,390)
(345,399)(346,400)(347,397)(348,398)(349,395)(350,396)(351,393)(352,394)
(353,403)(354,404)(355,401)(356,402)(357,407)(358,408)(359,405)(360,406)
(361,415)(362,416)(363,413)(364,414)(365,411)(366,412)(367,409)(368,410)
(369,419)(370,420)(371,417)(372,418)(373,423)(374,424)(375,421)(376,422)
(377,431)(378,432)(379,429)(380,430)(381,427)(382,428)(383,425)(384,426);;
s1 := ( 1, 49)( 2, 50)( 3, 52)( 4, 51)( 5, 61)( 6, 62)( 7, 64)( 8, 63)
( 9, 57)( 10, 58)( 11, 60)( 12, 59)( 13, 53)( 14, 54)( 15, 56)( 16, 55)
( 17, 81)( 18, 82)( 19, 84)( 20, 83)( 21, 93)( 22, 94)( 23, 96)( 24, 95)
( 25, 89)( 26, 90)( 27, 92)( 28, 91)( 29, 85)( 30, 86)( 31, 88)( 32, 87)
( 33, 65)( 34, 66)( 35, 68)( 36, 67)( 37, 77)( 38, 78)( 39, 80)( 40, 79)
( 41, 73)( 42, 74)( 43, 76)( 44, 75)( 45, 69)( 46, 70)( 47, 72)( 48, 71)
( 99,100)(101,109)(102,110)(103,112)(104,111)(107,108)(113,129)(114,130)
(115,132)(116,131)(117,141)(118,142)(119,144)(120,143)(121,137)(122,138)
(123,140)(124,139)(125,133)(126,134)(127,136)(128,135)(145,369)(146,370)
(147,372)(148,371)(149,381)(150,382)(151,384)(152,383)(153,377)(154,378)
(155,380)(156,379)(157,373)(158,374)(159,376)(160,375)(161,353)(162,354)
(163,356)(164,355)(165,365)(166,366)(167,368)(168,367)(169,361)(170,362)
(171,364)(172,363)(173,357)(174,358)(175,360)(176,359)(177,337)(178,338)
(179,340)(180,339)(181,349)(182,350)(183,352)(184,351)(185,345)(186,346)
(187,348)(188,347)(189,341)(190,342)(191,344)(192,343)(193,321)(194,322)
(195,324)(196,323)(197,333)(198,334)(199,336)(200,335)(201,329)(202,330)
(203,332)(204,331)(205,325)(206,326)(207,328)(208,327)(209,305)(210,306)
(211,308)(212,307)(213,317)(214,318)(215,320)(216,319)(217,313)(218,314)
(219,316)(220,315)(221,309)(222,310)(223,312)(224,311)(225,289)(226,290)
(227,292)(228,291)(229,301)(230,302)(231,304)(232,303)(233,297)(234,298)
(235,300)(236,299)(237,293)(238,294)(239,296)(240,295)(241,417)(242,418)
(243,420)(244,419)(245,429)(246,430)(247,432)(248,431)(249,425)(250,426)
(251,428)(252,427)(253,421)(254,422)(255,424)(256,423)(257,401)(258,402)
(259,404)(260,403)(261,413)(262,414)(263,416)(264,415)(265,409)(266,410)
(267,412)(268,411)(269,405)(270,406)(271,408)(272,407)(273,385)(274,386)
(275,388)(276,387)(277,397)(278,398)(279,400)(280,399)(281,393)(282,394)
(283,396)(284,395)(285,389)(286,390)(287,392)(288,391);;
s2 := ( 1,149)( 2,152)( 3,151)( 4,150)( 5,145)( 6,148)( 7,147)( 8,146)
( 9,153)( 10,156)( 11,155)( 12,154)( 13,157)( 14,160)( 15,159)( 16,158)
( 17,181)( 18,184)( 19,183)( 20,182)( 21,177)( 22,180)( 23,179)( 24,178)
( 25,185)( 26,188)( 27,187)( 28,186)( 29,189)( 30,192)( 31,191)( 32,190)
( 33,165)( 34,168)( 35,167)( 36,166)( 37,161)( 38,164)( 39,163)( 40,162)
( 41,169)( 42,172)( 43,171)( 44,170)( 45,173)( 46,176)( 47,175)( 48,174)
( 49,245)( 50,248)( 51,247)( 52,246)( 53,241)( 54,244)( 55,243)( 56,242)
( 57,249)( 58,252)( 59,251)( 60,250)( 61,253)( 62,256)( 63,255)( 64,254)
( 65,277)( 66,280)( 67,279)( 68,278)( 69,273)( 70,276)( 71,275)( 72,274)
( 73,281)( 74,284)( 75,283)( 76,282)( 77,285)( 78,288)( 79,287)( 80,286)
( 81,261)( 82,264)( 83,263)( 84,262)( 85,257)( 86,260)( 87,259)( 88,258)
( 89,265)( 90,268)( 91,267)( 92,266)( 93,269)( 94,272)( 95,271)( 96,270)
( 97,197)( 98,200)( 99,199)(100,198)(101,193)(102,196)(103,195)(104,194)
(105,201)(106,204)(107,203)(108,202)(109,205)(110,208)(111,207)(112,206)
(113,229)(114,232)(115,231)(116,230)(117,225)(118,228)(119,227)(120,226)
(121,233)(122,236)(123,235)(124,234)(125,237)(126,240)(127,239)(128,238)
(129,213)(130,216)(131,215)(132,214)(133,209)(134,212)(135,211)(136,210)
(137,217)(138,220)(139,219)(140,218)(141,221)(142,224)(143,223)(144,222)
(289,325)(290,328)(291,327)(292,326)(293,321)(294,324)(295,323)(296,322)
(297,329)(298,332)(299,331)(300,330)(301,333)(302,336)(303,335)(304,334)
(305,309)(306,312)(307,311)(308,310)(314,316)(318,320)(337,421)(338,424)
(339,423)(340,422)(341,417)(342,420)(343,419)(344,418)(345,425)(346,428)
(347,427)(348,426)(349,429)(350,432)(351,431)(352,430)(353,405)(354,408)
(355,407)(356,406)(357,401)(358,404)(359,403)(360,402)(361,409)(362,412)
(363,411)(364,410)(365,413)(366,416)(367,415)(368,414)(369,389)(370,392)
(371,391)(372,390)(373,385)(374,388)(375,387)(376,386)(377,393)(378,396)
(379,395)(380,394)(381,397)(382,400)(383,399)(384,398);;
poly := Group([s0,s1,s2]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2");;
s0 := F.1;; s1 := F.2;; s2 := F.3;;
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s0*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s2*s0*s1*s0*s1*s2*s0*s1*s0*s1*s2*s0*s1*s0*s1*s2*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 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(432)!( 1, 3)( 2, 4)( 5, 7)( 6, 8)( 9, 15)( 10, 16)( 11, 13)
( 12, 14)( 17, 19)( 18, 20)( 21, 23)( 22, 24)( 25, 31)( 26, 32)( 27, 29)
( 28, 30)( 33, 35)( 34, 36)( 37, 39)( 38, 40)( 41, 47)( 42, 48)( 43, 45)
( 44, 46)( 49, 99)( 50,100)( 51, 97)( 52, 98)( 53,103)( 54,104)( 55,101)
( 56,102)( 57,111)( 58,112)( 59,109)( 60,110)( 61,107)( 62,108)( 63,105)
( 64,106)( 65,115)( 66,116)( 67,113)( 68,114)( 69,119)( 70,120)( 71,117)
( 72,118)( 73,127)( 74,128)( 75,125)( 76,126)( 77,123)( 78,124)( 79,121)
( 80,122)( 81,131)( 82,132)( 83,129)( 84,130)( 85,135)( 86,136)( 87,133)
( 88,134)( 89,143)( 90,144)( 91,141)( 92,142)( 93,139)( 94,140)( 95,137)
( 96,138)(145,147)(146,148)(149,151)(150,152)(153,159)(154,160)(155,157)
(156,158)(161,163)(162,164)(165,167)(166,168)(169,175)(170,176)(171,173)
(172,174)(177,179)(178,180)(181,183)(182,184)(185,191)(186,192)(187,189)
(188,190)(193,243)(194,244)(195,241)(196,242)(197,247)(198,248)(199,245)
(200,246)(201,255)(202,256)(203,253)(204,254)(205,251)(206,252)(207,249)
(208,250)(209,259)(210,260)(211,257)(212,258)(213,263)(214,264)(215,261)
(216,262)(217,271)(218,272)(219,269)(220,270)(221,267)(222,268)(223,265)
(224,266)(225,275)(226,276)(227,273)(228,274)(229,279)(230,280)(231,277)
(232,278)(233,287)(234,288)(235,285)(236,286)(237,283)(238,284)(239,281)
(240,282)(289,291)(290,292)(293,295)(294,296)(297,303)(298,304)(299,301)
(300,302)(305,307)(306,308)(309,311)(310,312)(313,319)(314,320)(315,317)
(316,318)(321,323)(322,324)(325,327)(326,328)(329,335)(330,336)(331,333)
(332,334)(337,387)(338,388)(339,385)(340,386)(341,391)(342,392)(343,389)
(344,390)(345,399)(346,400)(347,397)(348,398)(349,395)(350,396)(351,393)
(352,394)(353,403)(354,404)(355,401)(356,402)(357,407)(358,408)(359,405)
(360,406)(361,415)(362,416)(363,413)(364,414)(365,411)(366,412)(367,409)
(368,410)(369,419)(370,420)(371,417)(372,418)(373,423)(374,424)(375,421)
(376,422)(377,431)(378,432)(379,429)(380,430)(381,427)(382,428)(383,425)
(384,426);
s1 := Sym(432)!( 1, 49)( 2, 50)( 3, 52)( 4, 51)( 5, 61)( 6, 62)( 7, 64)
( 8, 63)( 9, 57)( 10, 58)( 11, 60)( 12, 59)( 13, 53)( 14, 54)( 15, 56)
( 16, 55)( 17, 81)( 18, 82)( 19, 84)( 20, 83)( 21, 93)( 22, 94)( 23, 96)
( 24, 95)( 25, 89)( 26, 90)( 27, 92)( 28, 91)( 29, 85)( 30, 86)( 31, 88)
( 32, 87)( 33, 65)( 34, 66)( 35, 68)( 36, 67)( 37, 77)( 38, 78)( 39, 80)
( 40, 79)( 41, 73)( 42, 74)( 43, 76)( 44, 75)( 45, 69)( 46, 70)( 47, 72)
( 48, 71)( 99,100)(101,109)(102,110)(103,112)(104,111)(107,108)(113,129)
(114,130)(115,132)(116,131)(117,141)(118,142)(119,144)(120,143)(121,137)
(122,138)(123,140)(124,139)(125,133)(126,134)(127,136)(128,135)(145,369)
(146,370)(147,372)(148,371)(149,381)(150,382)(151,384)(152,383)(153,377)
(154,378)(155,380)(156,379)(157,373)(158,374)(159,376)(160,375)(161,353)
(162,354)(163,356)(164,355)(165,365)(166,366)(167,368)(168,367)(169,361)
(170,362)(171,364)(172,363)(173,357)(174,358)(175,360)(176,359)(177,337)
(178,338)(179,340)(180,339)(181,349)(182,350)(183,352)(184,351)(185,345)
(186,346)(187,348)(188,347)(189,341)(190,342)(191,344)(192,343)(193,321)
(194,322)(195,324)(196,323)(197,333)(198,334)(199,336)(200,335)(201,329)
(202,330)(203,332)(204,331)(205,325)(206,326)(207,328)(208,327)(209,305)
(210,306)(211,308)(212,307)(213,317)(214,318)(215,320)(216,319)(217,313)
(218,314)(219,316)(220,315)(221,309)(222,310)(223,312)(224,311)(225,289)
(226,290)(227,292)(228,291)(229,301)(230,302)(231,304)(232,303)(233,297)
(234,298)(235,300)(236,299)(237,293)(238,294)(239,296)(240,295)(241,417)
(242,418)(243,420)(244,419)(245,429)(246,430)(247,432)(248,431)(249,425)
(250,426)(251,428)(252,427)(253,421)(254,422)(255,424)(256,423)(257,401)
(258,402)(259,404)(260,403)(261,413)(262,414)(263,416)(264,415)(265,409)
(266,410)(267,412)(268,411)(269,405)(270,406)(271,408)(272,407)(273,385)
(274,386)(275,388)(276,387)(277,397)(278,398)(279,400)(280,399)(281,393)
(282,394)(283,396)(284,395)(285,389)(286,390)(287,392)(288,391);
s2 := Sym(432)!( 1,149)( 2,152)( 3,151)( 4,150)( 5,145)( 6,148)( 7,147)
( 8,146)( 9,153)( 10,156)( 11,155)( 12,154)( 13,157)( 14,160)( 15,159)
( 16,158)( 17,181)( 18,184)( 19,183)( 20,182)( 21,177)( 22,180)( 23,179)
( 24,178)( 25,185)( 26,188)( 27,187)( 28,186)( 29,189)( 30,192)( 31,191)
( 32,190)( 33,165)( 34,168)( 35,167)( 36,166)( 37,161)( 38,164)( 39,163)
( 40,162)( 41,169)( 42,172)( 43,171)( 44,170)( 45,173)( 46,176)( 47,175)
( 48,174)( 49,245)( 50,248)( 51,247)( 52,246)( 53,241)( 54,244)( 55,243)
( 56,242)( 57,249)( 58,252)( 59,251)( 60,250)( 61,253)( 62,256)( 63,255)
( 64,254)( 65,277)( 66,280)( 67,279)( 68,278)( 69,273)( 70,276)( 71,275)
( 72,274)( 73,281)( 74,284)( 75,283)( 76,282)( 77,285)( 78,288)( 79,287)
( 80,286)( 81,261)( 82,264)( 83,263)( 84,262)( 85,257)( 86,260)( 87,259)
( 88,258)( 89,265)( 90,268)( 91,267)( 92,266)( 93,269)( 94,272)( 95,271)
( 96,270)( 97,197)( 98,200)( 99,199)(100,198)(101,193)(102,196)(103,195)
(104,194)(105,201)(106,204)(107,203)(108,202)(109,205)(110,208)(111,207)
(112,206)(113,229)(114,232)(115,231)(116,230)(117,225)(118,228)(119,227)
(120,226)(121,233)(122,236)(123,235)(124,234)(125,237)(126,240)(127,239)
(128,238)(129,213)(130,216)(131,215)(132,214)(133,209)(134,212)(135,211)
(136,210)(137,217)(138,220)(139,219)(140,218)(141,221)(142,224)(143,223)
(144,222)(289,325)(290,328)(291,327)(292,326)(293,321)(294,324)(295,323)
(296,322)(297,329)(298,332)(299,331)(300,330)(301,333)(302,336)(303,335)
(304,334)(305,309)(306,312)(307,311)(308,310)(314,316)(318,320)(337,421)
(338,424)(339,423)(340,422)(341,417)(342,420)(343,419)(344,418)(345,425)
(346,428)(347,427)(348,426)(349,429)(350,432)(351,431)(352,430)(353,405)
(354,408)(355,407)(356,406)(357,401)(358,404)(359,403)(360,402)(361,409)
(362,412)(363,411)(364,410)(365,413)(366,416)(367,415)(368,414)(369,389)
(370,392)(371,391)(372,390)(373,385)(374,388)(375,387)(376,386)(377,393)
(378,396)(379,395)(380,394)(381,397)(382,400)(383,399)(384,398);
poly := sub<Sym(432)|s0,s1,s2>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2,
s0*s2*s0*s2, s0*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s2*s0*s1*s0*s1*s2*s0*s1*s0*s1*s2*s0*s1*s0*s1*s2*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 >;
References : None.
to this polytope