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