Definition 10.47.4. Let $k$ be a field. Let $S$ be a $k$-algebra. We say $S$ is geometrically irreducible over $k$ if for every field extension $k'/k$ the spectrum of $S \otimes _ k k'$ is irreducible1.

[1] An irreducible space is nonempty.

Comment #302 by UT on

I think it should be $S \otimes_k k'$ instead of $R \otimes_k k'$ in the definition.

There are also:

• 6 comment(s) on Section 10.47: Geometrically irreducible algebras

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).