Английская Википедия:1 32 polytope

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Up2 3 21 t0 E7.svg
321
Шаблон:CDD
Файл:Up2 2 31 t0 E7.svg
231
Шаблон:CDD
Файл:Up2 1 32 t0 E7.svg
132
Шаблон:CDD
Файл:Up2 3 21 t1 E7.svg
Rectified 321
Шаблон:CDD
Файл:Up2 3 21 t2 E7.svg
birectified 321
Шаблон:CDD
Файл:Up2 2 31 t1 E7.svg
Rectified 231
Шаблон:CDD
Файл:Up2 1 32 t1 E7.svg
Rectified 132
Шаблон:CDD
Orthogonal projections in E7 Coxeter plane

In 7-dimensional geometry, 132 is a uniform polytope, constructed from the E7 group.

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

The rectified 132 is constructed by points at the mid-edges of the 132.

These polytopes are part of a family of 127 (27-1) convex uniform polytopes in 7-dimensions, made of uniform polytope facets and vertex figures, defined by all permutations of rings in this Coxeter-Dynkin diagram: Шаблон:CDD.

1_32 polytope

132
Type Uniform 7-polytope
Family 1k2 polytope
Schläfli symbol {3,33,2}
Coxeter symbol 132
Coxeter diagram Шаблон:CDD
6-faces 182:
56 122Файл:Gosset 1 22 polytope.svg
126 131Файл:Demihexeract ortho petrie.svg
5-faces 4284:
756 121Файл:Demipenteract graph ortho.svg
1512 121Файл:Demipenteract graph ortho.svg
2016 {34}Файл:5-simplex t0.svg
4-faces 23688:
4032 {33}Файл:4-simplex t0.svg
7560 111Файл:Cross graph 4.svg
12096 {33}Файл:4-simplex t0.svg
Cells 50400:
20160 {32}Файл:3-simplex t0.svg
30240 {32}Файл:3-simplex t0.svg
Faces 40320 {3}Файл:2-simplex t0.svg
Edges 10080
Vertices 576
Vertex figure t2{35} Файл:6-simplex t2.svg
Petrie polygon Octadecagon
Coxeter group E7, [33,2,1], order 2903040
Properties convex

This polytope can tessellate 7-dimensional space, with symbol 133, and Coxeter-Dynkin diagram, Шаблон:CDD. It is the Voronoi cell of the dual E7* lattice.[1]

Alternate names

  • Emanuel Lodewijk Elte named it V576 (for its 576 vertices) in his 1912 listing of semiregular polytopes.[2]
  • Coxeter called it 132 for its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node branch.
  • Pentacontihexa-hecatonicosihexa-exon (Acronym lin) - 56-126 facetted polyexon (Jonathan Bowers)[3]

Images

Coxeter plane projections
E7 E6 / F4 B7 / A6
Файл:Up2 1 32 t0 E7.svg
[18]
Файл:Up2 1 32 t0 E6.svg
[12]
Файл:Up2 1 32 t0 A6.svg
[7x2]
A5 D7 / B6 D6 / B5
Файл:Up2 1 32 t0 A5.svg
[6]
Файл:Up2 1 32 t0 D7.svg
[12/2]
Файл:Up2 1 32 t0 D6.svg
[10]
D5 / B4 / A4 D4 / B3 / A2 / G2 D3 / B2 / A3
Файл:Up2 1 32 t0 D5.svg
[8]
Файл:Up2 1 32 t0 D4.svg
[6]
Файл:Up2 1 32 t0 D3.svg
[4]

Construction

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

The facet information can be extracted from its Coxeter-Dynkin diagram, Шаблон:CDD

Removing the node on the end of the 2-length branch leaves the 6-demicube, 131, Шаблон:CDD

Removing the node on the end of the 3-length branch leaves the 122, Шаблон:CDD

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the birectified 6-simplex, 032, Шаблон:CDD

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

