Site Map Polytopes Dynkin Diagrams Vertex Figures, etc. Incidence Matrices Index

The Coxeter-Elte-Gosset polytopes   km,n,...

It was the professional lawyer and amateur mathematician T. Gosset, who in 1900 published his investigation of regular polytopes of dimensions greater than 3 and of semi-regular ones, i.e. the regular-facetted and vertex-uniform polytopes. He even included alike tesselations, which he already considered as degenerate polytopes. Gosset esp. gets the credit for finding the polytopes 22,1, 32,1, and 42,1.

E.L. Elte listed in 1912 the then rediscovered semi-regulars of Gosset, but he further allowed recursively for likewise semi-regular k-faces of up to 2 types (shapes) each. This then already encompassed the main representatives of the En family, except for 14,2.

The symbols km,n (and lateron also kl,m,n) finally where assigned by H.S.M. Coxeter, who rediscovered and completed their full list. These symbols originally where shortcuts for his extended Schläfli symbols, which then are restricted to have a chain of 3's on the left and two (or more) chains of 3's at the right. k then is the count of those at the left and the indices would represent the right counts each.

{
3,...,3 3,...,3,...,3
}
= km,n
3,...,3

Accordingly 0 as an index is to be excluded here. But it might well occure as a leading number. The sum of that leading number and all the indices clearly equates to one but the number of nodes of the corresponding Dynkin diagram, and therefore represents one but the number of dimensions of embedding space for polytopes, respectively represents the number of dimension of the according euclidean tesselations. The order of the indices obviously is irrelevant.

These extended Schläfli symbols are to be translated into Dynkin diagrams as bifurcated diagrams, each number line then represents one leg, and the left number line is the one, of which the end node is being marked. E.g.

{
3,3 3,3,3
}
= 23,1 =
                     o---3---o---3---o
                    /                 
                   3                  
                  /                   
(o)--3---o---3---o                    
                  \                   
                   3                  
                    \                 
                     o                
3

Note that all Coxeter-Elte-Gosset polytopes are quasiregular by definition. Conversely, not all quasiregulars occur here. Not only that all diagrams using others than the link mark 3 are missing, even within the bifurcated diagrams all quasiregulars with ringed nodes other than the end ones or than the bifurcation spot are missing as well. And, for sure, symmetries with multiple bifurcation points within their diagram or having loops are missing here by definition.

External
links
wikipedia   esp. k2,1: wikipedia   2k,1: wikipedia   1k,2: wikipedia  

Color coding of the following table:

back color explanation

white

spherical geometry
In here the number of nodes corresponds to the dimension of the embedding space.

light yellow

euclidean geometry
* Here their tiled space dimension is one less than the number of nodes.
(N. Johnson introduces in Geometries and Transformations the group L5 simply in order to be extended differently.)

light green

hyperbolic geometry
** These happen to be paracompact and their tiled hyperbolic space dimension is one less than the number of nodes.
*** These happen to be hypercompact and their tiled hyperbolic space dimension is one less than the number of nodes.


