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