E7 Шаблон:CDD k-face fk f0 f1 f2 f3 f4 f5 f6 k-figures notes
A6 Шаблон:CDD ( ) f0 576 35 210 140 210 35 105 105 21 42 21 7 7 2r{3,3,3,3,3} E7/A6 = 72*8!/7! = 576
A3A2A1 Шаблон:CDD { } f1 2 10080 12 12 18 4 12 12 6 12 3 4 3 {3,3}x{3} E7/A3A2A1 = 72*8!/4!/3!/2 = 10080
A2A2A1 Шаблон:CDD {3} f2 3 3 40320 2 3 1 6 3 3 6 1 3 2 { }∨{3} E7/A2A2A1 = 72*8!/3!/3!/2 = 40320
A3A2 Шаблон:CDD {3,3} f3 4 6 4 20160 * 1 3 0 3 3 0 3 1 {3}∨( ) E7/A3A2 = 72*8!/4!/3! = 20160
A3A1A1 Шаблон:CDD 4 6 4 * 30240 0 2 2 1 4 1 2 2 Phyllic disphenoid E7/A3A1A1 = 72*8!/4!/2/2 = 30240
A4A2 Шаблон:CDD {3,3,3} f4 5 10 10 5 0 4032 * * 3 0 0 3 0 {3} E7/A4A2 = 72*8!/5!/3! = 4032
D4A1 Шаблон:CDD {3,3,4} 8 24 32 8 8 * 7560 * 1 2 0 2 1 { }∨( ) E7/D4A1 = 72*8!/8/4!/2 = 7560
A4A1 Шаблон:CDD {3,3,3} 5 10 10 0 5 * * 12096 0 2 1 1 2 E7/A4A1 = 72*8!/5!/2 = 12096
D5A1 Шаблон:CDD h{4,3,3,3} f5 16 80 160 80 40 16 10 0 756 * * 2 0 { } E7/D5A1 = 72*8!/16/5!/2 = 756
D5 Шаблон:CDD 16 80 160 40 80 0 10 16 * 1512 * 1 1 E7/D5 = 72*8!/16/5! = 1512
A5A1 Шаблон:CDD {3,3,3,3,3} 6 15 20 0 15 0 0 6 * * 2016 0 2 E7/A5A1 = 72*8!/6!/2 = 2016
E6 Шаблон:CDD {3,32,2} f6 72 720 2160 1080 1080 216 270 216 27 27 0 56 * ( ) E7/E6 = 72*8!/72/6! = 56
D6 Шаблон:CDD h{4,3,3,3,3} 32 240 640 160 480 0 60 192 0 12 32 * 126 E7/D6 = 72*8!/32/6! = 126

Related polytopes and honeycombs

The 132 is third in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 13k series. The next figure is the Euclidean honeycomb 133 and the final is a noncompact hyperbolic honeycomb, 134. Шаблон:1 3k polytopes

Шаблон:1 k2 polytopes

Rectified 1_32 polytope

Rectified 132
Type Uniform 7-polytope
Schläfli symbol t1{3,33,2}
Coxeter symbol 0321
Coxeter-Dynkin diagram Шаблон:CDD
6-faces 758
5-faces 12348
4-faces 72072
Cells 191520
Faces 241920
Edges 120960
Vertices 10080
Vertex figure {3,3}×{3}×{}
Coxeter group E7, [33,2,1], order 2903040
Properties convex

The rectified 132 (also called 0321) is a rectification of the 132 polytope, creating new vertices on the center of edge of the 132. Its vertex figure is a duoprism prism, the product of a regular tetrahedra and triangle, doubled into a prism: {3,3}×{3}×{}.

Alternate names

  • Rectified pentacontihexa-hecatonicosihexa-exon for rectified 56-126 facetted polyexon (acronym rolin) (Jonathan Bowers)[5]

Construction

It is created by a Wythoff construction upon a set of 7 hyperplane mirrors in 7-dimensional space. These mirrors are represented by its Coxeter-Dynkin diagram, Шаблон:CDD, and the ring represents the position of the active mirror(s).

