WikiPrépaLivrets

Soit K\mathbb{K} un corps fini de cardinal qq. On considère un entier n∈N∗n \in \mathbb{N}^* tel que n≤qn \leq q.

Déterminer le nombre de matrices A∈Mn(K)A \in \mathcal{M}_n(\mathbb{K}) possédant exactement nn valeurs propres distinctes appartenant à K\mathbb{K}.

1.

Caractériser les matrices ayant nn valeurs propres distinctes dans K\mathbb{K} en termes de diagonalisabilité.

2.

Utiliser l'action par conjugaison du groupe linéaire GLn(K)GL_n(\mathbb{K}) sur l'ensemble de ces matrices.

3.

Pour une matrice diagonale DD fixée à valeurs propres distinctes, déterminer son centraliseur dans GLn(K)GL_n(\mathbb{K}).

4.

Se souvenir de la formule du cardinal de GLn(K)GL_n(\mathbb{K}).

Idées clés

•

Lien entre spectre simple et diagonalisabilité.

•

Théorème de l'orbite-stabilisateur appliqué à l'action par similitude.

•

Cardinal du groupe linéaire sur un corps fini.

1. Caractérisation des matrices cibles.

Soit S\mathcal{S} l'ensemble des matrices de Mn(K)\mathcal{M}_n(\mathbb{K}) ayant nn valeurs propres distinctes dans K\mathbb{K}.

D'après le cours, une matrice de Mn(K)\mathcal{M}_n(\mathbb{K}) possédant nn valeurs propres distinctes est diagonalisable.

Ainsi, une matrice AA appartient à S\mathcal{S} si et seulement si elle est semblable à une matrice diagonale D=diag(λ1,…,λn)D = \text{diag}(\lambda_1, \dots, \lambda_n) où les λi\lambda_i sont des éléments distincts de K\mathbb{K}.

A∈S  ⟺  ∃P∈GLn(K),∃(λ1,…,λn)∈Kn distincts, A=Pdiag(λ1,…,λn)P−1\boxed{ A \in \mathcal{S} \iff \exists P \in GL_n(\mathbb{K}), \exists (\lambda_1, \dots, \lambda_n) \in \mathbb{K}^n \text{ distincts}, \ A = P \text{diag}(\lambda_1, \dots, \lambda_n) P^{-1} }

2. Décompte des classes de similitude.

Deux matrices diagonales sont semblables si et seulement si leurs éléments diagonaux sont les mêmes à une permutation près.

Chaque classe de similitude incluse dans S\mathcal{S} est donc caractérisée de manière unique par le sous-ensemble des valeurs propres {λ1,…,λn}⊂K\{\lambda_1, \dots, \lambda_n\} \subset \mathbb{K}.

Le nombre de telles classes de similitude est égal au nombre de façons de choisir nn éléments distincts parmi qq, soit :

Nclasses=(qn)N_{classes} = \binom{q}{n}

3. Taille d'une classe de similitude.

Fixons un ensemble de nn valeurs propres distinctes et soit DD la matrice diagonale correspondante. La taille de sa classe de similitude (son orbite sous l'action de GLn(K)GL_n(\mathbb{K})) est donnée par :

Card(Orb(D))=Card(GLn(K))Card(Stab(D))\text{Card}(\text{Orb}(D)) = \frac{\text{Card}(GL_n(\mathbb{K}))}{\text{Card}(\text{Stab}(D))}
où Stab(D)={P∈GLn(K)∣PDP−1=D}\text{Stab}(D) = \{ P \in GL_n(\mathbb{K}) \mid PDP^{-1} = D \} est le centraliseur de DD dans GLn(K)GL_n(\mathbb{K}).

4. Calcul du stabilisateur.

Soit P=(pi,j)∈GLn(K)P = (p_{i,j}) \in GL_n(\mathbb{K}). La condition PD=DPPD = DP se traduit par :

∀(i,j)∈⟦1,n⟧2, pi,jλj=λipi,j  ⟺  pi,j(λj−λi)=0\forall (i,j) \in \llbracket 1, n \rrbracket^2, \ p_{i,j} \lambda_j = \lambda_i p_{i,j} \iff p_{i,j}(\lambda_j - \lambda_i) = 0

Puisque les λk\lambda_k sont distincts, si i≠ji \neq j, alors λj−λi≠0\lambda_j - \lambda_i \neq 0, ce qui impose pi,j=0p_{i,j} = 0.

Par conséquent, PP est une matrice diagonale. Comme PP doit être inversible, ses coefficients diagonaux doivent être non nuls dans K\mathbb{K}. Il y a q−1q-1 choix pour chaque coefficient diagonal.

Card(Stab(D))=(q−1)n\boxed{ \text{Card}(\text{Stab}(D)) = (q-1)^n }

5. Conclusion du dénombrement.

Le cardinal de GLn(K)GL_n(\mathbb{K}) est classiquement donné par :

Card(GLn(K))=∏k=0n−1(qn−qk)\text{Card}(GL_n(\mathbb{K})) = \prod_{k=0}^{n-1} (q^n - q^k)

En regroupant les résultats, le nombre total de matrices est :

Card(S)=(qn)×∏k=0n−1(qn−qk)(q−1)n\text{Card}(\mathcal{S}) = \binom{q}{n} \times \frac{\prod_{k=0}^{n-1} (q^n - q^k)}{(q-1)^n}

On peut simplifier l'expression en remarquant que ∏k=0n−1(qn−qk)=qn(n−1)/2∏k=1n(qk−1)\prod_{k=0}^{n-1} (q^n - q^k) = q^{n(n-1)/2} \prod_{k=1}^n (q^k - 1).

Le résultat final est :

Card(S)=q!n!(q−n)!∏k=0n−1(qn−qk)(q−1)n\boxed{ \text{Card}(\mathcal{S}) = \frac{q!}{n!(q-n)!} \frac{\prod_{k=0}^{n-1} (q^n - q^k)}{(q-1)^n} }

Attention à ne pas oublier que le stabilisateur ne contient que des matrices inversibles. Si l'on travaillait dans Mn(K)\mathcal{M}_n(\mathbb{K}) pour le centraliseur, on aurait qnq^n matrices, mais ici on divise par le cardinal du stabilisateur dans GLn(K)GL_n(\mathbb{K}).