Polytope of Type {6,54}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {6,54}*648b
if this polytope has a name.
Group : SmallGroup(648,298)
Rank : 3
Schlafli Type : {6,54}
Number of vertices, edges, etc : 6, 162, 54
Order of s0s1s2 : 54
Order of s0s1s2s1 : 6
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
   Flat
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   {6,54,2} of size 1296
Vertex Figure Of :
   {2,6,54} of size 1296
   {3,6,54} of size 1944
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {6,27}*324
   3-fold quotients : {2,54}*216, {6,18}*216b
   6-fold quotients : {2,27}*108, {6,9}*108
   9-fold quotients : {2,18}*72, {6,6}*72b
   18-fold quotients : {2,9}*36, {6,3}*36
   27-fold quotients : {2,6}*24
   54-fold quotients : {2,3}*12
   81-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   2-fold covers : {6,108}*1296b, {12,54}*1296b
   3-fold covers : {18,54}*1944b, {6,54}*1944a, {6,162}*1944b, {6,54}*1944g
Permutation Representation (GAP) :
s0 := ( 10, 19)( 11, 20)( 12, 21)( 13, 22)( 14, 23)( 15, 24)( 16, 25)( 17, 26)
( 18, 27)( 37, 46)( 38, 47)( 39, 48)( 40, 49)( 41, 50)( 42, 51)( 43, 52)
( 44, 53)( 45, 54)( 64, 73)( 65, 74)( 66, 75)( 67, 76)( 68, 77)( 69, 78)
( 70, 79)( 71, 80)( 72, 81)( 91,100)( 92,101)( 93,102)( 94,103)( 95,104)
( 96,105)( 97,106)( 98,107)( 99,108)(118,127)(119,128)(120,129)(121,130)
(122,131)(123,132)(124,133)(125,134)(126,135)(145,154)(146,155)(147,156)
(148,157)(149,158)(150,159)(151,160)(152,161)(153,162);;
s1 := (  1, 10)(  2, 12)(  3, 11)(  4, 18)(  5, 17)(  6, 16)(  7, 15)(  8, 14)
(  9, 13)( 20, 21)( 22, 27)( 23, 26)( 24, 25)( 28, 72)( 29, 71)( 30, 70)
( 31, 69)( 32, 68)( 33, 67)( 34, 66)( 35, 65)( 36, 64)( 37, 63)( 38, 62)
( 39, 61)( 40, 60)( 41, 59)( 42, 58)( 43, 57)( 44, 56)( 45, 55)( 46, 81)
( 47, 80)( 48, 79)( 49, 78)( 50, 77)( 51, 76)( 52, 75)( 53, 74)( 54, 73)
( 82, 91)( 83, 93)( 84, 92)( 85, 99)( 86, 98)( 87, 97)( 88, 96)( 89, 95)
( 90, 94)(101,102)(103,108)(104,107)(105,106)(109,153)(110,152)(111,151)
(112,150)(113,149)(114,148)(115,147)(116,146)(117,145)(118,144)(119,143)
(120,142)(121,141)(122,140)(123,139)(124,138)(125,137)(126,136)(127,162)
(128,161)(129,160)(130,159)(131,158)(132,157)(133,156)(134,155)(135,154);;
s2 := (  1,109)(  2,111)(  3,110)(  4,117)(  5,116)(  6,115)(  7,114)(  8,113)
(  9,112)( 10,127)( 11,129)( 12,128)( 13,135)( 14,134)( 15,133)( 16,132)
( 17,131)( 18,130)( 19,118)( 20,120)( 21,119)( 22,126)( 23,125)( 24,124)
( 25,123)( 26,122)( 27,121)( 28, 82)( 29, 84)( 30, 83)( 31, 90)( 32, 89)
( 33, 88)( 34, 87)( 35, 86)( 36, 85)( 37,100)( 38,102)( 39,101)( 40,108)
( 41,107)( 42,106)( 43,105)( 44,104)( 45,103)( 46, 91)( 47, 93)( 48, 92)
( 49, 99)( 50, 98)( 51, 97)( 52, 96)( 53, 95)( 54, 94)( 55,144)( 56,143)
( 57,142)( 58,141)( 59,140)( 60,139)( 61,138)( 62,137)( 63,136)( 64,162)
( 65,161)( 66,160)( 67,159)( 68,158)( 69,157)( 70,156)( 71,155)( 72,154)
( 73,153)( 74,152)( 75,151)( 76,150)( 77,149)( 78,148)( 79,147)( 80,146)
( 81,145);;
poly := Group([s0,s1,s2]);;
 
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s2*s0*s1*s0*s1*s2*s0*s1*s0*s1, 
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 
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(162)!( 10, 19)( 11, 20)( 12, 21)( 13, 22)( 14, 23)( 15, 24)( 16, 25)
( 17, 26)( 18, 27)( 37, 46)( 38, 47)( 39, 48)( 40, 49)( 41, 50)( 42, 51)
( 43, 52)( 44, 53)( 45, 54)( 64, 73)( 65, 74)( 66, 75)( 67, 76)( 68, 77)
( 69, 78)( 70, 79)( 71, 80)( 72, 81)( 91,100)( 92,101)( 93,102)( 94,103)
( 95,104)( 96,105)( 97,106)( 98,107)( 99,108)(118,127)(119,128)(120,129)
(121,130)(122,131)(123,132)(124,133)(125,134)(126,135)(145,154)(146,155)
(147,156)(148,157)(149,158)(150,159)(151,160)(152,161)(153,162);
s1 := Sym(162)!(  1, 10)(  2, 12)(  3, 11)(  4, 18)(  5, 17)(  6, 16)(  7, 15)
(  8, 14)(  9, 13)( 20, 21)( 22, 27)( 23, 26)( 24, 25)( 28, 72)( 29, 71)
( 30, 70)( 31, 69)( 32, 68)( 33, 67)( 34, 66)( 35, 65)( 36, 64)( 37, 63)
( 38, 62)( 39, 61)( 40, 60)( 41, 59)( 42, 58)( 43, 57)( 44, 56)( 45, 55)
( 46, 81)( 47, 80)( 48, 79)( 49, 78)( 50, 77)( 51, 76)( 52, 75)( 53, 74)
( 54, 73)( 82, 91)( 83, 93)( 84, 92)( 85, 99)( 86, 98)( 87, 97)( 88, 96)
( 89, 95)( 90, 94)(101,102)(103,108)(104,107)(105,106)(109,153)(110,152)
(111,151)(112,150)(113,149)(114,148)(115,147)(116,146)(117,145)(118,144)
(119,143)(120,142)(121,141)(122,140)(123,139)(124,138)(125,137)(126,136)
(127,162)(128,161)(129,160)(130,159)(131,158)(132,157)(133,156)(134,155)
(135,154);
s2 := Sym(162)!(  1,109)(  2,111)(  3,110)(  4,117)(  5,116)(  6,115)(  7,114)
(  8,113)(  9,112)( 10,127)( 11,129)( 12,128)( 13,135)( 14,134)( 15,133)
( 16,132)( 17,131)( 18,130)( 19,118)( 20,120)( 21,119)( 22,126)( 23,125)
( 24,124)( 25,123)( 26,122)( 27,121)( 28, 82)( 29, 84)( 30, 83)( 31, 90)
( 32, 89)( 33, 88)( 34, 87)( 35, 86)( 36, 85)( 37,100)( 38,102)( 39,101)
( 40,108)( 41,107)( 42,106)( 43,105)( 44,104)( 45,103)( 46, 91)( 47, 93)
( 48, 92)( 49, 99)( 50, 98)( 51, 97)( 52, 96)( 53, 95)( 54, 94)( 55,144)
( 56,143)( 57,142)( 58,141)( 59,140)( 60,139)( 61,138)( 62,137)( 63,136)
( 64,162)( 65,161)( 66,160)( 67,159)( 68,158)( 69,157)( 70,156)( 71,155)
( 72,154)( 73,153)( 74,152)( 75,151)( 76,150)( 77,149)( 78,148)( 79,147)
( 80,146)( 81,145);
poly := sub<Sym(162)|s0,s1,s2>;
 
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2, 
s0*s2*s0*s2, s2*s0*s1*s0*s1*s2*s0*s1*s0*s1, 
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 
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 >; 
 
References : None.
to this polytope