Tour de corps
En mathématiques, une tour de corps est une suite d'extensions de corps
- F0 ⊆ F1 ⊆ ... ⊆ Fn ⊆ ...
Le nom de tour vient du fait qu'une telle suite est souvent écrite sous la forme
Une tour de corps peut aussi bien être finie qu'infinie.
Exemples
- Q ⊆ R ⊆ C est une tour de corps finie composée des corps de nombres rationnels, réels puis complexes.
- Soit la suite définie par F0 l'ensemble des nombres rationnels Q, et
- (i.e. Fn+1 est obtenu à partir de Fn en ajoutant la racine 2n ième de 2). Une telle tour de corps est infinie.
- Si p est une nombre premier, la p-ième tour cyclotomique de Q est obtenue en posant F0 = Q et Fn l'extension de Q par adjonction de la pn ième racine de l'unité. Cette tour est à la base de la théorie d'Iwasawa.
- Le théorème de Golod–Shafarevich montre qu'il existe des tours de corps infinie obtenue par l'itération du corps de classes de Hilbert à un corps de nombres.
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Tower of fields » (voir la liste des auteurs).
- Jean-Pierre Escofier, Galois theory, vol. 204, Springer-Verlag, coll. « Graduate Texts in Mathematics », (ISBN 978-0-387-98765-1)
- Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.