Polytope of Type {4,10,8} with group SmallGroup(640,13837)

Overview

Group: SmallGroup(640,13837)
Rank: 4
Schläfli Type: {4,10,8}
Vertices, edges, …: 4, 20, 40, 8
Order of s₀s₁s₂s₃: 40
Order of s₀s₁s₂s₃s₂s₁: 2
Also known as: {{4,10|2},{10,8|2}}. if this polytope has another name.

Special Properties

Universal
Orientable
Flat

Quotients maximal quotients in bold

2-fold

4-fold

5-fold

{4,2,8}*128

8-fold

{2,10,2}*80

10-fold

16-fold

{2,5,2}*40

20-fold

40-fold

{2,2,2}*16

Covers minimal covers in bold

2-fold

3-fold

Irregular Quotients of which this is a minimal cover

None.

Representations

Permutation Representation (GAP)

s0 := (  1, 81)(  2, 82)(  3, 83)(  4, 84)(  5, 85)(  6, 86)(  7, 87)(  8, 88)(  9, 89)( 10, 90)( 11, 91)( 12, 92)( 13, 93)( 14, 94)( 15, 95)( 16, 96)( 17, 97)( 18, 98)( 19, 99)( 20,100)( 21,101)( 22,102)( 23,103)( 24,104)( 25,105)( 26,106)( 27,107)( 28,108)( 29,109)( 30,110)( 31,111)( 32,112)( 33,113)( 34,114)( 35,115)( 36,116)( 37,117)( 38,118)( 39,119)( 40,120)( 41,121)( 42,122)( 43,123)( 44,124)( 45,125)( 46,126)( 47,127)( 48,128)( 49,129)( 50,130)( 51,131)( 52,132)( 53,133)( 54,134)( 55,135)( 56,136)( 57,137)( 58,138)( 59,139)( 60,140)( 61,141)( 62,142)( 63,143)( 64,144)( 65,145)( 66,146)( 67,147)( 68,148)( 69,149)( 70,150)( 71,151)( 72,152)( 73,153)( 74,154)( 75,155)( 76,156)( 77,157)( 78,158)( 79,159)( 80,160)(161,241)(162,242)(163,243)(164,244)(165,245)(166,246)(167,247)(168,248)(169,249)(170,250)(171,251)(172,252)(173,253)(174,254)(175,255)(176,256)(177,257)(178,258)(179,259)(180,260)(181,261)(182,262)(183,263)(184,264)(185,265)(186,266)(187,267)(188,268)(189,269)(190,270)(191,271)(192,272)(193,273)(194,274)(195,275)(196,276)(197,277)(198,278)(199,279)(200,280)(201,281)(202,282)(203,283)(204,284)(205,285)(206,286)(207,287)(208,288)(209,289)(210,290)(211,291)(212,292)(213,293)(214,294)(215,295)(216,296)(217,297)(218,298)(219,299)(220,300)(221,301)(222,302)(223,303)(224,304)(225,305)(226,306)(227,307)(228,308)(229,309)(230,310)(231,311)(232,312)(233,313)(234,314)(235,315)(236,316)(237,317)(238,318)(239,319)(240,320);;
s1 := (  1, 61)(  2, 65)(  3, 64)(  4, 63)(  5, 62)(  6, 66)(  7, 70)(  8, 69)(  9, 68)( 10, 67)( 11, 71)( 12, 75)( 13, 74)( 14, 73)( 15, 72)( 16, 76)( 17, 80)( 18, 79)( 19, 78)( 20, 77)( 21, 46)( 22, 50)( 23, 49)( 24, 48)( 25, 47)( 26, 41)( 27, 45)( 28, 44)( 29, 43)( 30, 42)( 31, 56)( 32, 60)( 33, 59)( 34, 58)( 35, 57)( 36, 51)( 37, 55)( 38, 54)( 39, 53)( 40, 52)( 81,151)( 82,155)( 83,154)( 84,153)( 85,152)( 86,156)( 87,160)( 88,159)( 89,158)( 90,157)( 91,141)( 92,145)( 93,144)( 94,143)( 95,142)( 96,146)( 97,150)( 98,149)( 99,148)(100,147)(101,136)(102,140)(103,139)(104,138)(105,137)(106,131)(107,135)(108,134)(109,133)(110,132)(111,126)(112,130)(113,129)(114,128)(115,127)(116,121)(117,125)(118,124)(119,123)(120,122)(161,201)(162,205)(163,204)(164,203)(165,202)(166,206)(167,210)(168,209)(169,208)(170,207)(171,211)(172,215)(173,214)(174,213)(175,212)(176,216)(177,220)(178,219)(179,218)(180,217)(181,221)(182,225)(183,224)(184,223)(185,222)(186,226)(187,230)(188,229)(189,228)(190,227)(191,231)(192,235)(193,234)(194,233)(195,232)(196,236)(197,240)(198,239)(199,238)(200,237)(241,291)(242,295)(243,294)(244,293)(245,292)(246,296)(247,300)(248,299)(249,298)(250,297)(251,281)(252,285)(253,284)(254,283)(255,282)(256,286)(257,290)(258,289)(259,288)(260,287)(261,311)(262,315)(263,314)(264,313)(265,312)(266,316)(267,320)(268,319)(269,318)(270,317)(271,301)(272,305)(273,304)(274,303)(275,302)(276,306)(277,310)(278,309)(279,308)(280,307);;
s2 := (  1,162)(  2,161)(  3,165)(  4,164)(  5,163)(  6,167)(  7,166)(  8,170)(  9,169)( 10,168)( 11,172)( 12,171)( 13,175)( 14,174)( 15,173)( 16,177)( 17,176)( 18,180)( 19,179)( 20,178)( 21,187)( 22,186)( 23,190)( 24,189)( 25,188)( 26,182)( 27,181)( 28,185)( 29,184)( 30,183)( 31,197)( 32,196)( 33,200)( 34,199)( 35,198)( 36,192)( 37,191)( 38,195)( 39,194)( 40,193)( 41,222)( 42,221)( 43,225)( 44,224)( 45,223)( 46,227)( 47,226)( 48,230)( 49,229)( 50,228)( 51,232)( 52,231)( 53,235)( 54,234)( 55,233)( 56,237)( 57,236)( 58,240)( 59,239)( 60,238)( 61,202)( 62,201)( 63,205)( 64,204)( 65,203)( 66,207)( 67,206)( 68,210)( 69,209)( 70,208)( 71,212)( 72,211)( 73,215)( 74,214)( 75,213)( 76,217)( 77,216)( 78,220)( 79,219)( 80,218)( 81,242)( 82,241)( 83,245)( 84,244)( 85,243)( 86,247)( 87,246)( 88,250)( 89,249)( 90,248)( 91,252)( 92,251)( 93,255)( 94,254)( 95,253)( 96,257)( 97,256)( 98,260)( 99,259)(100,258)(101,267)(102,266)(103,270)(104,269)(105,268)(106,262)(107,261)(108,265)(109,264)(110,263)(111,277)(112,276)(113,280)(114,279)(115,278)(116,272)(117,271)(118,275)(119,274)(120,273)(121,302)(122,301)(123,305)(124,304)(125,303)(126,307)(127,306)(128,310)(129,309)(130,308)(131,312)(132,311)(133,315)(134,314)(135,313)(136,317)(137,316)(138,320)(139,319)(140,318)(141,282)(142,281)(143,285)(144,284)(145,283)(146,287)(147,286)(148,290)(149,289)(150,288)(151,292)(152,291)(153,295)(154,294)(155,293)(156,297)(157,296)(158,300)(159,299)(160,298);;
s3 := (  1, 41)(  2, 42)(  3, 43)(  4, 44)(  5, 45)(  6, 46)(  7, 47)(  8, 48)(  9, 49)( 10, 50)( 11, 51)( 12, 52)( 13, 53)( 14, 54)( 15, 55)( 16, 56)( 17, 57)( 18, 58)( 19, 59)( 20, 60)( 21, 66)( 22, 67)( 23, 68)( 24, 69)( 25, 70)( 26, 61)( 27, 62)( 28, 63)( 29, 64)( 30, 65)( 31, 76)( 32, 77)( 33, 78)( 34, 79)( 35, 80)( 36, 71)( 37, 72)( 38, 73)( 39, 74)( 40, 75)( 81,121)( 82,122)( 83,123)( 84,124)( 85,125)( 86,126)( 87,127)( 88,128)( 89,129)( 90,130)( 91,131)( 92,132)( 93,133)( 94,134)( 95,135)( 96,136)( 97,137)( 98,138)( 99,139)(100,140)(101,146)(102,147)(103,148)(104,149)(105,150)(106,141)(107,142)(108,143)(109,144)(110,145)(111,156)(112,157)(113,158)(114,159)(115,160)(116,151)(117,152)(118,153)(119,154)(120,155)(161,201)(162,202)(163,203)(164,204)(165,205)(166,206)(167,207)(168,208)(169,209)(170,210)(171,211)(172,212)(173,213)(174,214)(175,215)(176,216)(177,217)(178,218)(179,219)(180,220)(181,226)(182,227)(183,228)(184,229)(185,230)(186,221)(187,222)(188,223)(189,224)(190,225)(191,236)(192,237)(193,238)(194,239)(195,240)(196,231)(197,232)(198,233)(199,234)(200,235)(241,281)(242,282)(243,283)(244,284)(245,285)(246,286)(247,287)(248,288)(249,289)(250,290)(251,291)(252,292)(253,293)(254,294)(255,295)(256,296)(257,297)(258,298)(259,299)(260,300)(261,306)(262,307)(263,308)(264,309)(265,310)(266,301)(267,302)(268,303)(269,304)(270,305)(271,316)(272,317)(273,318)(274,319)(275,320)(276,311)(277,312)(278,313)(279,314)(280,315);;
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, s0*s1*s0*s1*s0*s1*s0*s1, 
s0*s1*s2*s1*s0*s1*s2*s1, s1*s2*s3*s2*s1*s2*s3*s2, 
s2*s3*s2*s3*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 ];;
poly := F / rels;;

