Bourbaki

Exercise 19, § 5

Commutative Algebra, VIII, p. 97

Let AA be an integral algebra and of finite type over a field kk. The set of maximal ideals m∈Specmax(A)m \in \mathrm{Specmax}(A) such that AmA_m is regular is open and dense in Specmax(A)\mathrm{Specmax}(A).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.