Théorème de Ferrero-Washington
Un article de Wikipédia, l'encyclopédie libre.
![]() |
Cet article est une ébauche à compléter concernant l'algèbre, vous pouvez partager vos connaissances en le modifiant. |
En théorie d'Iwasawa, le théorème de Ferrero-Washingtonassure la nullité de l'invariant μ d'Iwasawa du module d'Iwasawa non ramifié au-dessus de la -extension cyclotomique d'un corps de nombres abélien. Il a été démontré pour la première fois par Bruce Ferrero et Lawrence Washington dans un article paru en 1979.
Le résultat n'est pas vrai pour toutes les -extensions d'un corps de nombres : Iwasawa a donné des exemples où l'invariant μ est strictement positif.