Part of the Atlas of Small Regular Polytopes

Polytope of Type {2,4,3,4}

Atlas Canonical Name {2,4,3,4}*768

Overview

Group
SmallGroup(768,1090234)
Rank
5
Schläfli Type
{2,4,3,4}
Vertices, edges, …
2, 8, 24, 24, 8
Order of s0s1s2s3s4
6
Order of s0s1s2s3s4s3s2s1
2
Also known as
if this polytope has a name.

Special Properties

  • Degenerate
  • Universal
  • Orientable
  • Flat

Quotients maximal quotients in bold

2-fold

4-fold

8-fold

16-fold

Covers minimal covers in bold

None in this atlas.

Representations

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