Corps de nombres p-adiques
Modèle:Ébauche Modèle:Autre En théorie algébrique des nombres, pour un nombre premier p, un corps p-adique[1], ou Modèle:Refsou est une extension finie du corps des nombres p-adiques (de même qu'un corps de nombres algébriques est une extension finie du corps des nombres rationnels).
Les corps p-adiques sont des exemples classiques de corps locaux.
Les objets arithmétiques étudiés dans ces corps sont souvent les mêmes que dans le cas des corps de nombres algébriques : ramification des idéaux premiers, par exemple, ou, à un niveau plus élevé, théorie des corps de classes.
Bien que ces corps soient d'une définition plus abstraite que les corps de nombres algébriques, leur étude arithmétique est nettement plus simple, quoique non complète à Modèle:Lequel (conjecture de Fontaine-Mazur, par exemple).