In matematica, il teorema dell'ideale principale (a volte citato, in tedesco, come Hauptidealsatz) è un teorema di algebra commutativa che stabilisce un'importante proprietà degli anelli commutativi noetheriani.
È stato dimostrato da Wolfgang Krull nel 1928.[1]