421

142

241

Rectified 421

Rectified 142

Rectified 241

Birectified 421

Trirectified 421
Orthogonal projections in E6 Coxeter plane

In 8-dimensional geometry, the 241 is a uniform 8-polytope, constructed within the symmetry of the E8 group.

Its Coxeter symbol is 241, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node sequences.

The rectified 241 is constructed by points at the mid-edges of the 241. The birectified 241 is constructed by points at the triangle face centers of the 241, and is the same as the rectified 142.

These polytopes are part of a family of 255 (28 − 1) convex uniform polytopes in 8-dimensions, made of uniform polytope facets, defined by all permutations of rings in this Coxeter-Dynkin diagram: .

241 polytope

241 polytope
TypeUniform 8-polytope
Family2k1 polytope
Schläfli symbol{3,3,34,1}
Coxeter symbol241
Coxeter diagram
7-faces17520:
240 231
17280 {36}
6-faces144960:
6720 221
138240 {35}
5-faces544320:
60480 211
483840 {34}
4-faces1209600:
241920 201
967680 {33}
Cells1209600 {32}
Faces483840 {3}
Edges69120
Vertices2160
Vertex figure141
Petrie polygon30-gon
Coxeter groupE8, [34,2,1]
Propertiesconvex

The 241 is composed of 17,520 facets (240 231 polytopes and 17,280 7-simplices), 144,960 6-faces (6,720 221 polytopes and 138,240 6-simplices), 544,320 5-faces (60,480 211 and 483,840 5-simplices), 1,209,600 4-faces (4-simplices), 1,209,600 cells (tetrahedra), 483,840 faces (triangles), 69,120 edges, and 2160 vertices. Its vertex figure is a 7-demicube.

This polytope is a facet in the uniform tessellation, 251 with Coxeter-Dynkin diagram:

Alternate names

  • E. L. Elte named it V2160 (for its 2160 vertices) in his 1912 listing of semiregular polytopes.[1]
  • It is named 241 by Coxeter for its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node sequence.
  • Diacositetraconta-myriaheptachiliadiacosioctaconta-zetton for 240-17280 facetted polyzetton; Acronym: bay (Jonathan Bowers)[2]

Coordinates

The 2160 vertices can be defined as follows:

16 permutations of (±4,0,0,0,0,0,0,0) of (8-orthoplex)
1120 permutations of (±2,±2,±2,±2,0,0,0,0) of (trirectified 8-orthoplex)
1024 permutations of (±3,±1,±1,±1,±1,±1,±1,±1) with an odd number of minus-signs

Construction

It is created by a Wythoff construction upon a set of 8 hyperplane mirrors in 8-dimensional space.

The facet information can be extracted from its Coxeter-Dynkin diagram: .

Removing the node on the short branch leaves the 7-simplex: . There are 17280 of these facets

Removing the node on the end of the 4-length branch leaves the 231, . There are 240 of these facets. They are centered at the positions of the 240 vertices in the 421 polytope.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the 7-demicube, 141, .

Seen in a configuration matrix, the element counts can be derived by mirror removal and ratios of Coxeter group orders.[3]

Configuration matrix
E8k-facefkf0f1f2f3f4f5f6f7k-figureNotes
D7align=center( )f0216064672224056022402801344844481464h{4,3,3,3,3,3}E8/D7 = 192·10!/64/7! = 2160
A6A1align=center{ }f1269120211053514035105214277r{3,3,3,3,3}E8/A6A1 = 192·10!/7!/2 = 69120
A4A2A1align=center{3}f233483840105201020101052{}x{3,3,3}E8/A4A2A1 = 192·10!/5!/3!/2 = 483840
A3A3align=center{3,3}f3464120960014466441{3,3}V( )E8/A3A3 = 192·10!/4!/4! = 1209600
A4A3align=centerrowspan=2|{3,3,3}f4510105241920406040{3,3}E8/A4A3 = 192·10!/5!/4! = 241920
A4A2510105967680133331{3}V( )E8/A4A2 = 192·10!/5!/3! = 967680
D5A2align=center{3,3,31,1}f5104080801616604803030{3}E8/D5A2 = 192·10!/16/5!/2 = 40480
A5A1align=center{3,3,3,3}6152015064838401221{ }V( )E8/A5A1 = 192·10!/6!/2 = 483840
E6A1align=center{3,3,32,1}f62721672010802164322772672020{ }E8/E6A1 = 192·10!/72/6! = 6720
A6align=center{3,3,3,3,3}72135350210713824011E8/A6 = 192·10!/7! = 138240
E7align=center{3,3,33,1}f712620161008020160403212096756403256576240( )E8/E7 = 192·10!/72!/8! = 240
A7align=center{3,3,3,3,3,3}82856700560280817280E8/A7 = 192·10!/8! = 17280

