Polytope of Type {2,4,2} with group SmallGroup(32,46)

Overview

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

Special Properties

Degenerate
Universal
Orientable
Flat
Self-Dual

Related Polytopes

Constructions

Facet of

{2,4,2,2} ·64
{2,4,2,3} ·96
{2,4,2,4} ·128
{2,4,2,5} ·160
{2,4,2,6} ·192
{2,4,2,7} ·224
{2,4,2,8} ·256
{2,4,2,9} ·288
{2,4,2,10} ·320
{2,4,2,11} ·352
{2,4,2,12} ·384
{2,4,2,13} ·416
{2,4,2,14} ·448
{2,4,2,15} ·480
{2,4,2,16} ·512
{2,4,2,17} ·544
{2,4,2,18} ·576
{2,4,2,19} ·608
{2,4,2,20} ·640
{2,4,2,21} ·672
{2,4,2,22} ·704
{2,4,2,23} ·736
{2,4,2,24} ·768
{2,4,2,25} ·800
{2,4,2,26} ·832
{2,4,2,27} ·864
{2,4,2,28} ·896
{2,4,2,29} ·928
{2,4,2,30} ·960
{2,4,2,31} ·992
{2,4,2,33} ·1056
{2,4,2,34} ·1088
{2,4,2,35} ·1120
{2,4,2,36} ·1152
{2,4,2,37} ·1184
{2,4,2,38} ·1216
{2,4,2,39} ·1248
{2,4,2,40} ·1280
{2,4,2,41} ·1312
{2,4,2,42} ·1344
{2,4,2,43} ·1376
{2,4,2,44} ·1408
{2,4,2,45} ·1440
{2,4,2,46} ·1472
{2,4,2,47} ·1504
{2,4,2,49} ·1568
{2,4,2,50} ·1600
{2,4,2,51} ·1632
{2,4,2,52} ·1664
{2,4,2,53} ·1696
{2,4,2,54} ·1728
{2,4,2,55} ·1760
{2,4,2,56} ·1792
{2,4,2,57} ·1824
{2,4,2,58} ·1856
{2,4,2,59} ·1888
{2,4,2,60} ·1920
{2,4,2,61} ·1952
{2,4,2,62} ·1984

Vertex figure of

{2,2,4,2} ·64
{3,2,4,2} ·96
{4,2,4,2} ·128
{5,2,4,2} ·160
{6,2,4,2} ·192
{7,2,4,2} ·224
{8,2,4,2} ·256
{9,2,4,2} ·288
{10,2,4,2} ·320
{11,2,4,2} ·352
{12,2,4,2} ·384
{13,2,4,2} ·416
{14,2,4,2} ·448
{15,2,4,2} ·480
{16,2,4,2} ·512
{17,2,4,2} ·544
{18,2,4,2} ·576
{19,2,4,2} ·608
{20,2,4,2} ·640
{21,2,4,2} ·672
{22,2,4,2} ·704
{23,2,4,2} ·736
{24,2,4,2} ·768
{25,2,4,2} ·800
{26,2,4,2} ·832
{27,2,4,2} ·864
{28,2,4,2} ·896
{29,2,4,2} ·928
{30,2,4,2} ·960
{31,2,4,2} ·992
{33,2,4,2} ·1056
{34,2,4,2} ·1088
{35,2,4,2} ·1120
{36,2,4,2} ·1152
{37,2,4,2} ·1184
{38,2,4,2} ·1216
{39,2,4,2} ·1248
{40,2,4,2} ·1280
{41,2,4,2} ·1312
{42,2,4,2} ·1344
{43,2,4,2} ·1376
{44,2,4,2} ·1408
{45,2,4,2} ·1440
{46,2,4,2} ·1472
{47,2,4,2} ·1504
{49,2,4,2} ·1568
{50,2,4,2} ·1600
{51,2,4,2} ·1632
{52,2,4,2} ·1664
{53,2,4,2} ·1696
{54,2,4,2} ·1728
{55,2,4,2} ·1760
{56,2,4,2} ·1792
{57,2,4,2} ·1824
{58,2,4,2} ·1856
{59,2,4,2} ·1888
{60,2,4,2} ·1920
{61,2,4,2} ·1952
{62,2,4,2} ·1984

Quotients maximal quotients in bold

2-fold

{2,2,2}*16

Covers minimal covers in bold

2-fold

3-fold

4-fold

5-fold

6-fold

7-fold

8-fold

9-fold

10-fold

11-fold

12-fold

13-fold

14-fold

15-fold

16-fold

17-fold

18-fold

19-fold

20-fold

21-fold

22-fold

23-fold

24-fold

25-fold

26-fold

27-fold

28-fold

29-fold

30-fold

31-fold

33-fold

34-fold

35-fold

36-fold

37-fold

38-fold

39-fold

40-fold

41-fold

42-fold

43-fold

44-fold

45-fold

46-fold

47-fold

49-fold

50-fold

51-fold

52-fold

53-fold

54-fold

55-fold

56-fold

57-fold

58-fold

59-fold

60-fold

61-fold

62-fold

Representations

Permutation Representation (GAP)

s0 := (1,2);;
s1 := (4,5);;
s2 := (3,4)(5,6);;
s3 := (7,8);;
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, s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;

Permutation Representation (Magma)

s0 := Sym(8)!(1,2);
s1 := Sym(8)!(4,5);
s2 := Sym(8)!(3,4)(5,6);
s3 := Sym(8)!(7,8);
poly := sub<Sym(8)|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, s1*s2*s1*s2*s1*s2*s1*s2 >;