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