The phenomenon in algebraic number theory where ideal classes of a number field become principal in a finite extension field; equivalently, certain elements of the class group map to the trivial class under the transfer (or extension) map, revealing failure of injectivity for class group maps under extension.

Principle

Given an extension of number fields L/K, the natural map from the class group Cl(K) to Cl(L) may have a nontrivial kernel; capitulation occurs when nontrivial ideal classes of K are represented by principal ideals in L, often analyzed via transfer maps, norm relations, and class field theory.

Demonstration

In the Hilbert class field H of K (the maximal unramified abelian extension), every ideal of K becomes principal in H, so the entire class group capitulates in H; more refined examples study which subgroups of Cl(K) capitulate in particular intermediate extensions.

Misapplication

Concluding that capitulation implies triviality of class groups in all extensions, or assuming that capitulation patterns observed in specific families generalize without verification; or mixing up capitulation of ideal classes with unrelated phenomena for units or other arithmetic invariants.

Consequence

Capitulation diagnoses how class groups change under extension, informs the structure of ideal class transfer, and is a crucial ingredient in understanding class field towers and the behavior of unramified extensions; it can be used to construct principal ideals from classes.

Reversal

Non-capitulation is the contrasting situation in which classes of Cl(K) remain nontrivial in every considered extension, indicating injectivity of the extension map for those classes and persistence of arithmetic obstruction to principality.

Boundary

Concerns ideal class groups and finite extensions of number fields (or local analogues); it does not refer to arbitrary module-theoretic images nor to phenomena unrelated to principality of ideals, and its behavior depends on ramification and Galois structure of the extension.

Semantic Tension

Tension between viewing capitulation as a failure of injectivity (a pathology of transfer maps) and viewing it as a constructive tool that produces principal ideals in larger fields; different perspectives emphasize loss of information versus gained principality.

Synthesis

Capitulation is the occurrence that certain ideal classes of a base field become principal in an extension, encoding the kernel of the class group transfer map and serving both as a diagnostic of injectivity failure and as a method to realize classes by principal ideals in larger fields.