Der Untergruppe der Idealklassenklasse eines globalen Körpers, bestehend aus jenen Idealklassen, die in einer vorgegebenen endlichen Erweiterung zu principalen Idealen werden; äquivalent der Kern der natürlichen Transferabbildung (Kapitulierung) vom Klassengruppe des Grundkörpers zur Klassengruppe der Erweiterung.

Prinzip

Kapitulierung misst die Principalität unter Erweiterung: Eine Klasse kapitulieret genau dann, wenn ihr Bild unter der Transferabbildung verschwindet; der Kapitulierungskern ordnet, welche idealtheoretischen Hindernisse durch Übergang zur Erweiterung beseitigt werden.

Demonstration

Für den Hilbertklassenkörper H eines Zahlkörpers K wird jede Idealklasse von K in H principal, sodass der Kapitulierungskern für H/K die ganze Klassengruppe Cl(K) ist; in einer zyklischen Erweiterung vom Grad p kann man den Kapitulierungskern als Kern der durch die Norminduktion auf Klassengruppen definierten Abbildung berechnen und partielle Kapitulierung einer Untergruppe von Cl(K) beobachten.

Fehlanwendung

Verwechseln des Kapitulierungskerns mit dem Kern der Normabbildung auf Idealen oder mit der ambigen Klassengruppe; der Kapitulierungskern betrifft die Principalität von Klassen in der Erweiterung, nicht bloß Klassen, die unter Galoiswirkung fixiert sind oder durch die Norm auf Idealen trivial werden.

Konsequenz

Die Bestimmung des Kapitulierungskerns schränkt das Wachstum der Klassengruppe ein und legt fest, welche klassentheoretischen Hindernisse in der Erweiterung verschwinden; sie leitet die Konstruktion weiterer unverzweigter Erweiterungen und informiert über die Struktur des Galoismoduls Cl(L).

Umkehrung

Das komplementäre Phänomen ist die Persistenz: Klassen, die in keiner Erweiterung eines gegebenen Typs principal werden und damit stabile Hindernisse für Principalität darstellen sowie tiefere arithmetische Invarianten widerspiegeln.

Abgrenzung

Definiert für endliche Erweiterungen globaler Körper (Zahlkörper oder globale Funktionenkörper) bezogen auf Idealklassengruppen; es gilt nicht unmittelbar für lokale Körper, für Picardgruppen von Schemata ohne Übersetzung in Divisorenklassen oder in Situationen ohne natürliche Transferabbildung auf Klassengruppen.

Semantische Spannung

Nah verwandt mit der ambigen Klassengruppe (galoisfesten Klassen) und den Kernen von Normabbildungen; die Spannung liegt in Principalitätsauflösung versus galoisfixierter oder normtrivialer Natur, die nur in Sonderfällen übereinstimmen.

Synthese

Der Kapitulierungskern ist die Untergruppe der Idealklassen, die durch Übergang zu einer gewählten Erweiterung beseitigt werden; als Kern der Transferabbildung fasst er zusammen, welche idealtheoretischen Hindernisse durch die Erweiterung verschwinden und verbindet konkrete Klassenfeldkonstruktionen mit der Arithmetik der Principalität.