Lemma 10.37.10. Let R be a domain. The following are equivalent:
The domain R is a normal domain,
for every prime \mathfrak p \subset R the local ring R_{\mathfrak p} is a normal domain, and
for every maximal ideal \mathfrak m the ring R_{\mathfrak m} is a normal domain.
Comments (2)
Comment #8508 by Elías Guisado on
Comment #9113 by Stacks project on
There are also: