Multiplicative Independence in Function Fields Original Research Article

Let F be a perfect field of characteristic p. Let k be a function field in one variable over F. Let v be a discrete rank one valuation for k which is trivial on F, and let image be the associated completion. Using only the separability of the extension image/k, we prove a strong form of Leopoldt′s Conjecture for k.