A structure theorem for simple transcendental extensions of valued fields

Abstract

The fundamental inequality for a finite algebraic extension of a valued field relates the degree of the extension to the ramification indices and residue degrees, and of primary importance is the question of when this inequality becomes equality. An analogous question for simple transcendental extensions is treated here as an application of a fundamental structure theorem for such extensions.