Removing the node on the end of the 3-length branch leaves the rectified 122 polytope, Шаблон:CDD

Removing the node on the end of the 2-length branch leaves the demihexeract, 131, Шаблон:CDD

Removing the node on the end of the 1-length branch leaves the birectified 6-simplex, Шаблон:CDD

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the tetrahedron-triangle duoprism prism, {3,3}×{3}×{}, Шаблон:CDD

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

E7 Шаблон:CDD k-face fk f0 f1 f2 f3 f4 f5 f6 k-figures notes
A3A2A1 Шаблон:CDD ( ) f0 10080 24 24 12 36 8 12 36 18 24 4 12 18 24 12 6 6 8 12 6 3 4 2 3 {3,3}x{3}x{ } E7/A3A2A1 = 72*8!/4!/3!/2 = 10080
A2A1A1 Шаблон:CDD { } f1 2 120960 2 1 3 1 2 6 3 3 1 3 6 6 3 1 3 3 6 2 1 3 1 2 ( )v{3}v{ } E7/A2A1A1 = 72*8!/3!/2/2 = 120960
A2A2 Шаблон:CDD 01 f2 3 3 80640 * * 1 1 3 0 0 1 3 3 3 0 0 3 3 3 1 0 3 1 1 {3}v( )v( ) E7/A2A2 = 72*8!/3!/3! = 80640
A2A2A1 Шаблон:CDD 3 3 * 40320 * 0 2 0 3 0 1 0 6 0 3 0 3 0 6 0 1 3 0 2 {3}v{ } E7/A2A2A1 = 72*8!/3!/3!/2 = 40320
A2A1A1 Шаблон:CDD 3 3 * * 120960 0 0 2 1 2 0 1 2 4 2 1 1 2 4 2 1 2 1 2 { }v{ }v( ) E7/A2A1A1 = 72*8!/3!/2/2 = 120960
A3A2 Шаблон:CDD 02 f3 4 6 4 0 0 20160 * * * * 1 3 0 0 0 0 3 3 0 0 0 3 1 0 {3}v( ) E7/A3A2 = 72*8!/4!/3! = 20160
Шаблон:CDD 011 6 12 4 4 0 * 20160 * * * 1 0 3 0 0 0 3 0 3 0 0 3 0 1
A3A1 Шаблон:CDD 6 12 4 0 4 * * 60480 * * 0 1 1 2 0 0 1 2 2 1 0 2 1 1 Sphenoid E7/A3A1 = 72*8!/4!/2 = 60480
A3A1A1 Шаблон:CDD 6 12 0 4 4 * * * 30240 * 0 0 2 0 2 0 1 0 4 0 1 2 0 2 { }v{ } E7/A3A1A1 = 72*8!/4!/2/2 = 30240
A3A1 Шаблон:CDD 02 4 6 0 0 4 * * * * 60480 0 0 0 2 1 1 0 1 2 2 1 1 1 2 Sphenoid E7/A3A1 = 72*8!/4!/2 = 60480
A4A2 Шаблон:CDD 021 f4 10 30 20 10 0 5 5 0 0 0 4032 * * * * * 3 0 0 0 0 3 0 0 {3} E7/A4A2 = 72*8!/5!/3! = 4032
A4A1 Шаблон:CDD 10 30 20 0 10 5 0 5 0 0 * 12096 * * * * 1 2 0 0 0 2 1 0 { }v() E7/A4A1 = 72*8!/5!/2 = 12096
D4A1 Шаблон:CDD 0111 24 96 32 32 32 0 8 8 8 0 * * 7560 * * * 1 0 2 0 0 2 0 1 E7/D4A1 = 72*8!/8/4!/2 = 7560
A4 Шаблон:CDD 021 10 30 10 0 20 0 0 5 0 5 * * * 24192 * * 0 1 1 1 0 1 1 1 ( )v( )v( ) E7/A4 = 72*8!/5! = 34192
A4A1 Шаблон:CDD 10 30 0 10 20 0 0 0 5 5 * * * * 12096 * 0 0 2 0 1 1 0 2 { }v() E7/A4A1 = 72*8!/5!/2 = 12096
Шаблон:CDD 03 5 10 0 0 10 0 0 0 0 5 * * * * * 12096 0 0 0 2 1 0 1 2
D5A1 Шаблон:CDD 0211 f5 80 480 320 160 160 80 80 80 40 0 16 16 10 0 0 0 756 * * * * 2 0 0 { } E7/D5A1 = 72*8!/16/5!/2 = 756
A5 Шаблон:CDD 022 20 90 60 0 60 15 0 30 0 15 0 6 0 6 0 0 * 4032 * * * 1 1 0 E7/A5 = 72*8!/6! = 4032
D5 Шаблон:CDD 0211 80 480 160 160 320 0 40 80 80 80 0 0 10 16 16 0 * * 1512 * * 1 0 1 E7/D5 = 72*8!/16/5! = 1512
A5 Шаблон:CDD 031 15 60 20 0 60 0 0 15 0 30 0 0 0 6 0 6 * * * 4032 * 0 1 1 E7/A5 = 72*8!/6! = 4032
A5A1 Шаблон:CDD 15 60 0 20 60 0 0 0 15 30 0 0 0 0 6 6 * * * * 2016 0 0 2 E7/A5A1 = 72*8!/6!/2 = 2016
E6 Шаблон:CDD 0221 f6 720 6480 4320 2160 4320 1080 1080 2160 1080 1080 216 432 270 432 216 0 27 72 27 0 0 56 * * ( ) E7/E6 = 72*8!/72/6! = 56
A6 Шаблон:CDD 032 35 210 140 0 210 35 0 105 0 105 0 21 0 42 0 21 0 7 0 7 0 * 576 * E7/A6 = 72*8!/7! = 576
D6 Шаблон:CDD 0311 240 1920 640 640 1920 0 160 480 480 960 0 0 60 192 192 192 0 0 12 32 32 * * 126 E7/D6 = 72*8!/32/6! = 126

