%I #23 Jun 14 2024 22:31:08
%S 1,504,16482816,34558531338240,4638226007491010887680,
%T 39841906041871272087686291128320,
%U 21903309038581548352789123727634573903790080
%N Order of universal Chevalley group A_n (8).
%D 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.
%D H. S. M. Coxeter and W. O. J. Moser, Generators and Relations for Discrete Groups, 4th ed., Springer-Verlag, NY, reprinted 1984, p. 131.
%F Numbers so far appear to equal A052496(n)/7. - _Ralf Stephan_, Mar 30 2004
%F a(n) = A(8,n) where A(q,n) is defined in A003787. - _Sean A. Irvine_, Sep 18 2015
%t f[m_, n_] := m^(n (n + 1)/2) Product[m^k - 1, {k, 2, n + 1}]; f[8, #] & /@ Range[0, 6] (* _Michael De Vlieger_, Sep 18 2015 *)
%o (Magma) [&*[(8^n - 8^k): k in [0..n-1]]/7: n in [1..8]]; // _Vincenzo Librandi_, Sep 19 2015
%K nonn,easy
%O 0,2
%A _N. J. A. Sloane_
|