How to deduce a formula (see below) for number of conjugacy classes in $\operatorname{GL}\_n(F\_2)$? (More generally F\_q) ?
Is there some description of conjugacy classes or we just know how many of them but do not know how to describe them ?


Can someone send me a paper, please ?:
"Pairs of commuting matrices over a finite field"
Walter Feit and N. J. Fine


[Link](https://projecteuclid.org/journals/duke-mathematical-journal/volume-27/issue-1/Pairs-of-commuting-matrices-over-a-finite-field/10.1215/S0012-7094-60-02709-5.short)


**FORMULA from [OEIS](https://oeis.org/A006951)**
The number $a(n)$ of conjugacy classes in the group $\operatorname{GL}(n, q)$ is the coefficient of $t^n$ in the infinite product: product $k=1, 2, ... (1-t^k)/(1-qt^k)$ - Noam Katz (noamkj(AT)hotmail.com), Mar 30 2001.


Simple observations
-------------------


Clearly if characteristic polynom is different then matrices are not conjugated.
For each char. pol. it is easy to give a matrix with such char. pol. so we get (q-1)q^{n-1}
possibilities at least.


But if char. pol has a roots with multiplicities - then we may have several Jordan cells
and several conjugacy classes with same characteristic polynomial.
So it is not clear for me how to count them.


Diagonal elements of corresponding Jordan cells may not live in F\_q but in some alg. extentsion
of it, these makes me completely puzzled - is it possible to control this ? Hardly...


Related and not so much but nice questions :)
---------------------------------------------


[Number of conjugacy classes in generic finite group?](https://mathoverflow.net/questions/34358/number-of-conjugacy-classes-in-generic-finite-group)


[Sizes of twisted conjugacy classes of $PSL(n,q)$](https://mathoverflow.net/questions/86454/sizes-of-twisted-conjugacy-classes-of-psln-q)


[How many conjugacy classes of subgroups does GL(2,p) have?](https://mathoverflow.net/questions/26099/how-many-conjugacy-classes-of-subgroups-does-gl2-p-have)


[Decomposition of GL(2,p) into irreducible representations](https://mathoverflow.net/questions/30589/decomposition-of-gl2-p-into-irreducible-representations)


[Centralizers in GL(n,p)](https://mathoverflow.net/questions/27099/centralizers-in-gln-p)


[Products of Conjugacy Classes in S\_n](https://mathoverflow.net/questions/62088/products-of-conjugacy-classes-in-s-n)


[The number of conjugacy classes and the order of the group](https://mathoverflow.net/questions/77517/the-number-of-conjugacy-classes-and-the-order-of-the-group)


[Arithmetic relations between degrees of irrchar and cardinals of conjugacy classes](https://mathoverflow.net/questions/78682/arithmetic-relations-between-degrees-of-irrchar-and-cardinals-of-conjugacy-classe)


[Can we bound degrees of complex irreps in terms of the average conjugacy class size?](https://mathoverflow.net/questions/21071/can-we-bound-degrees-of-complex-irreps-in-terms-of-the-average-conjugacy-class-si)


[Symmetric group irreps in tensor products of exterior products of the standard representation](https://mathoverflow.net/questions/62531/symmetric-group-irreps-in-tensor-products-of-exterior-products-of-the-standard-re)



Conjugcy classes in GL(F_2)? GL(F_q)
**Edit:** Unfortunately, the first version of this answer was wrong, so I had to rewrite it almost entirely.


So the formula you want to prove is:
$$
 \sum\_{n=1}^\infty C\_{n,q} t^n =\prod\_{k=1}^\infty \frac{1-t^k}{1-qt^k}
$$
where $C\_{n,q}$ denotes the number of conjugacy classes in $\textrm{GL}\_n(q)$.


Note that
$$
 \frac{1-t^k}{1-qt^k} =1+\sum\_{i=1}^\infty (q^i-q^{i-1}) t^{ki}
$$
As Paul Garrett notes in his answer, $q^i-q^{i-1}$ is the number of monic polynomials in $\mathbb F\_q[x]$ of degree $i$ with non-vanishing constant term. One usual way of counting conjugagy classes of matrices in $\textrm{GL}\_n(q)$ (or $\textrm{Mat}\_n(\mathbb F\_q)$, if one admits the eigenvalue $0$) is counting isomorphism classes of $\mathbb F\_q[x]$-modules of dimension $n$, which by the structure theorem on f.g. modules over PID's are given by
$$
 \mathbb F\_{q}[x]/(p\_k(x)) \oplus \mathbb F\_{q}[x]/(p\_k(x)\cdot p\_{k-1}(x)) \ldots \oplus F\_{q}[x]/(p\_k(x)\cdot p\_{k-1}(x)\cdots p\_{1}(x))
$$
where $p\_1,\ldots,p\_k$ are monic polynomials with constant term $\neq 0$ (uniquely determined by the isomorphism type of the module) such that $1\cdot \textrm{deg}(p\_1)+2\cdot \textrm{deg}(p\_2) \ \ldots + k \cdot \textrm{deg}(p\_k) = n \textrm{ (the dimension of the module)}$. Note that some of the $p\_i$ may very well be equal to $1$.


From the above considerations it is clear that we can parametrize isomorphism classes of $\mathbb F\_q[x]$-modules by giving a sequence of monic polynomials which eventually becomes constant $=1$, by letting the module given above correspond to the sequence
$$
(f\_1,f\_2,f\_3,\ldots) =(p\_k, p\_{p-1},\ldots,p\_1,1,1,\ldots)
$$
Note that in this sequence, $f\_m$ constributes $m\cdot \textrm{deg}(f\_m)$ to the dimension of the module. It follows
$$
\begin{array}{rcl}
\sum\_{n=1}^\infty C\_{n,q} t^n &=& \prod\_{m=1}^{\infty}\left(\sum\_{i=0}^\infty \#\textrm{(choices for $f\_m$ that contribute $mi$ to the dimension)}\cdot t^{mi}\right)\newline &=&\prod\_{m=1}^{\infty} \left(1+\sum\_{i=1}^\infty (q^i-q^{i-1}) t^{mi}\right) =\prod\_{m=1}^\infty \frac{1-t^m}{1-qt^m}
\end{array}
$$


