Eine kanonische Diagonalform, die für eine Matrix über einem Hauptidealring (PID) mittels invertierbarer Zeilen- und Spaltenoperationen erreicht werden kann und Diagonaleinträge d1,…,dr (gegebenenfalls mit nachfolgenden Nullen) liefert, die d1 | d2 | … | dr erfüllen; die Diagonaleinträge sind bis auf Multiplikation mit Einheiten eindeutig und kodieren die Invariantfaktoren des entsprechenden Moduls.

Prinzip

Anwenden unimodularer Zeilen- und Spaltentransformationen über einem PID, um nacheinander Nichtdiagonalelemente zu löschen und Invariantenteiler zu extrahieren; die Teilbarkeitskette und Eindeutigkeit folgen aus idealtheoretischen Invarianten und Smiths Reduktionsverfahren.

Demonstration

Ganzzahliges Beispiel: Für A = [[2,4],[6,8]] lässt sich A durch ganzzahlige Zeilen- und Spaltenoperationen in diag(2,4) überführen. Die Diagonaleinträge 2 und 4 erfüllen 2 | 4 und ihr Produkt ist |det(A)|, und liefern so die Invariantfaktoren von Z^2 / im(A).

Fehlanwendung

Die Smith-Normalform mit Diagonalisierung über einem Körper (Jordan-Form) verwechseln oder versuchen, SNF über Ringen zu berechnen, die keine PIDs sind; ebenso nur Zeilenoperationen (Hermite-Form) anzuwenden, wenn Spaltenoperationen für SNF erforderlich sind.

Konsequenz

SNF liefert eine vollständige Klassifikation endlich erzeugter Module über einem PID, berechnet Invariantfaktoren und elementare Teiler, löst lineare diophantische Gleichungssysteme und bestimmt die Struktur von abelschen Gruppen gegeben durch Präsentationen.

Umkehrung

Statt durch unimodulare Operationen zu reduzieren, kann man das Modul durch die Idealstruktur der Präsentationsmatrix charakterisieren oder Invariantfaktoren mittels globaler algebraischer Invarianten (determinantielle Teiler) ohne explizite Reduktion berechnen.

Abgrenzung

Gilt für Matrizen über Hauptidealringen (z. B. Z oder k[x]); ist nicht allgemein definiert oder eindeutig über nicht-PID-Ringen, und SNF unterscheidet sich von Ähnlichkeitsklassifikationen über Körpern (Jordan-Form) sowie von Formen der reinen Zeilenreduktion.

Semantische Spannung

Wird oft mit Jordan- oder rationaler Normalform (feldbasierte Ähnlichkeitsinvarianten) und mit Hermite-Normalform (nur Zeilenreduktion) verwechselt; Spannung entsteht, weil SNF sowohl links- als auch rechts-unimodulare Operationen benutzt und modultheoretische statt linear-operatorische Invarianten kodiert.

Synthese

Die Smith-Normalform ist die kanonische Diagonalisierung einer Matrix über einem PID, gewonnen durch unimodulare Zeilen- und Spaltenoperationen; ihre geordneten diagonalen Teiler erfassen die Invariantfaktorzerlegung des präsentierten Moduls und sind bis auf Einheiten eindeutig.