Let $K$ be an algebraic function field in one variable over a field $k$. So, $K$ is a finite extension of $k(t)$, and here I allow $k$ to be any field.
Let $|\cdot|:K\to\mathbb R^+$ be an absolute value such that $|k^\times|=1$. It induces a valuation $v: K\to\mathbb R$ given by
$$v(x)=-\log|x|$$ which is trivial on $k^\times$. Mi question is the following:
Is $v$ always a discrete valuation? This means that $v(K^\times)=t\mathbb Z$ for $t\in\mathbb R_+$
I think that the answer should be yes, because on each subspace of the form $kt^i:=\{at^i\colon a\in k\}$ the valuation take constant value.