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