exo7 2112

Montrer que l’ensemble des matrices carrées à \(n\) lignes et \(n\) colonnes de déterminant non nul est un groupe pour la multiplication.