%I #24 Aug 02 2018 16:34:39
%S 1,1,1,1,6,1,1,28,28,1,1,120,560,120,1,1,496,9920,9920,496,1,1,2016,
%T 166656,714240,166656,2016,1,1,8128,2731008,48377856,48377856,2731008,
%U 8128,1,1,32640,44216320,3183575040,13158776832,3183575040,44216320,32640,1
%N Triangle read by rows: T(n,k) is the number of diagonalizable n X n matrices over GF(2) that have rank k, n >= 0, 0 <= k <= n.
%C Equivalently, T(n,k) is the number of n X n matrices, P, over GF(2) with rank k, such that P^2 = P.
%C Equivalently, T(n,k) is the number of direct sum decompositions of the vector space GF(2)^n into exactly two subspaces U and W such that the dimension of U is k.
%H Geoffrey Critzer, <a href="https://esirc.emporia.edu/handle/123456789/3595">Combinatorics of Vector Spaces over Finite Fields</a>, Master's thesis, Emporia State University, 2018.
%H Kent E. Morrison, <a href="http://www.cs.uwaterloo.ca/journals/JIS/VOL9/Morrison/morrison37.html">Integer Sequences and Matrices Over Finite Fields</a>, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.1.
%F T(n,k)/A002884(n) is the coefficient of y^k*x^n in the expansion of Sum_{n>=0} x^n\A002884(n) * Sum_{n>=0} y*x^n\A002884(n).
%F T(n,k) = A002884(n)/(A002884(k)*A002884(n-k)) = A022166(n,k)*2^(k(n-k)).
%e Triangle begins:
%e 1;
%e 1, 1;
%e 1, 6, 1;
%e 1, 28, 28, 1;
%e 1, 120, 560, 120, 1;
%e 1, 496, 9920, 9920, 496, 1;
%e 1, 2016, 166656, 714240, 166656, 2016, 1;
%t nn = 8; g[n_] := (q - 1)^n q^Binomial[n, 2] FunctionExpand[
%t QFactorial[n, q]] /. q -> 2; Grid[Map[Select[#, # > 0 &] &,
%t Table[g[n], {n, 0, nn}] CoefficientList[Series[Sum[(u z)^r/g[r] , {r, 0, nn}] Sum[z^r/g[r], {r, 0, nn}], {z, 0, nn}], {z, u}]]]
%Y Cf. A132186 (row sums).
%K nonn,tabl
%O 0,5
%A _Geoffrey Critzer_, Dec 15 2017
|