Lemma 10.49.3. Let $k$ be a field. Let $S$ be a $k$-algebra. The following are equivalent

$S$ is geometrically integral over $k$,

for every finite extension $k'/k$ of fields the ring $S \otimes _ k k'$ is a domain,

$S \otimes _ k \overline{k}$ is a domain where $\overline{k}$ is the algebraic closure of $k$.

## Comments (2)

Comment #4940 by Rankeya on

Comment #5204 by Johan on

There are also: