Department of Mathematics and Computer Science, Lehman College (CUNY), Bronx, NY 10468, USA
Abstract:
Let E/F be a finite separable field extension and suppose given a discrete valuation on F that has a unique extension to E. We prove the relation d = e − 1 + c, where d is the differential exponent, e the ramification and c the trace contraction.