Polytope of Type {2,4,42}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,4,42}*672b
if this polytope has a name.
Group : SmallGroup(672,1263)
Rank : 4
Schlafli Type : {2,4,42}
Number of vertices, edges, etc : 2, 4, 84, 42
Order of s₀s₁s₂s₃ : 42
Order of s₀s₁s₂s₃s₂s₁ : 2
Special Properties :
   Degenerate
   Universal
   Non-Orientable
   Flat
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   {2,4,42,2} of size 1344
Vertex Figure Of :
   {2,2,4,42} of size 1344
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {2,4,21}*336
   7-fold quotients : {2,4,6}*96c
   14-fold quotients : {2,4,3}*48
Covers (Minimal Covers in Boldface) :
   2-fold covers : {2,4,84}*1344b, {2,4,84}*1344c, {2,4,42}*1344
Permutation Representation (GAP) :

s0 := (1,2);;
s1 := (  3,  5)(  4,  6)(  7,  9)(  8, 10)( 11, 13)( 12, 14)( 15, 17)( 16, 18)
( 19, 21)( 20, 22)( 23, 25)( 24, 26)( 27, 29)( 28, 30)( 31, 33)( 32, 34)
( 35, 37)( 36, 38)( 39, 41)( 40, 42)( 43, 45)( 44, 46)( 47, 49)( 48, 50)
( 51, 53)( 52, 54)( 55, 57)( 56, 58)( 59, 61)( 60, 62)( 63, 65)( 64, 66)
( 67, 69)( 68, 70)( 71, 73)( 72, 74)( 75, 77)( 76, 78)( 79, 81)( 80, 82)
( 83, 85)( 84, 86)( 87, 89)( 88, 90)( 91, 93)( 92, 94)( 95, 97)( 96, 98)
( 99,101)(100,102)(103,105)(104,106)(107,109)(108,110)(111,113)(112,114)
(115,117)(116,118)(119,121)(120,122)(123,125)(124,126)(127,129)(128,130)
(131,133)(132,134)(135,137)(136,138)(139,141)(140,142)(143,145)(144,146)
(147,149)(148,150)(151,153)(152,154)(155,157)(156,158)(159,161)(160,162)
(163,165)(164,166)(167,169)(168,170);;
s2 := (  4,  5)(  7, 27)(  8, 29)(  9, 28)( 10, 30)( 11, 23)( 12, 25)( 13, 24)
( 14, 26)( 15, 19)( 16, 21)( 17, 20)( 18, 22)( 31, 59)( 32, 61)( 33, 60)
( 34, 62)( 35, 83)( 36, 85)( 37, 84)( 38, 86)( 39, 79)( 40, 81)( 41, 80)
( 42, 82)( 43, 75)( 44, 77)( 45, 76)( 46, 78)( 47, 71)( 48, 73)( 49, 72)
( 50, 74)( 51, 67)( 52, 69)( 53, 68)( 54, 70)( 55, 63)( 56, 65)( 57, 64)
( 58, 66)( 88, 89)( 91,111)( 92,113)( 93,112)( 94,114)( 95,107)( 96,109)
( 97,108)( 98,110)( 99,103)(100,105)(101,104)(102,106)(115,143)(116,145)
(117,144)(118,146)(119,167)(120,169)(121,168)(122,170)(123,163)(124,165)
(125,164)(126,166)(127,159)(128,161)(129,160)(130,162)(131,155)(132,157)
(133,156)(134,158)(135,151)(136,153)(137,152)(138,154)(139,147)(140,149)
(141,148)(142,150);;
s3 := (  3,147)(  4,150)(  5,149)(  6,148)(  7,143)(  8,146)(  9,145)( 10,144)
( 11,167)( 12,170)( 13,169)( 14,168)( 15,163)( 16,166)( 17,165)( 18,164)
( 19,159)( 20,162)( 21,161)( 22,160)( 23,155)( 24,158)( 25,157)( 26,156)
( 27,151)( 28,154)( 29,153)( 30,152)( 31,119)( 32,122)( 33,121)( 34,120)
( 35,115)( 36,118)( 37,117)( 38,116)( 39,139)( 40,142)( 41,141)( 42,140)
( 43,135)( 44,138)( 45,137)( 46,136)( 47,131)( 48,134)( 49,133)( 50,132)
( 51,127)( 52,130)( 53,129)( 54,128)( 55,123)( 56,126)( 57,125)( 58,124)
( 59, 91)( 60, 94)( 61, 93)( 62, 92)( 63, 87)( 64, 90)( 65, 89)( 66, 88)
( 67,111)( 68,114)( 69,113)( 70,112)( 71,107)( 72,110)( 73,109)( 74,108)
( 75,103)( 76,106)( 77,105)( 78,104)( 79, 99)( 80,102)( 81,101)( 82,100)
( 83, 95)( 84, 98)( 85, 97)( 86, 96);;
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*s1*s2*s1*s2*s1*s2, s1*s2*s3*s2*s1*s2*s3*s1*s2, 
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*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(170)!(1,2);
s1 := Sym(170)!(  3,  5)(  4,  6)(  7,  9)(  8, 10)( 11, 13)( 12, 14)( 15, 17)
( 16, 18)( 19, 21)( 20, 22)( 23, 25)( 24, 26)( 27, 29)( 28, 30)( 31, 33)
( 32, 34)( 35, 37)( 36, 38)( 39, 41)( 40, 42)( 43, 45)( 44, 46)( 47, 49)
( 48, 50)( 51, 53)( 52, 54)( 55, 57)( 56, 58)( 59, 61)( 60, 62)( 63, 65)
( 64, 66)( 67, 69)( 68, 70)( 71, 73)( 72, 74)( 75, 77)( 76, 78)( 79, 81)
( 80, 82)( 83, 85)( 84, 86)( 87, 89)( 88, 90)( 91, 93)( 92, 94)( 95, 97)
( 96, 98)( 99,101)(100,102)(103,105)(104,106)(107,109)(108,110)(111,113)
(112,114)(115,117)(116,118)(119,121)(120,122)(123,125)(124,126)(127,129)
(128,130)(131,133)(132,134)(135,137)(136,138)(139,141)(140,142)(143,145)
(144,146)(147,149)(148,150)(151,153)(152,154)(155,157)(156,158)(159,161)
(160,162)(163,165)(164,166)(167,169)(168,170);
s2 := Sym(170)!(  4,  5)(  7, 27)(  8, 29)(  9, 28)( 10, 30)( 11, 23)( 12, 25)
( 13, 24)( 14, 26)( 15, 19)( 16, 21)( 17, 20)( 18, 22)( 31, 59)( 32, 61)
( 33, 60)( 34, 62)( 35, 83)( 36, 85)( 37, 84)( 38, 86)( 39, 79)( 40, 81)
( 41, 80)( 42, 82)( 43, 75)( 44, 77)( 45, 76)( 46, 78)( 47, 71)( 48, 73)
( 49, 72)( 50, 74)( 51, 67)( 52, 69)( 53, 68)( 54, 70)( 55, 63)( 56, 65)
( 57, 64)( 58, 66)( 88, 89)( 91,111)( 92,113)( 93,112)( 94,114)( 95,107)
( 96,109)( 97,108)( 98,110)( 99,103)(100,105)(101,104)(102,106)(115,143)
(116,145)(117,144)(118,146)(119,167)(120,169)(121,168)(122,170)(123,163)
(124,165)(125,164)(126,166)(127,159)(128,161)(129,160)(130,162)(131,155)
(132,157)(133,156)(134,158)(135,151)(136,153)(137,152)(138,154)(139,147)
(140,149)(141,148)(142,150);
s3 := Sym(170)!(  3,147)(  4,150)(  5,149)(  6,148)(  7,143)(  8,146)(  9,145)
( 10,144)( 11,167)( 12,170)( 13,169)( 14,168)( 15,163)( 16,166)( 17,165)
( 18,164)( 19,159)( 20,162)( 21,161)( 22,160)( 23,155)( 24,158)( 25,157)
( 26,156)( 27,151)( 28,154)( 29,153)( 30,152)( 31,119)( 32,122)( 33,121)
( 34,120)( 35,115)( 36,118)( 37,117)( 38,116)( 39,139)( 40,142)( 41,141)
( 42,140)( 43,135)( 44,138)( 45,137)( 46,136)( 47,131)( 48,134)( 49,133)
( 50,132)( 51,127)( 52,130)( 53,129)( 54,128)( 55,123)( 56,126)( 57,125)
( 58,124)( 59, 91)( 60, 94)( 61, 93)( 62, 92)( 63, 87)( 64, 90)( 65, 89)
( 66, 88)( 67,111)( 68,114)( 69,113)( 70,112)( 71,107)( 72,110)( 73,109)
( 74,108)( 75,103)( 76,106)( 77,105)( 78,104)( 79, 99)( 80,102)( 81,101)
( 82,100)( 83, 95)( 84, 98)( 85, 97)( 86, 96);
poly := sub<Sym(170)|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*s1*s2*s1*s2*s1*s2, 
s1*s2*s3*s2*s1*s2*s3*s1*s2, s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 >;

to this polytope