Definition 72.13.1. Let $k$ be a field. Let $X$ be a decent algebraic space over $k$. We say $X$ is geometrically irreducible if the topological space $|X_{k'}|$ is irreducible1 for any field extension $k'$ of $k$.
[1] An irreducible space is nonempty.
Comments (0)