cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A003931 Order of universal Chevalley group B_2(q), q = prime power.

This page as a plain text file.
%I A003931 #25 Jun 24 2025 05:49:08
%S A003931 720,51840,979200,9360000,276595200,1056706560,3443212800,25721308800,
%T A003931 137037962880,1095199948800,2008994088960,6114035779200,
%U A003931 41348052472320,95214600000000,205608315669120,420206392771200,818774509363200,1124799322521600,4805069329111680,13414669637644800
%N A003931 Order of universal Chevalley group B_2(q), q = prime power.
%D A003931 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 A003931 H. S. M. Coxeter and W. O. J. Moser, Generators and Relations for Discrete Groups, 4th ed., Springer-Verlag, NY, reprinted 1984, p. 131.
%H A003931 Robin Visser, <a href="/A003931/b003931.txt">Table of n, a(n) for n = 1..10000</a>
%H A003931 <a href="/index/Gre#groups">Index entries for sequences related to groups</a>.
%F A003931 a(n) = B(A000961(n + 1), 2) where B(q,n) is defined in A003920. - _Sean A. Irvine_, Sep 22 2015
%t A003931 B[q_, n_] := q^(n^2) * Product[q^(2*k) - 1, {k, 1, n}]; Table[B[q, 2], {q, Select[Range[50], PrimePowerQ]}] (* _Amiram Eldar_, Jun 24 2025 *)
%o A003931 (Magma) [#SymplecticGroup(4,q) : q in [2..50] | IsPrimePower(q)];  // _Robin Visser_, Aug 06 2023
%Y A003931 Cf. A000961, A003920, A003932, A003933, A003934, A003935, A003936, A003937.
%K A003931 nonn,easy
%O A003931 1,1
%A A003931 _N. J. A. Sloane_
%E A003931 More terms from _Robin Visser_, Aug 06 2023