Polytope of Type {4,6,6}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {4,6,6}*864d
if this polytope has a name.
Group : SmallGroup(864,4000)
Rank : 4
Schlafli Type : {4,6,6}
Number of vertices, edges, etc : 4, 36, 54, 18
Order of s0s1s2s3 : 6
Order of s0s1s2s3s2s1 : 2
Special Properties :
Universal
Non-Orientable
Flat
Related Polytopes :
Facet
Vertex Figure
Dual
Facet Of :
{4,6,6,2} of size 1728
Vertex Figure Of :
{2,4,6,6} of size 1728
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {4,3,6}*432
3-fold quotients : {4,6,6}*288e
6-fold quotients : {4,3,6}*144
9-fold quotients : {4,6,2}*96c
18-fold quotients : {4,3,2}*48
Covers (Minimal Covers in Boldface) :
2-fold covers : {4,12,6}*1728d, {4,12,6}*1728f, {4,6,12}*1728e, {4,6,6}*1728a
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);;
s1 := ( 2, 3)( 6, 7)( 10, 11)( 13, 25)( 14, 27)( 15, 26)( 16, 28)( 17, 29)
( 18, 31)( 19, 30)( 20, 32)( 21, 33)( 22, 35)( 23, 34)( 24, 36)( 37, 73)
( 38, 75)( 39, 74)( 40, 76)( 41, 77)( 42, 79)( 43, 78)( 44, 80)( 45, 81)
( 46, 83)( 47, 82)( 48, 84)( 49, 97)( 50, 99)( 51, 98)( 52,100)( 53,101)
( 54,103)( 55,102)( 56,104)( 57,105)( 58,107)( 59,106)( 60,108)( 61, 85)
( 62, 87)( 63, 86)( 64, 88)( 65, 89)( 66, 91)( 67, 90)( 68, 92)( 69, 93)
( 70, 95)( 71, 94)( 72, 96)(110,111)(114,115)(118,119)(121,133)(122,135)
(123,134)(124,136)(125,137)(126,139)(127,138)(128,140)(129,141)(130,143)
(131,142)(132,144)(145,181)(146,183)(147,182)(148,184)(149,185)(150,187)
(151,186)(152,188)(153,189)(154,191)(155,190)(156,192)(157,205)(158,207)
(159,206)(160,208)(161,209)(162,211)(163,210)(164,212)(165,213)(166,215)
(167,214)(168,216)(169,193)(170,195)(171,194)(172,196)(173,197)(174,199)
(175,198)(176,200)(177,201)(178,203)(179,202)(180,204);;
s2 := ( 1,197)( 2,200)( 3,199)( 4,198)( 5,201)( 6,204)( 7,203)( 8,202)
( 9,193)( 10,196)( 11,195)( 12,194)( 13,189)( 14,192)( 15,191)( 16,190)
( 17,181)( 18,184)( 19,183)( 20,182)( 21,185)( 22,188)( 23,187)( 24,186)
( 25,205)( 26,208)( 27,207)( 28,206)( 29,209)( 30,212)( 31,211)( 32,210)
( 33,213)( 34,216)( 35,215)( 36,214)( 37,161)( 38,164)( 39,163)( 40,162)
( 41,165)( 42,168)( 43,167)( 44,166)( 45,157)( 46,160)( 47,159)( 48,158)
( 49,153)( 50,156)( 51,155)( 52,154)( 53,145)( 54,148)( 55,147)( 56,146)
( 57,149)( 58,152)( 59,151)( 60,150)( 61,169)( 62,172)( 63,171)( 64,170)
( 65,173)( 66,176)( 67,175)( 68,174)( 69,177)( 70,180)( 71,179)( 72,178)
( 73,125)( 74,128)( 75,127)( 76,126)( 77,129)( 78,132)( 79,131)( 80,130)
( 81,121)( 82,124)( 83,123)( 84,122)( 85,117)( 86,120)( 87,119)( 88,118)
( 89,109)( 90,112)( 91,111)( 92,110)( 93,113)( 94,116)( 95,115)( 96,114)
( 97,133)( 98,136)( 99,135)(100,134)(101,137)(102,140)(103,139)(104,138)
(105,141)(106,144)(107,143)(108,142);;
s3 := ( 5, 9)( 6, 10)( 7, 11)( 8, 12)( 13, 25)( 14, 26)( 15, 27)( 16, 28)
( 17, 33)( 18, 34)( 19, 35)( 20, 36)( 21, 29)( 22, 30)( 23, 31)( 24, 32)
( 41, 45)( 42, 46)( 43, 47)( 44, 48)( 49, 61)( 50, 62)( 51, 63)( 52, 64)
( 53, 69)( 54, 70)( 55, 71)( 56, 72)( 57, 65)( 58, 66)( 59, 67)( 60, 68)
( 77, 81)( 78, 82)( 79, 83)( 80, 84)( 85, 97)( 86, 98)( 87, 99)( 88,100)
( 89,105)( 90,106)( 91,107)( 92,108)( 93,101)( 94,102)( 95,103)( 96,104)
(113,117)(114,118)(115,119)(116,120)(121,133)(122,134)(123,135)(124,136)
(125,141)(126,142)(127,143)(128,144)(129,137)(130,138)(131,139)(132,140)
(149,153)(150,154)(151,155)(152,156)(157,169)(158,170)(159,171)(160,172)
(161,177)(162,178)(163,179)(164,180)(165,173)(166,174)(167,175)(168,176)
(185,189)(186,190)(187,191)(188,192)(193,205)(194,206)(195,207)(196,208)
(197,213)(198,214)(199,215)(200,216)(201,209)(202,210)(203,211)(204,212);;
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,
s0*s1*s2*s1*s0*s1*s2*s0*s1, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s1*s2*s3*s2*s1*s2*s1*s2*s3*s2*s1*s2,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3,
s3*s1*s2*s3*s1*s2*s3*s1*s2*s3*s1*s2*s3*s1*s2*s3*s1*s2 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(216)!( 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);
s1 := Sym(216)!( 2, 3)( 6, 7)( 10, 11)( 13, 25)( 14, 27)( 15, 26)( 16, 28)
( 17, 29)( 18, 31)( 19, 30)( 20, 32)( 21, 33)( 22, 35)( 23, 34)( 24, 36)
( 37, 73)( 38, 75)( 39, 74)( 40, 76)( 41, 77)( 42, 79)( 43, 78)( 44, 80)
( 45, 81)( 46, 83)( 47, 82)( 48, 84)( 49, 97)( 50, 99)( 51, 98)( 52,100)
( 53,101)( 54,103)( 55,102)( 56,104)( 57,105)( 58,107)( 59,106)( 60,108)
( 61, 85)( 62, 87)( 63, 86)( 64, 88)( 65, 89)( 66, 91)( 67, 90)( 68, 92)
( 69, 93)( 70, 95)( 71, 94)( 72, 96)(110,111)(114,115)(118,119)(121,133)
(122,135)(123,134)(124,136)(125,137)(126,139)(127,138)(128,140)(129,141)
(130,143)(131,142)(132,144)(145,181)(146,183)(147,182)(148,184)(149,185)
(150,187)(151,186)(152,188)(153,189)(154,191)(155,190)(156,192)(157,205)
(158,207)(159,206)(160,208)(161,209)(162,211)(163,210)(164,212)(165,213)
(166,215)(167,214)(168,216)(169,193)(170,195)(171,194)(172,196)(173,197)
(174,199)(175,198)(176,200)(177,201)(178,203)(179,202)(180,204);
s2 := Sym(216)!( 1,197)( 2,200)( 3,199)( 4,198)( 5,201)( 6,204)( 7,203)
( 8,202)( 9,193)( 10,196)( 11,195)( 12,194)( 13,189)( 14,192)( 15,191)
( 16,190)( 17,181)( 18,184)( 19,183)( 20,182)( 21,185)( 22,188)( 23,187)
( 24,186)( 25,205)( 26,208)( 27,207)( 28,206)( 29,209)( 30,212)( 31,211)
( 32,210)( 33,213)( 34,216)( 35,215)( 36,214)( 37,161)( 38,164)( 39,163)
( 40,162)( 41,165)( 42,168)( 43,167)( 44,166)( 45,157)( 46,160)( 47,159)
( 48,158)( 49,153)( 50,156)( 51,155)( 52,154)( 53,145)( 54,148)( 55,147)
( 56,146)( 57,149)( 58,152)( 59,151)( 60,150)( 61,169)( 62,172)( 63,171)
( 64,170)( 65,173)( 66,176)( 67,175)( 68,174)( 69,177)( 70,180)( 71,179)
( 72,178)( 73,125)( 74,128)( 75,127)( 76,126)( 77,129)( 78,132)( 79,131)
( 80,130)( 81,121)( 82,124)( 83,123)( 84,122)( 85,117)( 86,120)( 87,119)
( 88,118)( 89,109)( 90,112)( 91,111)( 92,110)( 93,113)( 94,116)( 95,115)
( 96,114)( 97,133)( 98,136)( 99,135)(100,134)(101,137)(102,140)(103,139)
(104,138)(105,141)(106,144)(107,143)(108,142);
s3 := Sym(216)!( 5, 9)( 6, 10)( 7, 11)( 8, 12)( 13, 25)( 14, 26)( 15, 27)
( 16, 28)( 17, 33)( 18, 34)( 19, 35)( 20, 36)( 21, 29)( 22, 30)( 23, 31)
( 24, 32)( 41, 45)( 42, 46)( 43, 47)( 44, 48)( 49, 61)( 50, 62)( 51, 63)
( 52, 64)( 53, 69)( 54, 70)( 55, 71)( 56, 72)( 57, 65)( 58, 66)( 59, 67)
( 60, 68)( 77, 81)( 78, 82)( 79, 83)( 80, 84)( 85, 97)( 86, 98)( 87, 99)
( 88,100)( 89,105)( 90,106)( 91,107)( 92,108)( 93,101)( 94,102)( 95,103)
( 96,104)(113,117)(114,118)(115,119)(116,120)(121,133)(122,134)(123,135)
(124,136)(125,141)(126,142)(127,143)(128,144)(129,137)(130,138)(131,139)
(132,140)(149,153)(150,154)(151,155)(152,156)(157,169)(158,170)(159,171)
(160,172)(161,177)(162,178)(163,179)(164,180)(165,173)(166,174)(167,175)
(168,176)(185,189)(186,190)(187,191)(188,192)(193,205)(194,206)(195,207)
(196,208)(197,213)(198,214)(199,215)(200,216)(201,209)(202,210)(203,211)
(204,212);
poly := sub<Sym(216)|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, s0*s1*s2*s1*s0*s1*s2*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s1*s2*s3*s2*s1*s2*s1*s2*s3*s2*s1*s2,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3,
s3*s1*s2*s3*s1*s2*s3*s1*s2*s3*s1*s2*s3*s1*s2*s3*s1*s2 >;
References : None.
to this polytope