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