Definition 33.8.1. Let X be a scheme over the field k. We say X is geometrically irreducible over k if the scheme X_{k'} is irreducible1 for any field extension k' of k.
[1] An irreducible space is nonempty.
Definition 33.8.1. Let X be a scheme over the field k. We say X is geometrically irreducible over k if the scheme X_{k'} is irreducible1 for any field extension k' of k.
Comments (0)
There are also: