Polytope of Type {3,6,39}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {3,6,39}*1404
if this polytope has a name.
Group : SmallGroup(1404,122)
Rank : 4
Schlafli Type : {3,6,39}
Number of vertices, edges, etc : 3, 9, 117, 39
Order of s₀s₁s₂s₃ : 39
Order of s₀s₁s₂s₃s₂s₁ : 6
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) :
   3-fold quotients : {3,2,39}*468
   9-fold quotients : {3,2,13}*156
   13-fold quotients : {3,6,3}*108
   39-fold quotients : {3,2,3}*36
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

s0 := (  2,  3)(  5,  6)(  8,  9)( 11, 12)( 14, 15)( 17, 18)( 20, 21)( 23, 24)
( 26, 27)( 29, 30)( 32, 33)( 35, 36)( 38, 39)( 40, 79)( 41, 81)( 42, 80)
( 43, 82)( 44, 84)( 45, 83)( 46, 85)( 47, 87)( 48, 86)( 49, 88)( 50, 90)
( 51, 89)( 52, 91)( 53, 93)( 54, 92)( 55, 94)( 56, 96)( 57, 95)( 58, 97)
( 59, 99)( 60, 98)( 61,100)( 62,102)( 63,101)( 64,103)( 65,105)( 66,104)
( 67,106)( 68,108)( 69,107)( 70,109)( 71,111)( 72,110)( 73,112)( 74,114)
( 75,113)( 76,115)( 77,117)( 78,116);;
s1 := (  1, 40)(  2, 42)(  3, 41)(  4, 43)(  5, 45)(  6, 44)(  7, 46)(  8, 48)
(  9, 47)( 10, 49)( 11, 51)( 12, 50)( 13, 52)( 14, 54)( 15, 53)( 16, 55)
( 17, 57)( 18, 56)( 19, 58)( 20, 60)( 21, 59)( 22, 61)( 23, 63)( 24, 62)
( 25, 64)( 26, 66)( 27, 65)( 28, 67)( 29, 69)( 30, 68)( 31, 70)( 32, 72)
( 33, 71)( 34, 73)( 35, 75)( 36, 74)( 37, 76)( 38, 78)( 39, 77)( 80, 81)
( 83, 84)( 86, 87)( 89, 90)( 92, 93)( 95, 96)( 98, 99)(101,102)(104,105)
(107,108)(110,111)(113,114)(116,117);;
s2 := (  2,  3)(  4, 37)(  5, 39)(  6, 38)(  7, 34)(  8, 36)(  9, 35)( 10, 31)
( 11, 33)( 12, 32)( 13, 28)( 14, 30)( 15, 29)( 16, 25)( 17, 27)( 18, 26)
( 19, 22)( 20, 24)( 21, 23)( 40, 41)( 43, 77)( 44, 76)( 45, 78)( 46, 74)
( 47, 73)( 48, 75)( 49, 71)( 50, 70)( 51, 72)( 52, 68)( 53, 67)( 54, 69)
( 55, 65)( 56, 64)( 57, 66)( 58, 62)( 59, 61)( 60, 63)( 79, 81)( 82,117)
( 83,116)( 84,115)( 85,114)( 86,113)( 87,112)( 88,111)( 89,110)( 90,109)
( 91,108)( 92,107)( 93,106)( 94,105)( 95,104)( 96,103)( 97,102)( 98,101)
( 99,100);;
s3 := (  1,  4)(  2,  6)(  3,  5)(  7, 37)(  8, 39)(  9, 38)( 10, 34)( 11, 36)
( 12, 35)( 13, 31)( 14, 33)( 15, 32)( 16, 28)( 17, 30)( 18, 29)( 19, 25)
( 20, 27)( 21, 26)( 23, 24)( 40, 43)( 41, 45)( 42, 44)( 46, 76)( 47, 78)
( 48, 77)( 49, 73)( 50, 75)( 51, 74)( 52, 70)( 53, 72)( 54, 71)( 55, 67)
( 56, 69)( 57, 68)( 58, 64)( 59, 66)( 60, 65)( 62, 63)( 79, 82)( 80, 84)
( 81, 83)( 85,115)( 86,117)( 87,116)( 88,112)( 89,114)( 90,113)( 91,109)
( 92,111)( 93,110)( 94,106)( 95,108)( 96,107)( 97,103)( 98,105)( 99,104)
(101,102);;
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, 
s2*s0*s1*s2*s1*s2*s0*s1*s2*s1, s3*s1*s2*s1*s2*s3*s1*s2*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 ];;
poly := F / rels;;

