OFFSET
1,2
COMMENTS
Equivalently, a(n) is the number of n X n matrices over GF(2) whose characteristic polynomial is primitive.
2^n - 1 is the greatest order that a matrix in the general linear group GL_n(F_2) can have.
LINKS
M. R. Darafsheh, Order of elements in the groups related to the general linear group, Finite fields and their applications, 11 (2005), 738-747.
MAPLE
a:= n-> mul(2^n-2^i, i=0..n-1)*numtheory[phi](2^n-1)/((2^n-1)*n):
seq(a(n), n=1..14); # Alois P. Heinz, Jul 01 2021
MATHEMATICA
nn = 13; Table[EulerPhi[2^n - 1]/n, {n, 1, nn}]* Table[Product[2^n - 2^i, {i, 0, n - 1}], {n, 1, nn}]/Table[2^n - 1, {n, 1, nn}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Geoffrey Critzer, Jul 01 2021
STATUS
approved
