The Stacks project

Exercise 111.1.8. Let $\nu : k[x]\setminus \{ 0\} \to {\mathbf Z}$ be a map with the following properties: $\nu (fg) = \nu (f) + \nu (g)$ whenever $f$, $g$ not zero, and $\nu (f + g) \geq min(\nu (f), \nu (g))$ whenever $f$, $g$, $f + g$ are not zero, and $\nu (c) = 0$ for all $c\in k^*$.

1. Show that if $f$, $g$, and $f + g$ are nonzero and $\nu (f) \not= \nu (g)$ then we have equality $\nu (f + g) = min(\nu (f), \nu (g))$.

2. Show that if $f = \sum a_ i x^ i$, $f\not= 0$, then $\nu (f) \geq min(\{ i\nu (x)\} _{a_ i\not= 0})$. When does equality hold?

3. Show that if $\nu$ attains a negative value then $\nu (f) = -n \deg (f)$ for some $n\in {\mathbf N}$.

4. Suppose $\nu (x) \geq 0$. Show that $\{ f \mid f = 0, \ or\ \nu (f) > 0\}$ is a prime ideal of $k[x]$.

5. Describe all possible $\nu$.