Dies führt zu einer invarianten Faktorzerlegung, und die diagonalen Einträge der Smith-Normalform sind die invarianten Faktoren.
Dies ergibt die Zerlegung des invarianten Faktors, und die diagonalen Einträge der Smith-Normalform sind die invarianten Faktoren.