Noetherian domain

From Commalg