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.
Cela donne la décomposition du facteur invariant et les entrées diagonales de la forme normale de Smith sont les facteurs invariants.