Permutation Representation (Magma)

s0 := Sym(320)!(  1, 81)(  2, 82)(  3, 83)(  4, 84)(  5, 85)(  6, 86)(  7, 87)(  8, 88)(  9, 89)( 10, 90)( 11, 91)( 12, 92)( 13, 93)( 14, 94)( 15, 95)( 16, 96)( 17, 97)( 18, 98)( 19, 99)( 20,100)( 21,101)( 22,102)( 23,103)( 24,104)( 25,105)( 26,106)( 27,107)( 28,108)( 29,109)( 30,110)( 31,111)( 32,112)( 33,113)( 34,114)( 35,115)( 36,116)( 37,117)( 38,118)( 39,119)( 40,120)( 41,121)( 42,122)( 43,123)( 44,124)( 45,125)( 46,126)( 47,127)( 48,128)( 49,129)( 50,130)( 51,131)( 52,132)( 53,133)( 54,134)( 55,135)( 56,136)( 57,137)( 58,138)( 59,139)( 60,140)( 61,141)( 62,142)( 63,143)( 64,144)( 65,145)( 66,146)( 67,147)( 68,148)( 69,149)( 70,150)( 71,151)( 72,152)( 73,153)( 74,154)( 75,155)( 76,156)( 77,157)( 78,158)( 79,159)( 80,160)(161,241)(162,242)(163,243)(164,244)(165,245)(166,246)(167,247)(168,248)(169,249)(170,250)(171,251)(172,252)(173,253)(174,254)(175,255)(176,256)(177,257)(178,258)(179,259)(180,260)(181,261)(182,262)(183,263)(184,264)(185,265)(186,266)(187,267)(188,268)(189,269)(190,270)(191,271)(192,272)(193,273)(194,274)(195,275)(196,276)(197,277)(198,278)(199,279)(200,280)(201,281)(202,282)(203,283)(204,284)(205,285)(206,286)(207,287)(208,288)(209,289)(210,290)(211,291)(212,292)(213,293)(214,294)(215,295)(216,296)(217,297)(218,298)(219,299)(220,300)(221,301)(222,302)(223,303)(224,304)(225,305)(226,306)(227,307)(228,308)(229,309)(230,310)(231,311)(232,312)(233,313)(234,314)(235,315)(236,316)(237,317)(238,318)(239,319)(240,320);
s1 := Sym(320)!(  1, 61)(  2, 65)(  3, 64)(  4, 63)(  5, 62)(  6, 66)(  7, 70)(  8, 69)(  9, 68)( 10, 67)( 11, 71)( 12, 75)( 13, 74)( 14, 73)( 15, 72)( 16, 76)( 17, 80)( 18, 79)( 19, 78)( 20, 77)( 21, 46)( 22, 50)( 23, 49)( 24, 48)( 25, 47)( 26, 41)( 27, 45)( 28, 44)( 29, 43)( 30, 42)( 31, 56)( 32, 60)( 33, 59)( 34, 58)( 35, 57)( 36, 51)( 37, 55)( 38, 54)( 39, 53)( 40, 52)( 81,151)( 82,155)( 83,154)( 84,153)( 85,152)( 86,156)( 87,160)( 88,159)( 89,158)( 90,157)( 91,141)( 92,145)( 93,144)( 94,143)( 95,142)( 96,146)( 97,150)( 98,149)( 99,148)(100,147)(101,136)(102,140)(103,139)(104,138)(105,137)(106,131)(107,135)(108,134)(109,133)(110,132)(111,126)(112,130)(113,129)(114,128)(115,127)(116,121)(117,125)(118,124)(119,123)(120,122)(161,201)(162,205)(163,204)(164,203)(165,202)(166,206)(167,210)(168,209)(169,208)(170,207)(171,211)(172,215)(173,214)(174,213)(175,212)(176,216)(177,220)(178,219)(179,218)(180,217)(181,221)(182,225)(183,224)(184,223)(185,222)(186,226)(187,230)(188,229)(189,228)(190,227)(191,231)(192,235)(193,234)(194,233)(195,232)(196,236)(197,240)(198,239)(199,238)(200,237)(241,291)(242,295)(243,294)(244,293)(245,292)(246,296)(247,300)(248,299)(249,298)(250,297)(251,281)(252,285)(253,284)(254,283)(255,282)(256,286)(257,290)(258,289)(259,288)(260,287)(261,311)(262,315)(263,314)(264,313)(265,312)(266,316)(267,320)(268,319)(269,318)(270,317)(271,301)(272,305)(273,304)(274,303)(275,302)(276,306)(277,310)(278,309)(279,308)(280,307);
s2 := Sym(320)!(  1,162)(  2,161)(  3,165)(  4,164)(  5,163)(  6,167)(  7,166)(  8,170)(  9,169)( 10,168)( 11,172)( 12,171)( 13,175)( 14,174)( 15,173)( 16,177)( 17,176)( 18,180)( 19,179)( 20,178)( 21,187)( 22,186)( 23,190)( 24,189)( 25,188)( 26,182)( 27,181)( 28,185)( 29,184)( 30,183)( 31,197)( 32,196)( 33,200)( 34,199)( 35,198)( 36,192)( 37,191)( 38,195)( 39,194)( 40,193)( 41,222)( 42,221)( 43,225)( 44,224)( 45,223)( 46,227)( 47,226)( 48,230)( 49,229)( 50,228)( 51,232)( 52,231)( 53,235)( 54,234)( 55,233)( 56,237)( 57,236)( 58,240)( 59,239)( 60,238)( 61,202)( 62,201)( 63,205)( 64,204)( 65,203)( 66,207)( 67,206)( 68,210)( 69,209)( 70,208)( 71,212)( 72,211)( 73,215)( 74,214)( 75,213)( 76,217)( 77,216)( 78,220)( 79,219)( 80,218)( 81,242)( 82,241)( 83,245)( 84,244)( 85,243)( 86,247)( 87,246)( 88,250)( 89,249)( 90,248)( 91,252)( 92,251)( 93,255)( 94,254)( 95,253)( 96,257)( 97,256)( 98,260)( 99,259)(100,258)(101,267)(102,266)(103,270)(104,269)(105,268)(106,262)(107,261)(108,265)(109,264)(110,263)(111,277)(112,276)(113,280)(114,279)(115,278)(116,272)(117,271)(118,275)(119,274)(120,273)(121,302)(122,301)(123,305)(124,304)(125,303)(126,307)(127,306)(128,310)(129,309)(130,308)(131,312)(132,311)(133,315)(134,314)(135,313)(136,317)(137,316)(138,320)(139,319)(140,318)(141,282)(142,281)(143,285)(144,284)(145,283)(146,287)(147,286)(148,290)(149,289)(150,288)(151,292)(152,291)(153,295)(154,294)(155,293)(156,297)(157,296)(158,300)(159,299)(160,298);
s3 := Sym(320)!(  1, 41)(  2, 42)(  3, 43)(  4, 44)(  5, 45)(  6, 46)(  7, 47)(  8, 48)(  9, 49)( 10, 50)( 11, 51)( 12, 52)( 13, 53)( 14, 54)( 15, 55)( 16, 56)( 17, 57)( 18, 58)( 19, 59)( 20, 60)( 21, 66)( 22, 67)( 23, 68)( 24, 69)( 25, 70)( 26, 61)( 27, 62)( 28, 63)( 29, 64)( 30, 65)( 31, 76)( 32, 77)( 33, 78)( 34, 79)( 35, 80)( 36, 71)( 37, 72)( 38, 73)( 39, 74)( 40, 75)( 81,121)( 82,122)( 83,123)( 84,124)( 85,125)( 86,126)( 87,127)( 88,128)( 89,129)( 90,130)( 91,131)( 92,132)( 93,133)( 94,134)( 95,135)( 96,136)( 97,137)( 98,138)( 99,139)(100,140)(101,146)(102,147)(103,148)(104,149)(105,150)(106,141)(107,142)(108,143)(109,144)(110,145)(111,156)(112,157)(113,158)(114,159)(115,160)(116,151)(117,152)(118,153)(119,154)(120,155)(161,201)(162,202)(163,203)(164,204)(165,205)(166,206)(167,207)(168,208)(169,209)(170,210)(171,211)(172,212)(173,213)(174,214)(175,215)(176,216)(177,217)(178,218)(179,219)(180,220)(181,226)(182,227)(183,228)(184,229)(185,230)(186,221)(187,222)(188,223)(189,224)(190,225)(191,236)(192,237)(193,238)(194,239)(195,240)(196,231)(197,232)(198,233)(199,234)(200,235)(241,281)(242,282)(243,283)(244,284)(245,285)(246,286)(247,287)(248,288)(249,289)(250,290)(251,291)(252,292)(253,293)(254,294)(255,295)(256,296)(257,297)(258,298)(259,299)(260,300)(261,306)(262,307)(263,308)(264,309)(265,310)(266,301)(267,302)(268,303)(269,304)(270,305)(271,316)(272,317)(273,318)(274,319)(275,320)(276,311)(277,312)(278,313)(279,314)(280,315);
poly := sub<Sym(320)|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, 
s0*s1*s0*s1*s0*s1*s0*s1, s0*s1*s2*s1*s0*s1*s2*s1, 
s1*s2*s3*s2*s1*s2*s3*s2, s2*s3*s2*s3*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 >;

References