Henri Lombardi et Claude Quitté, Algèbre commutative — Méthodes constructives — Modules projectifs de type fini, Calvage & Mounet, (1re éd. 2011) (arXiv1611.02942, présentation en ligne), p. 96-97.
Ces formules incontournables sont démontrées dans tous les cours d'algèbre linéaire, comme :
J.-P. Marco et L. Lazzarini, Mathématiques L1 : cours complet avec 1000 tests et exercices corrigés, Pearson, (lire en ligne), chap. 20 (« Déterminants »), p. 541 et 546
Henri Lombardi et Claude Quitté, Algèbre commutative — Méthodes constructives — Modules projectifs de type fini, Calvage & Mounet, (1re éd. 2011) (arXiv1611.02942, présentation en ligne), p. 96-97.