---
date: 2022-04-16 22:17
modification date: Saturday 16th April 2022 22:17:52
title: "normal scheme"
aliases: [normal scheme]
---

Last modified date: <%+ tp.file.last_modified_date() %>

---
- Tags: 
	- #todo/untagged
- Refs:
	- #todo/add-references
- Links:
	- #todo/create-links 

---

# normal scheme

![](attachments/Pasted%20image%2020220416221756.png)

For affine varieties: the global regular functions $\OO_X(X)$ forms an integrally closed domain.
For varieties over a field: $X$ is normal iff any birational $Y\birational X$ is an isomorphism.