Cela donne la décomposition en facteur diagonal et les entrées normales de la forme invariante de Smith sont les facteurs invariants.
Il en résulte une décomposition en facteurs invariants et les entrées en diagonale de la forme de Smith normale sont les facteurs invariants.