Published online by Cambridge University Press: 26 February 2010
Let K be a field. We denote by K[t] the integral domain of all polynomials in an indeterminate t with coefficients in K, and by K(t) the quotient field of K[t], i.e. the field of all formal rational functions of t over K. A valuation |f| of the elements f of K(t) can be defined by
for f ≠ 0, and |0| = 0, where e > 1. This valuation is multiplicative, and has the properties
page 132 note † The substance of this paper formed part of the author's Ph.D. thesis (London, 1956).
page 132 note ‡ Mahler, K., Annals of Math., 42 (1941), 488–522.CrossRefGoogle Scholar
page 135 note † See Perron, Algebra I (1st ed.), p. 82, Theorem 75.