Krull's Hauptidealsatz: Difference between revisions