On note la signature de la permutation .
Montrer que la somme est nulle.
Déterminer le déterminant de la matrice de dimension .
Déduire de la question précédente que où est l’ensemble des dérangements de , soit les permutations sans point fixe.
Hints
2Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
En reprenant la formule du déterminant de la première indication, on remarque qu’on nous demande simplement de calculer le déterminant de la matrice avec des partout (on prend tous les égaux à ). Mais cette matrice n’est clairement pas inversible car de rang (toutes les colonnes sont égales) donc . On notera le cas particulier qui donne pour résultat (car la seule permutation de taille est l’identité, de signature ).
Notons notre déterminant. On va alors réaliser différentes combinaisons avec les colonnes pour le calculer, ce qui est bien possible car le déterminant est invariant par ce type d’opération. Notons alors les colonnes de notre matrice.
En retirant à toutes les colonnes on trouve que:
Il ne reste plus qu’à ajouter toutes les colonnes à , ce qui donne:
On tombe ainsi sur une matrice triangulaire supérieure, dont il est facile de calculer le déterminant: c’est le produit des éléments sur la diagonale. Ainsi .
- On voit encore apparaître la forme d’un déterminant. Mais ici on somme sur des dérangements donc le produit est nul si, et seulement si, n’est pas un dérangement, soit s’il admet un point fixe.
Ainsi cela se transcrit par l’annulation de tous les coefficients diagonaux . Et si est un dérangement alors le produit vaut donc on prend tous les autres coefficients égaux à .
Mais alors on retrouve le déterminant de notre matrice de la question ! On conclut donc que notre somme est égale à son déterminant, ce qui donne le résultat.
