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 $\mu $ de $K[x]$ prolongeant une valuation $\nu $ donnée de $K$ permet de construire une famille admise de valuations de $K[x]$, essentiellement unique, qui converge vers $\mu $. L'étude de l'ensemble $\mathcal E (K[x],\nu )$ des valuations ou pseudo-valuations prolongeant $\nu $ à $K[x]$ peut alors se ramener à l'étude de l'ensemble $\mathcal F (K[x],\nu )$ des familles admissibles, ce qui permet en particulier de définir une relation d'ordre sur l'ensemble $\mathcal E (K[x],\nu )$.
Valuation, extension, famille admise