##  [Smith-Normalform](/de/node/61529) 

 Definition

Eine kanonische Diagonalform für Matrizen über den ganzen Zahlen (oder allgemeiner über einem Hauptidealring), erhalten durch linke und rechte Multiplikation mit unimodulären Matrizen, deren Diagonaleinträge d1, d2, ... die Teilbarkeitsbedingung d1 | d2 | ... erfüllen und die Modulstruktur des Kokerns kodieren.

 

 

 

 

 

 





## Prinzip

Prinzip

Wende invertierbare Zeilen- und Spaltenoperationen über einem HIR an, um eine Matrix in eine Diagonale mit invarianten Teilbarkeitsfaktoren zu überführen; die Form ist eindeutig bis auf Multiplikation der diagona len Einträge mit Einheiten und Permutation, die der Teilbarkeitsordnung entspricht.

 

 

 

 

 





## Demonstration

Demonstration

Für eine 2×2-Ganzzahlmatrix [[2,4],[6,8]] führen unimoduläre Zeilen- und Spaltenoperationen zur Diagonaldarstellung diag(2,2), was die invarianten Faktoren 2 und 2 offenbart und zeigt, dass der Kokern ≅ Z/2Z × Z/2Z ist.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Die Smith-Normalform fälschlich als Jordan-Normalform über einem Körper zu behandeln oder das SNF-Verfahren blind auf einem nicht-HIR anzuwenden; das erzeugt falsche Invarianten oder lässt das Verfahren scheitern.

 

 

 

 

 





## Konsequenz

Konsequenz

Richtige Anwendung liefert vollständige Invarianten für endlich erzeugte Module über einem HIR: Klassifikation der von der Matrix präsentierten abelschen Gruppen, Berechnung elementarer Teiler und Bestimmung der Torsionsstruktur.

 

 

 

 

## Umkehrung

Umkehrung

Anstelle der Reduktion durch unimoduläre Operationen zur Diagonalen kann man in einen größeren Ring oder Körper wechseln, um Jordan- oder rationale Kanonische Formen zu erhalten; diese Umkehrungen ändern Invarianten von ganzzahliger Teilbarkeit zu Eigenwertstruktur.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für Matrizen über einem Hauptidealring (nicht für beliebige kommutative Ringe); über Nicht-HIR kann SNF nicht existieren oder andere Invarianten erfordern; sie behandelt Modulstruktur, nicht jedoch algebraisch-geometrische Eigenschaften über Feldern.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Steht in Spannungsverhältnis zur Hermite-Normalform und zur Jordan-Normalform: HNF liefert eine Dreiecksform für Gitterbasen, JNF beschreibt Operatoren über algebraisch abgeschlossenen Körpern; SNF zeichnet speziell die ganzzahlige Teilbarkeit auf.

 

 

 

 

 





## Synthese

Synthese

Die Smith-Normalform ist die kanonische ganzzahlige Diagonalisierung durch unimoduläre Zeilen-/Spaltenoperationen, die Teilbarkeitsinvarianten extrahiert; sie überführt Matrixdaten in Modul-Invarianten zur Klassifikation endlich erzeugter abelscher Gruppen und zur Bestimmung der Torsion.