A Characterization of Finite Tame Extensions
A Characterization of Finite Tame Extensions
Let v be a henselian valuation of a field K. In this paper it is proved that any finite extension (Kā², vā²) of (K, v) is tame if and only if there exists Ī± ā 0 in Kā² such that vā²(Ī±) = v(TrKā²/K(Ī±)) using elementary results of valuation theory. A ā¦