Definition
Ein Turm von Zahlkörpern, der durch wiederholtes Nehmen des Hilbert‑Klasskörpers (maximale unverzweigte abelsche Erweiterung) der jeweils vorangehenden Stufe entsteht und der nie stabilisiert — d. h. die Folge der Klasskörper ist unendlich und die Klassenzahlen gehen nicht einheitlich auf 1 zurück, was ein Scheitern der Turmterminierung anzeigt.

Prinzip

Prinzip
Unverzweigte abelsche Erweiterungen iterativ bilden: man beginnt mit einem Zahlkörper, geht zu seinem Hilbert‑Klasskörper über und wiederholt dies; ein unendlicher Turm entsteht, wenn dieser Prozess unendlich viele verschiedene Schichten erzeugt und damit überall nichttriviale Klassengruppen verbleiben.

Demonstration

Demonstration
Beginne mit einem Ausgangskörper mit ausreichend großer Klassengruppe; berechne seinen Hilbert‑Klasskörper, erhalte ein neues Feld dessen Klassengruppe wiederum nichttrivial sein kann, und fahre fort; explizite Konstruktionen oder Kriterien (etwa Golod‑Shafarevich‑Ungleichungen) liefern Familien mit unendlich vielen aufeinanderfolgenden Klasskörpern.

Fehlanwendung

Fehlanwendung
Die Annahme, jeder Zahlkörper habe stets einen endlichen Klasskörperturm, und daraus allgemeine Beschränkungen der Klassenzahlen abzuleiten; ebenso ist die Interpretation einer Stabilisierung in niedrigen Schichten als Beweis der endgültigen Terminierung ohne Prüfung tieferer arithmetischer Hindernisse falsch.

Konsequenz

Konsequenz
Die Existenz eines unendlichen Klasskörperturms zeigt ein tiefgreifendes Versagen der Turmtermination und impliziert unbeschränktes Wachstum unverzweigter abelscher Erweiterungen; sie beeinflusst das Verständnis von Klassengruppen, der Galoisstruktur der maximalen unverzweigten Erweiterung und Heuristiken zu Diskriminanten.

Umkehrung

Umkehrung
Ein endlicher Klasskörperturm (Stabilisierung nach endlich vielen Schritten) ist das Gegenstück: schließlich ist der Hilbert‑Klasskörper trivial und es existieren keine weiteren nichttrivialen unverzweigten abelschen Erweiterungen, was ein Aussetzen des Wachstums der Klassengruppen anzeigt.

Abgrenzung

Abgrenzung
Ein Phänomen über unverzweigte abelsche Erweiterungen von Zahlkörpern; es betrifft nicht verzweigte Erweiterungen mit Verzweigung noch allgemeine nichtabelsche unverzweigte Erweiterungen, sofern nicht explizit erweitert, und seine Erkennung erfordert meist koha‑mologische oder pro‑p‑Gruppen‑Analysen statt elementarer Klassenzahlprüfungen.

Semantische Spannung

Semantische Spannung
Spannung besteht zwischen Heuristiken, die generelle Finitheit von Klasskörpertürmen vorhersagen, und expliziten Beispielen oder Kriterien, die Unendlichkeit zeigen; verwandte Konzepte sind das Wachstum von p‑Klassen­gruppen oder nichtabelschen unverzweigten Erweiterungen, die zwar verwandt, aber nicht identisch sind.

Synthese

Synthese
Ein unendlicher Klasskörperturm ist die arithmetische Lage, in der wiederholtes Bilden des Hilbert‑Klasskörpers niemals terminiert: man bildet iterativ Klasskörper, stellt an jedem Level nichttriviale Klassengruppen fest und erhält so eine unendliche aufsteigende Kette unverzweigter abelscher Erweiterungen.