Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In this book (Liu's Algebraic Geometry book), we can find the next proposition;

Proposition 3.2.20. Let $X$ be a geometrically reduced algebraic variety over a field $k$. Let $k^s$ be the separable closure of $k$. Then $X(k^s)$ is not empty.

,and the proof of this Proposition starts with assuming $k=k^s$, $X$ is affine and integral by replacing $X$ by an irreducible open affine subset. But I cannot understand how we can make second assumption.(Throughout the book an algebraic variety is defined by a of finite type $k$-scheme)

share|cite|improve this question
It is not true that any finite type k-scheme has k-rational points. Consider: $\mathbb{R}[x]/(x^2+1) \cong \mathbb{C}$ as a $\mathbb{R}$-scheme. – Dedalus May 1 '13 at 10:57
@Dedalus Thanks! – User0829 May 1 '13 at 11:09
up vote 6 down vote accepted

Like any variety, $X$ has a decomposition as the finite union of its irreducible components: $X=\bigcup_{i=1}^r X_i$.
Each $X_i$ is an integral closed subvariety $X_i\subset X$ of $X$, so that a rational point of $X_i$ is also a rational point of $X$ and so it suffices to prove the result for $X_1$ (say).
In other words we may suppose $X$ integral.

Then our integral $X$ has (by definition of an algebraic variety) a covering $X=\bigcup U_j$ by affine open subvarietes $ U_j$ and the key point is that those $U_j$'s are automatically integral too.
To conclude, just notice that a rational point of $U_j$ is a rational point of $X$ so that we have indeed reduced (through replacing $X$ by any $U_j$) to the case where $X$ is an affine integral variety.

share|cite|improve this answer
Thank you very much! – User0829 May 1 '13 at 12:07
You are very welcome, dear Junghwan. – Georges Elencwajg May 1 '13 at 12:27

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.