Dies ergibt die Diagonalfaktorzerlegung, und die normalen Einträge der Smith-Invariantenform sind die Invariantenfaktoren.
Dies führt zu einer invarianten Faktorzerlegung, und die diagonalen Einträge der Smith-Normalform sind die invarianten Faktoren.