|
|
A162208
|
|
Number of reduced words of length n in the Weyl group D_5.
|
|
49
|
|
|
1, 5, 14, 30, 54, 85, 120, 155, 185, 205, 212, 205, 185, 155, 120, 85, 54, 30, 14, 5, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
REFERENCES
|
N. Bourbaki, Groupes et algèbres de Lie, Chap. 4, 5, 6. (The group is defined in Planche IV.)
J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge, 1990. See under Poincaré polynomial.
|
|
LINKS
|
|
|
FORMULA
|
The growth series for D_k is the polynomial f(k)*Prod_{i=1..k-1} f(2*i), where f(m) = (1-x^m)/(1-x) [Corrected by N. J. A. Sloane, Aug 07 2021]. This is a row of the triangle in A162206.
|
|
MAPLE
|
A162208g := proc(m::integer)
(1-x^m)/(1-x) ;
end proc:
g := A162208g(k);
for m from 2 to 2*k-2 by 2 do
g := g*A162208g(m) ;
end do:
g := expand(g) ;
coeftayl(g, x=0, n) ;
end proc:
|
|
MATHEMATICA
|
n = 5;
x = y + y O[y]^(n^2);
|
|
CROSSREFS
|
The growth series for D_k, k >= 3, are also the rows of the triangle A162206.
Growth series for groups D_n, n = 3,...,50: A161435, A162207, A162208, A162209, A162210, A162211, A162212, A162248, A162288, A162297, A162300, A162301, A162321, A162327, A162328, A162346, A162347, A162359, A162360, A162364, A162365, A162366, A162367, A162368, A162369, A162370, A162376, A162377, A162378, A162379, A162380, A162381, A162384, A162388, A162389, A162392, A162399, A162402, A162403, A162411, A162412, A162413, A162418, A162452, A162456, A162461, A162469, A162492; also A162206.
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|