Visualizations

E8
[30]
[20][24]

(1)
E7
[18]
E6
[12]
[6]

(1,8,24,32)

Petrie polygon projections are 12, 18, or 30-sided based on the E6, E7, and E8 symmetries (respectively). The 2160 vertices are all displayed, but lower symmetry forms have projected positions overlapping, shown as different colored vertices. For comparison, a B6 coxeter group is also shown.

D3 / B2 / A3
[4]
D4 / B3 / A2
[6]
D5 / B4
[8]
D6 / B5 / A4
[10]
D7 / B6
[12]
D8 / B7 / A6
[14]

(1,3,9,12,18,21,36)
B8
[16/2]
A5
[6]
A7
[8]

Rectified 241 polytope

Rectified 241 polytope
TypeUniform 8-polytope
Schläfli symbolt1{3,3,34,1}
Coxeter symbolt1(241)
Coxeter diagram
7-faces19680 total: 240 t1(221)
17280 t1{36}
2160 141
6-faces313440
5-faces1693440
4-faces4717440
Cells7257600
Faces5322240
Edges19680
Vertices69120
Vertex figurerectified 6-simplex prism
Petrie polygon30-gon
Coxeter groupE8, [34,2,1]
Propertiesconvex

The rectified 241 is a rectification of the 241 polytope, with vertices positioned at the mid-edges of the 241.

Alternate names

  • Rectified diacositetraconta-myriaheptachiliadiacosioctaconta-zetton for rectified 240-17280 facetted polyzetton; Acronym: robay (Jonathan Bowers)[4]

Construction

It is created by a Wythoff construction upon a set of 8 hyperplane mirrors in 8-dimensional space, defined by root vectors of the E8 Coxeter group.

The facet information can be extracted from its Coxeter-Dynkin diagram: .

Removing the node on the short branch leaves the rectified 7-simplex: .

Removing the node on the end of the 4-length branch leaves the rectified 231, .

Removing the node on the end of the 2-length branch leaves the 7-demicube, 141.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the rectified 6-simplex prism, .

Visualizations

Petrie polygon projections are 12, 18, or 30-sided based on the E6, E7, and E8 symmetries (respectively). The 2160 vertices are all displayed, but lower symmetry forms have projected positions overlapping, shown as different colored vertices. For comparison, a B6 coxeter group is also shown.

E8
[30]
[20][24]

(1)
E7
[18]
E6
[12]
[6]
D3 / B2 / A3
[4]
D4 / B3 / A2
[6]
D5 / B4
[8]
D6 / B5 / A4
[10]
D7 / B6
[12]
D8 / B7 / A6
[14]
B8
[16/2]
A5
[6]
A7
[8]

See also

Notes

  1. ^ Elte, 1912
  2. ^ Klitzing, pp. (x3o3o3o *c3o3o3o3o - bay).
  3. ^ Coxeter, Regular Polytopes, 11.8 Gosset figures in six, seven, and eight dimensions, pp. 202–203
  4. ^ Klitzing, pp. (o3x3o3o *c3o3o3o3o - robay).

References

  • Elte, E. L. (1912), "The Semiregular Polytopes of the Hyperspaces", Groningen: University of Groningen
  • H. S. M. Coxeter, Regular Polytopes, 3rd edition, Dover, New York, 1973
  • Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivić Weiss, Wiley-Interscience Publication, 1995, wiley.com, ISBN 978-0-471-01003-6
    • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3–45]
  • x3o3o3o *c3o3o3o3o - bay, o3x3o3o *c3o3o3o3o - robay