Definition 33.6.1. Let $k$ be a field. Let $X$ be a scheme over $k$.

Let $x \in X$ be a point. We say $X$ is

*geometrically reduced at $x$*if for any field extension $k'/k$ and any point $x' \in X_{k'}$ lying over $x$ the local ring $\mathcal{O}_{X_{k'}, x'}$ is reduced.We say $X$ is

*geometrically reduced*over $k$ if $X$ is geometrically reduced at every point of $X$.

## Comments (0)

There are also: