Benutzer:Ein weiterer Max

aus Wikipedia, der freien Enzyklopädie

Smith'sche Normalform Smith-Normalform smithsche Normalform

Sei ein Hauptidealring, . Dann ist stets äquivalent zu einer Diagonalmatrix mit

,

sodass , wobei die alle eindeutig bestimmt sind bis auf Assoziierte. heißt Rang von bzw. , die heißen Elementarteiler von . (siehe auch Elementarteilersatz) heißt Smith'sche Normalform von .