Soit un corps fini de cardinal . On considère un -espace vectoriel de dimension . On note l'ensemble des endomorphismes de .
Pour dénombrer , dénombrer les bases de en choisissant les vecteurs les uns après les autres.
Pour la décomposition (lemme de Fitting), considérer les suites et . Elles stationnent dès l'indice .
Pour le dénombrement des décompositions , compter les bases de dont les premiers vecteurs engendrent et les suivants engendrent .
Pour la relation combinatoire, classer les endomorphismes selon la dimension de leur "partie inversible".
Dénombrement de bases dans un espace vectoriel sur un corps fini.
Lemme de Fitting : décomposition d'un endomorphisme en parties inversible et nilpotente.
Relation de récurrence sur les cardinaux.
Résolution.
Attention à l'unicité dans le lemme de Fitting : les sous-espaces et sont uniques pour un endomorphisme donné, ce qui permet de sommer sur les décompositions sans double comptage.