Teorema Ideal Utama adalah salah satu batu penjuru dari teori dimensional pada gelanggang Noether. Untuk suatu M R-modul, suatu submodul di M analogi
dengan ideal prima di R. Berdasarkan hal ini, teorema ideal utama pada gelanggang Noether dikembangkan teorema ini pada modul atas daerah faktorisasi tunggal
lokal.