nodes km,n,...
2
A2
01 - x3o  {3}
3
A3
02   - x3o3o  tet
01,1 - o3x3o  oct
4
A4
03   - x3o3o3o  pen
02,1 - o3x3o3o  rap
D4
01,1,1 - o3x3o *b3o  ico
11,1   - x3o3o *b3o  hex
5
A5
04   - x3o3o3o3o  hix
03,1 - o3x3o3o3o  rix
02,2 - o3o3x3o3o  dot
D5
02,1,1 - o3x3o3o *b3o  nit
12,1   - x3o3o3o *b3o  hin
21,1   - o3o3o3x *b3o  tac
D4+ =: L5 *)
01,1,1,1 - o3x3o *b3o *b3o  icot
11,1,1   - x3o3o *b3o *b3o  hext
6
A6
05   - x3o3o3o3o3o  hop
04,1 - o3x3o3o3o3o  ril
03,2 - o3o3x3o3o3o  bril
D6
03,1,1 - o3x3o3o3o *b3o  brox
13,1   - x3o3o3o3o *b3o  hax
31,1   - o3o3o3o3x *b3o  gee
E6
02,2,1 - o3o3x3o3o *c3o  ram
12,2   - o3o3o3o3o *c3x  mo
22,1   - x3o3o3o3o *c3o  jak
D4++  **)
02,1,1,1 - o3x3o3o *b3o *b3o
12,1,1   - x3o3o3o *b3o *b3o
21,1,1   - o3o3o3x *b3o *b3o
L5+  **)
01,1,1,1,1 - o3x3o *b3o *b3o *b3o
11,1,1,1   - x3o3o *b3o *b3o *b3o
nodes km,n,...
7
A7
06   - x3o3o3o3o3o3o  oca
05,1 - o3x3o3o3o3o3o  roc
04,2 - o3o3x3o3o3o3o  broc
03,3 - o3o3o3x3o3o3o  he
D7
04,1,1 - o3x3o3o3o3o *b3o  bersa
14,1   - x3o3o3o3o3o *b3o  hesa
41,1   - o3o3o3o3o3x *b3o  zee
E7
03,2,1 - o3o3x3o3o3o *c3o  lanq
13,2   - o3o3o3o3o3o *c3x  lin
23,1   - x3o3o3o3o3o *c3o  laq
32,1   - o3o3o3o3o3x *c3o  naq
E6+  *)
02,2,2 - o3o3x3o3o *c3o3o  ramoh
22,2   - x3o3o3o3o *c3o3o  jakoh
D4+++  ***)
03,1,1,1 - o3x3o3o3o *b3o *b3o
13,1,1   - x3o3o3o3o *b3o *b3o
31,1,1   - o3o3o3o3x *b3o *b3o
L5++  ***)
01,1,1,1,1,1 - o3x3o *b3o *b3o *b3o *b3o
11,1,1,1,1   - x3o3o *b3o *b3o *b3o *b3o
8
A8
07   - x3o3o3o3o3o3o3o  ene
06,1 - o3x3o3o3o3o3o3o  rene
05,2 - o3o3x3o3o3o3o3o  brene
04,3 - o3o3o3x3o3o3o3o  trene
D8
05,1,1 - o3x3o3o3o3o3o *b3o  bro
15,1   - x3o3o3o3o3o3o *b3o  hocto
51,1   - o3o3o3o3o3o3x *b3o  ek
E8
04,2,1 - o3o3x3o3o3o3o *c3o  buffy
14,2   - o3o3o3o3o3o3o *c3x  bif
24,1   - x3o3o3o3o3o3o *c3o  bay
42,1   - o3o3o3o3o3o3x *c3o  fy
E7+  *)
03,3,1 - o3o3o3x3o3o3o *d3o  lanquoh
13,3   - o3o3o3o3o3o3o *d3x  linoh
33,1   - x3o3o3o3o3o3o *d3o  naquoh
E6++  **)
03,2,2 - o3o3x3o3o3o *c3o3o
23,2   - x3o3o3o3o3o *c3o3o
32,2   - o3o3o3o3o3x *c3o3o
nodes km,n,...
9
A9
08   - x3o3o3o3o3o3o3o3o  day
07,1 - o3x3o3o3o3o3o3o3o  reday
06,2 - o3o3x3o3o3o3o3o3o  breday
05,3 - o3o3o3x3o3o3o3o3o  treday
04,4 - o3o3o3o3x3o3o3o3o  icoy
D9
06,1,1 - o3x3o3o3o3o3o3o *b3o  barn
16,1   - x3o3o3o3o3o3o3o *b3o  henne
61,1   - o3o3o3o3o3o3o3x *b3o  vee
E8+  *)
05,2,1 - o3o3x3o3o3o3o3o *c3o  ribfoh
15,2   - o3o3o3o3o3o3o3o *c3x  bifoh
25,1   - x3o3o3o3o3o3o3o *c3o  bayoh
52,1   - o3o3o3o3o3o3o3x *c3o  goh
E7++  **)
04,3,1 - o3o3o3x3o3o3o3o *d3o
14,3   - o3o3o3o3o3o3o3o *d3x
34,1   - x3o3o3o3o3o3o3o *d3o
43,1   - o3o3o3o3o3o3o3x *d3o
E6+++  ***)
04,2,2 - o3o3x3o3o3o3o *c3o3o
24,2   - o3o3o3o3o3o3o *c3o3x
42,2   - o3o3o3o3o3o3x *c3o3o
10
A10
09     - x3o3o3o3o3o3o3o3o3o  ux
08,1   - o3x3o3o3o3o3o3o3o3o  ru
07,2   - o3o3x3o3o3o3o3o3o3o  bru
06,3   - o3o3o3x3o3o3o3o3o3o  tru
05,4   - o3o3o3o3x3o3o3o3o3o  teru
D10
07,1,1 - o3x3o3o3o3o3o3o3o *b3o  brade
17,1   - x3o3o3o3o3o3o3o3o *b3o  hede
71,1   - o3o3o3o3o3o3o3o3x *b3o  ka
E8++  **)
06,2,1 - o3o3x3o3o3o3o3o3o *c3o
16,2   - o3o3o3o3o3o3o3o3o *c3x
26,1   - x3o3o3o3o3o3o3o3o *c3o
62,1   - o3o3o3o3o3o3o3o3x *c3o
E7+++  ***)
05,3,1 - o3o3o3x3o3o3o3o3o *d3o
15,3   - o3o3o3o3o3o3o3o3o *d3x
35,1   - x3o3o3o3o3o3o3o3o *d3o
53,1   - o3o3o3o3o3o3o3o3x *d3o
etc. (An and Dn diagrams only
— except of E8+++ = o3o3o3o3o3o3o3o3o3o *c3o)


© 2004-2024
top of page