Déterminant de Dieudonné
# 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.
