簇上有理点的定义域

设 $X$ 为域 $K$ 上的概型，$M_X$ 为 $\bar K$ 中所有使得 $X$ 具有 $L$-值点的子域 $L$ 的交。本文中我们证明：对于在其素域上有限生成的域 $K$ 上的簇 $X$，有 $M_X = K$。