Polytope of Type {6,18,6} with group SmallGroup(1296,2984)

Overview

Group: SmallGroup(1296,2984)
Rank: 4
Schläfli Type: {6,18,6}
Vertices, edges, …: 6, 54, 54, 6
Order of s₀s₁s₂s₃: 18
Order of s₀s₁s₂s₃s₂s₁: 2
Also known as: if this polytope has a name.

Special Properties

Universal
Orientable
Flat

Quotients maximal quotients in bold

3-fold

6-fold

{2,9,6}*216

9-fold

18-fold

27-fold

54-fold

81-fold

{2,2,2}*16

Covers minimal covers in bold

None in this atlas.

Irregular Quotients of which this is a minimal cover

None.

Representations

Permutation Representation (GAP)

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