A346164 Number of n X n matrices over GF(2) whose characteristic polynomial is squarefree.

1, 2, 8, 160, 22272, 9744384, 20309999616, 165823024988160, 5334245506774204416, 699753231745207240753152, 366124801432291852761377538048, 769585907704777340287352115528990720, 6438115769123814066544745845515649290338304, 216154104085428332447218371078526172108859761491968

Offset

0,2

Links

Table of n, a(n) for n=0..13.

Jason Fulman Cycle Indices for the Finite Classical Groups, arXiv:math/9712239 [math.GR], 1997.

Kent E. Morrison, Integer Sequences and Matrices Over Finite Fields, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.1.

Formula

Sum_{n>=0} a(n)*x^n/A002884(n) = Product_{n>=1} (1 + x^n/(2^n-1))^A001037(n).

Lim_{n->infinity} a(n)/A002884(n) = 1. - Geoffrey Critzer, Oct 21 2021

Mathematica

nn = 13; A001037 = Table[1/n Sum[MoebiusMu[n/d] 2^d, {d, Divisors[n]}], {n, 1, nn}]; Table[Product[2^n - 2^i, {i, 0, n - 1}], {n, 0, nn}] CoefficientList[
  Series[Product[(1 + x^i/(2^i - 1))^A001037[[i]], {i, 1, nn}], {x, 0, nn}], x]

Crossrefs

Cf. A001037, A002884, A346082.

Sequence in context: A071097 A012537 A012540 * A175538 A009606 A009682

Adjacent sequences: A346161 A346162 A346163 * A346165 A346166 A346167

Keyword

nonn

Author

Geoffrey Critzer, Jul 08 2021

Status

approved