Die Bezeichnung Hauptidealsatz wird für die folgenden mathematischen Sätze verwendet:

Krullscher Hauptidealsatz, ein zentrales Resultat der Dimensionstheorie der kommutativen Algebra. Hauptidealsatz der Klassenkörpertheorie, ein zentrales Resultat der Klassenkörpertheorie.