Lemma 28.7.4. Let X be an integral scheme. Then X is normal if and only if for every nonempty affine open U \subset X the ring \mathcal{O}_ X(U) is a normal domain.
Proof. This follows from Algebra, Lemma 10.37.10. \square
Lemma 28.7.4. Let X be an integral scheme. Then X is normal if and only if for every nonempty affine open U \subset X the ring \mathcal{O}_ X(U) is a normal domain.
Proof. This follows from Algebra, Lemma 10.37.10. \square
Comments (0)
There are also: