
Example 9.7.4 (Degree of a rational function field). If $k$ is any field, then the rational function field $k(t)$ is not a finite extension. For example the elements $\left\{ t^ n, n \in \mathbf{Z}\right\}$ are linearly independent over $k$.

In fact, if $k$ is uncountable, then $k(t)$ is uncountably dimensional as a $k$-vector space. To show this, we claim that the family of elements $\{ 1/(t- \alpha ), \alpha \in k\} \subset k(t)$ is linearly independent over $k$. A nontrivial relation between them would lead to a contradiction: for instance, if one works over $\mathbf{C}$, then this follows because $\frac{1}{t-\alpha }$, when considered as a meromorphic function on $\mathbf{C}$, has a pole at $\alpha$ and nowhere else. Consequently any sum $\sum c_ i \frac{1}{t - \alpha _ i}$ for the $c_ i \in k^*$, and $\alpha _ i \in k$ distinct, would have poles at each of the $\alpha _ i$. In particular, it could not be zero.

Amusingly, this leads to a quick proof of the Hilbert Nullstellensatz over the complex numbers. For a slightly more general result, see Algebra, Theorem 10.34.11.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).