Das Phänomen in der algebraischen Zahlentheorie, dass Idealklassen eines Zahlkörpers in einer endlichen Erweiterung principal werden; äquivalent dazu bildet die Klasse mancher Elemente der Klassen­gruppe unter der Transfer- (oder Erweiterungs-) Abbildung die triviale Klasse, was ein Versagen der Injektivität von Klassen­gruppenabbildungen unter Erweiterung offenbart.

Prinzip

Für eine Erweiterung von Zahlkörpern L/K kann die natürliche Abbildung Cl(K) → Cl(L) einen nichttrivialen Kern besitzen; Kapitulation tritt auf, wenn nichttriviale Idealklassen von K durch principale Ideale in L repräsentiert werden, oft analysiert mittels Transferabbildungen, Normrelationen und der Klassenkörpertheorie.

Demonstration

Im Hilbert-Klassenkörper H von K (der maximalen unzerzweigten abelschen Erweiterung) wird jedes Ideal von K in H principal, sodass die gesamte Klassen­gruppe in H kapituliert; feinere Beispiele untersuchen, welche Untergruppen von Cl(K) in bestimmten Zwischenkörpern kapitulieren.

Fehlanwendung

Aus Kapitulation zu folgern, Klassen­gruppen würden in allen Erweiterungen trivial werden, oder davon auszugehen, Kapitulationsmuster in speziellen Familien ließen sich ohne Prüfung verallgemeinern; oder die Kapitulation von Idealklassen mit nicht verwandten Phänomenen für Einheiten oder andere arithmetische Invarianten zu verwechseln.

Konsequenz

Kapitulation diagnostiziert, wie sich Klassen­gruppen unter Erweiterung ändern, informiert über die Struktur des Idealklassen-Transfers und ist ein entscheidender Baustein beim Verständnis von Klassenkörper­türmen und dem Verhalten unzerzweigter Erweiterungen; sie kann benutzt werden, um principale Ideale aus Klassen zu konstruieren.

Umkehrung

Nicht-Kapitulation ist die Gegen­situation, in der Klassen von Cl(K) in jeder betrachteten Erweiterung nichttrivial bleiben, was die Injektivität der Erweiterungsabbildung für diese Klassen anzeigt und das Fortbestehen der arithmetischen Obstruktion zur Principality signalisiert.

Abgrenzung

Betrifft Idealklassen­gruppen und endliche Erweiterungen von Zahlkörpern (oder lokale Analoga); bezieht sich nicht auf beliebige modulare Bilder noch auf Phänomene, die nichts mit Principality von Idealen zu tun haben, und ihr Verhalten hängt von Verzweigung und galoisscher Struktur der Erweiterung ab.

Semantische Spannung

Spannung zwischen der Sicht der Kapitulation als Versagen der Injektivität (eine Pathologie der Transferabbildungen) und als konstruktives Werkzeug, das principale Ideale in größeren Körpern erzeugt; unterschiedliche Perspektiven betonen Informationsverlust gegenüber gewonnener Principality.

Synthese

Kapitulation ist das Auftreten, dass bestimmte Idealklassen eines Ausgangskörpers in einer Erweiterung principal werden, wodurch der Kern der Transferabbildung der Klassen­gruppen kodiert wird und das Phänomen zugleich als Diagnose eines Injektivitätsversagens und als Methode zur Realisierung von Klassen durch principale Ideale in größeren Körpern fungiert.