El determinante de la matriz con coeficientes en es:
Si a la matriz se le realizan, en el orden indicado, las siguientes operaciones elementales:
se obtiene la matriz
El algoritmo de Gauss-Jordan aplicado a la matriz con coeficientes en devuelve la matriz Entonces se verifica que: