|
| |
|
|
A053722
|
|
Number of n X n binary matrices of order dividing 2 (also number of solutions to X^2=I in GL(n,2)).
|
|
23
| |
|
|
1, 4, 22, 316, 6976, 373024, 32252032, 6619979776, 2253838544896, 1810098020122624, 2442718932612677632, 7758088894129169760256, 41674675294431186817908736, 526370120583359572695165435904
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 1,2
|
|
|
COMMENTS
| In characteristic 2, A^2 = I if and only if B^2 = 0 where B = I + A, so a(n) is also equal to the number of n X n binary matrices B such that B^2 = 0.
|
|
|
REFERENCES
| V. Jovovic, The cycle index polynomials of some classical groups, Belgrade, 1995, unpublished.
Kent E. Morrison, Integer Sequences and Matrices Over Finite Fields, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.1.
|
|
|
FORMULA
| a(n) = sum k=1...[n/2] (2^n - 1)(2^n - 2) ... (2^n - 2^{n-k+1})/(2^k - 1)(2^k - 2)....(2^k - 2^{k-1}) * (2^{n-k} - 1)(2^{n-k} - 2)...(2^{n-k} - 2^{n-2k+1}). - Ahmed Fares (ahmedfares(AT)my-deja.com), Jul 05 2001
|
|
|
CROSSREFS
| Sequence in context: A125801 A195227 A119009 * A145504 A104166 A065401
Adjacent sequences: A053719 A053720 A053721 * A053723 A053724 A053725
|
|
|
KEYWORD
| nonn
|
|
|
AUTHOR
| Vladeta Jovovic (vladeta(AT)eunet.rs), Mar 23 2000
|
| |
|
|