Polytope of Type {2,24,6}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,24,6}*1152d
if this polytope has a name.
Group : SmallGroup(1152,157582)
Rank : 4
Schlafli Type : {2,24,6}
Number of vertices, edges, etc : 2, 48, 144, 12
Order of s₀s₁s₂s₃ : 6
Order of s₀s₁s₂s₃s₂s₁ : 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 : {2,12,6}*576b
   3-fold quotients : {2,8,6}*384c
   4-fold quotients : {2,12,3}*288
   6-fold quotients : {2,4,6}*192
   8-fold quotients : {2,6,6}*144b
   12-fold quotients : {2,4,3}*96, {2,4,6}*96b, {2,4,6}*96c
   16-fold quotients : {2,6,3}*72
   24-fold quotients : {2,4,3}*48, {2,2,6}*48
   48-fold quotients : {2,2,3}*24
   72-fold quotients : {2,2,2}*16
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope