Famille admise associée à une valuation de K[x]
Admissible family associated to a valuation of K[x]
Séminaires et Congrès | 2005
![Famille admise associée à une valuation de $K[x]$](https://smf.emath.fr/sites/default/files/styles/image_165x234/public/2017-08/smf_sem-cong_10_391-428.jpg?itok=YPXOaDn_)
Français
Toute valuation μ de K[x] prolongeant une valuation ν donnée de K permet de construire une famille admise de valuations de K[x], essentiellement unique, qui converge vers μ. L'étude de l'ensemble E(K[x],ν) des valuations ou pseudo-valuations prolongeant ν à K[x] peut alors se ramener à l'étude de l'ensemble F(K[x],ν) des familles admissibles, ce qui permet en particulier de définir une relation d'ordre sur l'ensemble E(K[x],ν).
Valuation, extension, famille admise