Permutation Representation (Magma) :

s0 := Sym(117)!(  2,  3)(  5,  6)(  8,  9)( 11, 12)( 14, 15)( 17, 18)( 20, 21)
( 23, 24)( 26, 27)( 29, 30)( 32, 33)( 35, 36)( 38, 39)( 40, 79)( 41, 81)
( 42, 80)( 43, 82)( 44, 84)( 45, 83)( 46, 85)( 47, 87)( 48, 86)( 49, 88)
( 50, 90)( 51, 89)( 52, 91)( 53, 93)( 54, 92)( 55, 94)( 56, 96)( 57, 95)
( 58, 97)( 59, 99)( 60, 98)( 61,100)( 62,102)( 63,101)( 64,103)( 65,105)
( 66,104)( 67,106)( 68,108)( 69,107)( 70,109)( 71,111)( 72,110)( 73,112)
( 74,114)( 75,113)( 76,115)( 77,117)( 78,116);
s1 := Sym(117)!(  1, 40)(  2, 42)(  3, 41)(  4, 43)(  5, 45)(  6, 44)(  7, 46)
(  8, 48)(  9, 47)( 10, 49)( 11, 51)( 12, 50)( 13, 52)( 14, 54)( 15, 53)
( 16, 55)( 17, 57)( 18, 56)( 19, 58)( 20, 60)( 21, 59)( 22, 61)( 23, 63)
( 24, 62)( 25, 64)( 26, 66)( 27, 65)( 28, 67)( 29, 69)( 30, 68)( 31, 70)
( 32, 72)( 33, 71)( 34, 73)( 35, 75)( 36, 74)( 37, 76)( 38, 78)( 39, 77)
( 80, 81)( 83, 84)( 86, 87)( 89, 90)( 92, 93)( 95, 96)( 98, 99)(101,102)
(104,105)(107,108)(110,111)(113,114)(116,117);
s2 := Sym(117)!(  2,  3)(  4, 37)(  5, 39)(  6, 38)(  7, 34)(  8, 36)(  9, 35)
( 10, 31)( 11, 33)( 12, 32)( 13, 28)( 14, 30)( 15, 29)( 16, 25)( 17, 27)
( 18, 26)( 19, 22)( 20, 24)( 21, 23)( 40, 41)( 43, 77)( 44, 76)( 45, 78)
( 46, 74)( 47, 73)( 48, 75)( 49, 71)( 50, 70)( 51, 72)( 52, 68)( 53, 67)
( 54, 69)( 55, 65)( 56, 64)( 57, 66)( 58, 62)( 59, 61)( 60, 63)( 79, 81)
( 82,117)( 83,116)( 84,115)( 85,114)( 86,113)( 87,112)( 88,111)( 89,110)
( 90,109)( 91,108)( 92,107)( 93,106)( 94,105)( 95,104)( 96,103)( 97,102)
( 98,101)( 99,100);
s3 := Sym(117)!(  1,  4)(  2,  6)(  3,  5)(  7, 37)(  8, 39)(  9, 38)( 10, 34)
( 11, 36)( 12, 35)( 13, 31)( 14, 33)( 15, 32)( 16, 28)( 17, 30)( 18, 29)
( 19, 25)( 20, 27)( 21, 26)( 23, 24)( 40, 43)( 41, 45)( 42, 44)( 46, 76)
( 47, 78)( 48, 77)( 49, 73)( 50, 75)( 51, 74)( 52, 70)( 53, 72)( 54, 71)
( 55, 67)( 56, 69)( 57, 68)( 58, 64)( 59, 66)( 60, 65)( 62, 63)( 79, 82)
( 80, 84)( 81, 83)( 85,115)( 86,117)( 87,116)( 88,112)( 89,114)( 90,113)
( 91,109)( 92,111)( 93,110)( 94,106)( 95,108)( 96,107)( 97,103)( 98,105)
( 99,104)(101,102);
poly := sub<Sym(117)|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, s2*s0*s1*s2*s1*s2*s0*s1*s2*s1, 
s3*s1*s2*s1*s2*s3*s1*s2*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 >;

References : None.
to this polytope