The OEIS is supported by the many generous donors to the OEIS Foundation.
Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
%I #40 Jun 03 2024 18:26:12
%S 1,1,1,1,3,6,1,7,42,168,1,15,210,2520,20160,1,31,930,26040,624960,
%T 9999360,1,63,3906,234360,13124160,629959680,20158709760,1,127,16002,
%U 1984248,238109760,26668293120,2560156139520,163849992929280,1,255,64770,16322040,4047865920,971487820800,217613271859200,41781748196966400,5348063769211699200
%N Triangle read by rows: T(n,k) is the number of surjective linear mappings from an n-dimensional vector space over F_2 onto a k-dimensional vector space, n>=0, 0<=k<=n.
%C The (q = 2) analog of A008279.
%C A022166(m,k)*T(n,k) is the number of m X n matrices over F_2 that have rank k.
%C a(n) is the number of n X n matrices over F_2 in Green's R class containing A where rank(A) = k. - _Geoffrey Critzer_, Oct 05 2022
%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 Jeremy L. Martin, <a href="https://jlmartin.ku.edu/LectureNotes.pdf">Lecture Notes on Algebraic Combinatorics</a>, 2010-2023, Example 2.3.6.
%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.
%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Green's_relations">Green's relations</a>.
%F T(n,k) = Product_{j=0..k-1} (2^n - 2^j).
%F T(n,k) = A002884(k)*A022166(n,k).
%F Let g_m(x) = Sum_{n>=0} (2^m*x)^n/A005329(n) and e(x) = Sum_{n>=0} x^n/A005329(n). Then Sum_{k>=0} T(n,k)*x^k/A005329(k) = g_n(x)/e(x). - _Geoffrey Critzer_, Jun 01 2024
%e 1;
%e 1, 1;
%e 1, 3, 6;
%e 1, 7, 42, 168;
%e 1, 15, 210, 2520, 20160;
%e 1, 31, 930, 26040, 624960, 9999360;
%e ...
%t Table[Table[Product[q^n - q^i, {i, 0, k - 1}] /. q -> 2, {k, 0, n}], {n, 0,8}] // Grid
%Y Columns k=0-10 give: A000012, A000225, 6*A006095, 168*A006096, 20160*A006097, 9999360*A006110, 20158709760*A022189, 163849992929280*A022190, 5348063769211699200*A022191, 699612310033197642547200*A022192, 366440137299948128422802227200*A022193.
%Y Main diagonal gives A002884.
%Y Cf. A022166.
%K nonn,tabl
%O 0,5
%A _Geoffrey Critzer_, Jun 18 2017