Images

Coxeter plane projections
E7 E6 / F4 B7 / A6
Файл:Up2 1 32 t1 E7.svg
[18]
Файл:Up2 1 32 t1 E6.svg
[12]
Файл:Up2 1 32 t1 A6.svg
[14]
A5 D7 / B6 D6 / B5
Файл:Up2 1 32 t1 A5.svg
[6]
Файл:Up2 1 32 t1 D7.svg
[12/2]
Файл:Up2 1 32 t1 D6.svg
[10]
D5 / B4 / A4 D4 / B3 / A2 / G2 D3 / B2 / A3
Файл:Up2 1 32 t1 D5.svg
[8]
Файл:Up2 1 32 t1 D4.svg
[6]
Файл:Up2 1 32 t1 D3.svg
[4]

See also

Notes

Шаблон:Reflist

References

  • Шаблон:Citation
  • 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 Ivic Weiss, Wiley-Interscience Publication, 1995, Шаблон:ISBN [1]
    • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
  • Шаблон:KlitzingPolytopes o3o3o3x *c3o3o3o - lin, o3o3x3o *c3o3o3o - rolin

Шаблон:Polytopes

  1. The Voronoi Cells of the E6* and E7* Lattices Шаблон:Webarchive, Edward Pervin
  2. Elte, 1912
  3. Klitzing, (o3o3o3x *c3o3o3o - lin)
  4. Coxeter, Regular Polytopes, 11.8 Gossett figures in six, seven, and eight dimensions, p. 202-203
  5. Klitzing, (o3o3x3o *c3o3o3o - rolin)
  6. Coxeter, Regular Polytopes, 11.8 Gossett figures in six, seven, and eight dimensions, p. 202-203