Lemma 33.10.6. Let k be a field. Let X be a normal scheme over k. Let K/k be a separable field extension. Then X_ K is a normal scheme.
Lemma 33.10.6. Let k be a field. Let X be a normal scheme over k. Let K/k be a separable field extension. Then X_ K is a normal scheme.
Proof. Follows from Lemma 33.10.5 and Algebra, Lemma 10.165.4. \square
Comments (0)