A Dedekind's Criterion over Valued Fields

Lhoussain El Fadil, Mhammed Boulagouaz, Abdulaziz Deajim

Let $(K,\nu )$ be an arbitrary-rank valued field, $R_{\nu }$ its valuation ring, $K(\alpha )/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial…