include("/home/bitnami/htdocs/websites/abstract-polytopes/www/subs.php"); ?>
Polytope of Type {2,12,8}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,12,8}*768d
if this polytope has a name.
Group : SmallGroup(768,1086301)
Rank : 4
Schlafli Type : {2,12,8}
Number of vertices, edges, etc : 2, 24, 96, 16
Order of s0s1s2s3 : 6
Order of s0s1s2s3s2s1 : 2
Special Properties :
Degenerate
Universal
Non-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 : {2,6,8}*384a
8-fold quotients : {2,6,4}*96b
16-fold quotients : {2,3,4}*48
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := (1,2);;
s1 := ( 7, 9)( 8, 10)( 11, 25)( 12, 26)( 13, 23)( 14, 24)( 15, 19)( 16, 20)
( 17, 21)( 18, 22)( 27, 30)( 28, 29)( 31, 32)( 33, 34)( 35, 67)( 36, 68)
( 37, 69)( 38, 70)( 39, 73)( 40, 74)( 41, 71)( 42, 72)( 43, 89)( 44, 90)
( 45, 87)( 46, 88)( 47, 83)( 48, 84)( 49, 85)( 50, 86)( 51, 79)( 52, 80)
( 53, 81)( 54, 82)( 55, 77)( 56, 78)( 57, 75)( 58, 76)( 59, 94)( 60, 93)
( 61, 92)( 62, 91)( 63, 96)( 64, 95)( 65, 98)( 66, 97)( 99,100)(101,102)
(103,106)(104,105)(107,122)(108,121)(109,120)(110,119)(111,116)(112,115)
(113,118)(114,117)(123,125)(124,126)(131,164)(132,163)(133,166)(134,165)
(135,170)(136,169)(137,168)(138,167)(139,186)(140,185)(141,184)(142,183)
(143,180)(144,179)(145,182)(146,181)(147,176)(148,175)(149,178)(150,177)
(151,174)(152,173)(153,172)(154,171)(155,189)(156,190)(157,187)(158,188)
(159,191)(160,192)(161,193)(162,194);;
s2 := ( 3,131)( 4,132)( 5,136)( 6,135)( 7,134)( 8,133)( 9,137)( 10,138)
( 11,140)( 12,139)( 13,143)( 14,144)( 15,141)( 16,142)( 17,146)( 18,145)
( 19,160)( 20,159)( 21,155)( 22,156)( 23,161)( 24,162)( 25,158)( 26,157)
( 27,149)( 28,150)( 29,154)( 30,153)( 31,148)( 32,147)( 33,151)( 34,152)
( 35, 99)( 36,100)( 37,104)( 38,103)( 39,102)( 40,101)( 41,105)( 42,106)
( 43,108)( 44,107)( 45,111)( 46,112)( 47,109)( 48,110)( 49,114)( 50,113)
( 51,128)( 52,127)( 53,123)( 54,124)( 55,129)( 56,130)( 57,126)( 58,125)
( 59,117)( 60,118)( 61,122)( 62,121)( 63,116)( 64,115)( 65,119)( 66,120)
( 67,163)( 68,164)( 69,168)( 70,167)( 71,166)( 72,165)( 73,169)( 74,170)
( 75,172)( 76,171)( 77,175)( 78,176)( 79,173)( 80,174)( 81,178)( 82,177)
( 83,192)( 84,191)( 85,187)( 86,188)( 87,193)( 88,194)( 89,190)( 90,189)
( 91,181)( 92,182)( 93,186)( 94,185)( 95,180)( 96,179)( 97,183)( 98,184);;
s3 := ( 3,128)( 4,127)( 5,130)( 6,129)( 7,124)( 8,123)( 9,126)( 10,125)
( 11,120)( 12,119)( 13,122)( 14,121)( 15,116)( 16,115)( 17,118)( 18,117)
( 19,111)( 20,112)( 21,113)( 22,114)( 23,107)( 24,108)( 25,109)( 26,110)
( 27,103)( 28,104)( 29,105)( 30,106)( 31, 99)( 32,100)( 33,101)( 34,102)
( 35,160)( 36,159)( 37,162)( 38,161)( 39,156)( 40,155)( 41,158)( 42,157)
( 43,152)( 44,151)( 45,154)( 46,153)( 47,148)( 48,147)( 49,150)( 50,149)
( 51,143)( 52,144)( 53,145)( 54,146)( 55,139)( 56,140)( 57,141)( 58,142)
( 59,135)( 60,136)( 61,137)( 62,138)( 63,131)( 64,132)( 65,133)( 66,134)
( 67,192)( 68,191)( 69,194)( 70,193)( 71,188)( 72,187)( 73,190)( 74,189)
( 75,184)( 76,183)( 77,186)( 78,185)( 79,180)( 80,179)( 81,182)( 82,181)
( 83,175)( 84,176)( 85,177)( 86,178)( 87,171)( 88,172)( 89,173)( 90,174)
( 91,167)( 92,168)( 93,169)( 94,170)( 95,163)( 96,164)( 97,165)( 98,166);;
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*s3*s2*s1*s3*s2*s3*s2,
s3*s1*s2*s3*s1*s2*s1*s2*s3*s1*s2*s3*s1*s2*s1*s2,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(194)!(1,2);
s1 := Sym(194)!( 7, 9)( 8, 10)( 11, 25)( 12, 26)( 13, 23)( 14, 24)( 15, 19)
( 16, 20)( 17, 21)( 18, 22)( 27, 30)( 28, 29)( 31, 32)( 33, 34)( 35, 67)
( 36, 68)( 37, 69)( 38, 70)( 39, 73)( 40, 74)( 41, 71)( 42, 72)( 43, 89)
( 44, 90)( 45, 87)( 46, 88)( 47, 83)( 48, 84)( 49, 85)( 50, 86)( 51, 79)
( 52, 80)( 53, 81)( 54, 82)( 55, 77)( 56, 78)( 57, 75)( 58, 76)( 59, 94)
( 60, 93)( 61, 92)( 62, 91)( 63, 96)( 64, 95)( 65, 98)( 66, 97)( 99,100)
(101,102)(103,106)(104,105)(107,122)(108,121)(109,120)(110,119)(111,116)
(112,115)(113,118)(114,117)(123,125)(124,126)(131,164)(132,163)(133,166)
(134,165)(135,170)(136,169)(137,168)(138,167)(139,186)(140,185)(141,184)
(142,183)(143,180)(144,179)(145,182)(146,181)(147,176)(148,175)(149,178)
(150,177)(151,174)(152,173)(153,172)(154,171)(155,189)(156,190)(157,187)
(158,188)(159,191)(160,192)(161,193)(162,194);
s2 := Sym(194)!( 3,131)( 4,132)( 5,136)( 6,135)( 7,134)( 8,133)( 9,137)
( 10,138)( 11,140)( 12,139)( 13,143)( 14,144)( 15,141)( 16,142)( 17,146)
( 18,145)( 19,160)( 20,159)( 21,155)( 22,156)( 23,161)( 24,162)( 25,158)
( 26,157)( 27,149)( 28,150)( 29,154)( 30,153)( 31,148)( 32,147)( 33,151)
( 34,152)( 35, 99)( 36,100)( 37,104)( 38,103)( 39,102)( 40,101)( 41,105)
( 42,106)( 43,108)( 44,107)( 45,111)( 46,112)( 47,109)( 48,110)( 49,114)
( 50,113)( 51,128)( 52,127)( 53,123)( 54,124)( 55,129)( 56,130)( 57,126)
( 58,125)( 59,117)( 60,118)( 61,122)( 62,121)( 63,116)( 64,115)( 65,119)
( 66,120)( 67,163)( 68,164)( 69,168)( 70,167)( 71,166)( 72,165)( 73,169)
( 74,170)( 75,172)( 76,171)( 77,175)( 78,176)( 79,173)( 80,174)( 81,178)
( 82,177)( 83,192)( 84,191)( 85,187)( 86,188)( 87,193)( 88,194)( 89,190)
( 90,189)( 91,181)( 92,182)( 93,186)( 94,185)( 95,180)( 96,179)( 97,183)
( 98,184);
s3 := Sym(194)!( 3,128)( 4,127)( 5,130)( 6,129)( 7,124)( 8,123)( 9,126)
( 10,125)( 11,120)( 12,119)( 13,122)( 14,121)( 15,116)( 16,115)( 17,118)
( 18,117)( 19,111)( 20,112)( 21,113)( 22,114)( 23,107)( 24,108)( 25,109)
( 26,110)( 27,103)( 28,104)( 29,105)( 30,106)( 31, 99)( 32,100)( 33,101)
( 34,102)( 35,160)( 36,159)( 37,162)( 38,161)( 39,156)( 40,155)( 41,158)
( 42,157)( 43,152)( 44,151)( 45,154)( 46,153)( 47,148)( 48,147)( 49,150)
( 50,149)( 51,143)( 52,144)( 53,145)( 54,146)( 55,139)( 56,140)( 57,141)
( 58,142)( 59,135)( 60,136)( 61,137)( 62,138)( 63,131)( 64,132)( 65,133)
( 66,134)( 67,192)( 68,191)( 69,194)( 70,193)( 71,188)( 72,187)( 73,190)
( 74,189)( 75,184)( 76,183)( 77,186)( 78,185)( 79,180)( 80,179)( 81,182)
( 82,181)( 83,175)( 84,176)( 85,177)( 86,178)( 87,171)( 88,172)( 89,173)
( 90,174)( 91,167)( 92,168)( 93,169)( 94,170)( 95,163)( 96,164)( 97,165)
( 98,166);
poly := sub<Sym(194)|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*s3*s2*s1*s3*s2*s3*s2,
s3*s1*s2*s3*s1*s2*s1*s2*s3*s1*s2*s3*s1*s2*s1*s2,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 >;
to this polytope