Lemma 10.48.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 $R \otimes _ k k'$ is a domain,

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

## Comments (1)

Comment #4940 by Rankeya on

There are also: