Lemma 33.28.6. Let $k$ be a field. Let $X$ be a variety over $k$. The group $\mathcal{O}(X)^*/k^*$ is a finitely generated abelian group provided at least one of the following conditions holds:

$k$ is integrally closed in $\Gamma (X, \mathcal{O}_ X)$,

$k$ is algebraically closed in $k(X)$,

$X$ is geometrically integral over $k$, or

$k$ is the “intersection” of the field extensions $\kappa (x)/k$ where $x$ runs over the closed points of $x$.

## Comments (0)