Une tour de corps de nombres obtenue en prenant itérativement le corps de classes de Hilbert (extension abélienne maximale non ramifiée) du niveau précédent qui ne se stabilise jamais : la suite des corps de classes est infinie et les nombres de classes restent non triviaux, signalant l'échec de la terminaison de la tour.

Principe

Itérer la formation des extensions abéliennes non ramifiées : partir d'un corps de nombres, passer à son corps de classes de Hilbert, puis répéter ; une tour infinie survient lorsque ce procédé produit une infinité de degrés distincts, reflétant des groupes de classes persistants à chaque étage.

Démonstration

Commencer avec un corps de nombres de groupe de classes suffisamment grand ; calculer son corps de classes de Hilbert pour obtenir un nouveau corps dont le groupe de classes peut de nouveau être non trivial, et continuer ; des constructions explicites ou des critères (par exemple des inégalités de type Golod–Shafarevich) produisent des familles où existent infiniment de corps de classes successifs.

Mauvaise application

Supposer que tout corps de nombres admet une tour de corps de classe finie et utiliser cela pour déduire une bornitude universelle des nombres de classes ; inversement, interpréter une stabilisation à bas niveau comme la preuve d'une terminaison sans vérifier des obstructions arithmétiques plus profondes est une erreur.

Conséquence

L'existence d'une tour infinie de corps de classe révèle une défaillance profonde de la terminaison des tours de corps de classe et implique une croissance non bornée des extensions abéliennes non ramifiées ; elle influence la compréhension des groupes de classes, de la structure du groupe de Galois de l'extension maximale non ramifiée et des heuristiques sur les discriminants.

Inversion

Une tour de corps de classe finie (stabilisation après un nombre fini d'étapes) est le phénomène opposé : le corps de classes de Hilbert devient finalement trivial et il n'existe plus d'extensions abéliennes non ramifiées non triviales, indiquant l'arrêt de la croissance des groupes de classes.

Limite

Phénomène concernant les extensions abéliennes non ramifiées des corps de nombres ; il ne traite pas des extensions ramifiées ni des extensions non abéliennes non ramifiées sauf à être précisé, et sa détection requiert souvent des outils cohomologiques ou d'analyse de groupes pro‑p plutôt que de simples vérifications de nombres de classes.

Tension sémantique

La tension survient entre les heuristiques prévoyant en général la finitude des tours de corps de classe et des exemples ou critères explicites démontrant l'infinitude ; des concepts voisins incluent la croissance des p‑groupes de classes ou des extensions non abéliennes non ramifiées, liés mais distincts.

Synthèse

Une tour infinie de corps de classe est la situation arithmétique où le passage répété aux corps de classes de Hilbert ne termine jamais : itérer la formation du corps de classes, constater des groupes de classes non triviaux à chaque niveau, et obtenir ainsi une chaîne croissante infinie d'extensions abéliennes non ramifiées.