Bourbaki

Exercise 26, § 5

Commutative Algebra, VIII, p. 98

Let kk be a field, AA an integral kk-algebra of finite type. Now prove that Lis(A)\mathrm{Lis}(A) is dense if and only if AA is a separable kk-algebra; it amounts to the same thing to suppose that the field of fractions of AA is a separable extension of kk (A, V, p. 115).

Solution

No solution has been written yet.

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