title: Déterminant de Dieudonné
text: # Déterminant de Dieudonné
  
  En algèbre linéaire, le déterminant de Dieudonné est une généralisation du déterminant aux corps gauches et plus généralement aux anneaux locaux non nécessairement commutatifs.
  
  ## Définition
  
  Soient R un anneau local (non nécessairement commutatif) et $(R^×)^{ab}$ l'abélianisé du groupe $R^×$ de ses éléments inversibles (c'est le groupe quotient de $R^×$ par son groupe dérivé $[R^×,$ $R^×]).$ Notons θ le morphisme canonique de $R^×$ sur $(R^×)^{ab}.$ Pour tout entier n ≥ 1, il existe un unique application det : $GL_n(R)$ → $(R^×)^{ab},$ appelée déterminant, telle que :
  
  * le déterminant est invariant par toute opération élémentaire sur les lignes consistant à ajouter à une ligne un multiple à gauche d'une autre ligne ;
  * le déterminant de la matrice identité est l'élément neutre 1 ;
  * si une ligne est multipliée à gauche par un élément inversible a alors le déterminant est multiplié à gauche par l'image de a dans $(R^×)^{ab}.$
  
  ## Exemples
  
  Soit $A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {GL} _{n}(R)$. Alors chaque ligne et chaque colonne contient au moins un élément inversible. Supposons par exemple que $a\in R^{\times }$. Alors,
  
      ${\begin{aligned}\det A&={\overline {a}}\det {\begin{pmatrix}1&a^{-1}b\\c&d\end{pmatrix}}={\overline {a}}\det {\begin{pmatrix}1&a^{-1}b\\c-c\times 1&d-c\times a^{-1}b\end{pmatrix}}={\overline {a}}{\overline {\left(d-ca^{-1}b\right)}}\det {\begin{pmatrix}1&a^{-1}b\\0&1\end{pmatrix}}\\&={\overline {a\left(d-ca^{-1}b\right)}}\det {\begin{pmatrix}1-a^{-1}b\times 0&a^{-1}b-a^{-1}b\times 1\\0&1\end{pmatrix}}={\overline {a\left(d-ca^{-1}b\right)}}\det \mathrm {I} _{2}\\&={\overline {a\left(d-ca^{-1}b\right)}}.\end{aligned}}$
  
  De même, si $c\in R^{\times }$ alors
  
      $\det A={\overline {c\left(ac^{-1}d-b\right)}}$.
  
  Plus concrètement, soit R = ℍ, le corps des quaternions. $(ℍ^×)^{ab}$ = ℝ+*. Pour
  
      $A={\begin{pmatrix}1&\mathrm {i} \\\mathrm {j} &\mathrm {k} \end{pmatrix}}\quad {\text{et}}\quad A^{\mathrm {t} }={\begin{pmatrix}1&\mathrm {j} \\\mathrm {i} &\mathrm {k} \end{pmatrix}}$,
  
  les deux formules ci-dessus s'appliquent, donnant bien entendu le même résultat :
  
      $\det A=\|1\left(\mathrm {k} -\mathrm {j} \mathrm {i} \right)\|=\|\mathrm {j} \left(-\mathrm {j} \mathrm {k} -\mathrm {i} \right)\|=\|2\mathrm {k} \|=2$ et
      $\det A^{\mathrm {t} }=\|1\left(\mathrm {k} -\mathrm {i} \mathrm {j} \right)\|=\|\mathrm {i} \left(-\mathrm {i} \mathrm {k} -\mathrm {j} \right)\|=\|0\|=0$.
  
  ## Propriétés
  
  * Cette application est un morphisme de groupes.
  * Quand on intervertit deux lignes, le déterminant est multiplié par –1.
  * Si R est commutatif, le déterminant est invariant par transposition.
  