ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Comatrice et formules de Cramer
Exercice 53
Soit , , matrices à coefficients entiers, dont les déterminants sont des entiers premiers entre eux. Montrer qu'il existe deux matrices , telles que
Corrigé
Les déterminants de et sont des entiers, par la formule qui définit le déterminant. Comme ils sont premiers entre eux, le théorème de Bézout (théorème 4 du chapitre 12) fournit deux entiers et tels que . Les cofacteurs de et sont des déterminants de matrices à coefficients entiers : et sont à coefficients entiers. On pose qui appartiennent à . Par le théorème 8,
Par exemple, et ont pour déterminants et , avec ; les matrices et vérifient ✓.
À retenir. La relation ramène une question sur les matrices à une question sur les entiers et . C'est la version matricielle de la relation de Bézout, que l'on retrouve avec .