Smithin normaalimuoto on diagonaalinen (ei välttämättä neliö) matriisi pääideaalialueen yli , jonka jokainen diagonaalinen elementti on jaollinen edellisellä. Mikä tahansa pääideaalialueen ylittävä matriisi voidaan pelkistää Smithin normaalimuotoon kertomalla vasen ja oikea käännettävillä matriiseilla [1] .
Jokaiselle matriisille , jonka koko on yli verkkotunnuksen pääideaalien , on olemassa käännettävät matriisit yli ja sellaiset, että missä on jaollinen . Tässä tarkoittaa kokomatriisia määritetyillä diagonaalisilla merkinnöillä ja nollia muissa paikoissa.
Smithin normaalimuotolause sisältää hyvin tunnetun lauseen äärellisesti generoitujen moduulien rakenteesta pääideaalialueiden yli . Erityisesti, jos on kokonaislukujen rengas, niin Smithin normaalimuoto antaa lauseen äärellisesti generoitujen Abelin ryhmien rakenteesta, ja jos polynomien rengas on algebrallisesti suljetun kentän päällä , niin sitä voidaan käyttää lauseen johtamiseen lineaarisen operaattorin Jordan - muoto .