Polytope of Type {12,12}

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