A003836 Order of universal Chevalley group D_n (9).
8, 518400, 203039372390400, 516728027484579221176320000, 8618734695485494933763249322971006238720000, 943067434111013598831873524092098584047517678156686295040000000
Offset: 1
References
- J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, ATLAS of Finite Groups. Oxford Univ. Press, 1985 [for best online version see https://oeis.org/wiki/Welcome#Links_to_Other_Sites], p. xvi.
- H. S. M. Coxeter and W. O. J. Moser, Generators and Relations for Discrete Groups, 4th ed., Springer-Verlag, NY, reprinted 1984, p. 131.
Programs
-
Mathematica
d[q_, n_] := q^(n*(n-1)) * (q^n-1) * Product[q^(2*k) - 1, {k, 1, n-1}]; Table[d[9, n], {n, 1, 8}] (* Amiram Eldar, Jun 24 2025 *)
Formula
a(n) = D(9,n) where D(q,n) is defined in A003830. - Sean A. Irvine, Sep 17 2015
a(n) ~ c * 9^(n*(2*n-1)), where c = Product_{k>=1} (1 - 1/9^(2*k)) = 0.987501905484... . - Amiram Eldar, Jul 08 2025
Extensions
a(6) from Sean A. Irvine, Sep 17 2015