Part of the Atlas of Small Regular Polytopes

Polytope of Type {12,20,2}

Atlas Canonical Name {12,20,2}*1920b

Overview

Group
SmallGroup(1920,240141)
Rank
4
Schläfli Type
{12,20,2}
Vertices, edges, …
24, 240, 40, 2
Order of s0s1s2s3
60
Order of s0s1s2s3s2s1
2
Also known as
if this polytope has a name.

Special Properties

  • Degenerate
  • Universal
  • Orientable
  • Flat

Quotients maximal quotients in bold

2-fold

4-fold

5-fold

8-fold

10-fold

12-fold

20-fold

24-fold

40-fold

48-fold

60-fold

80-fold

120-fold

Covers minimal covers in bold

None in this atlas.

Representations

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