El fenómeno en teoría algebraica de números por el cual clases de ideales de un cuerpo numérico se vuelven principales en una extensión finita; equivalentemente, ciertos elementos del grupo de clases se envían a la clase trivial mediante la aplicación de transferencia (o de extensión), revelando la falla de inyectividad de los mapas de grupos de clases bajo extensión.

Principio

Dada una extensión de cuerpos numéricos L/K, la aplicación natural Cl(K) → Cl(L) puede tener un núcleo no trivial; la capitulación ocurre cuando clases de ideales no triviales de K se representan por ideales principales en L, y se estudia mediante mapas de transferencia, relaciones de norma y teoría de cuerpos de clase.

Demostración

En el cuerpo de clases de Hilbert H de K (la extensión abeliana máxima no ramificada), todo ideal de K se vuelve principal en H, por lo que todo el grupo de clases capitula en H; ejemplos más finos analizan qué subgrupos de Cl(K) capitulan en extensiones intermedias particulares.

Aplicación incorrecta

Concluir que la capitulación implica la trivialidad de los grupos de clases en todas las extensiones, o suponer que patrones de capitulación observados en familias concretas se generalizan sin verificación; o confundir la capitulación de clases de ideales con fenómenos no relacionados de unidades u otros invariantes aritméticos.

Consecuencia

La capitulación diagnostica cómo cambian los grupos de clases bajo extensión, informa sobre la estructura de la transferencia de clases de ideales y es un ingrediente crucial para entender torres de cuerpos de clase y el comportamiento de extensiones no ramificadas; puede usarse para construir ideales principales a partir de clases.

Inversión

La no-capitulación es la situación contraria en la que las clases de Cl(K) permanecen no triviales en cada extensión considerada, indicando la inyectividad del mapa de extensión para esas clases y la persistencia de la obstrucción aritmética a la principialidad.

Límite

Concierne a grupos de clases de ideales y a extensiones finitas de cuerpos numéricos (o análogos locales); no se refiere a imágenes modulares arbitrarias ni a fenómenos ajenos a la principialidad de ideales, y su comportamiento depende de la ramificación y de la estructura galoisiana de la extensión.

Tensión semántica

Tensión entre ver la capitulación como un fallo de inyectividad (una patología de los mapas de transferencia) y verla como una herramienta constructiva que produce ideales principales en cuerpos más grandes; distintas perspectivas enfatizan pérdida de información frente a la principialidad obtenida.

Síntesis

La capitulación es la ocurrencia de que ciertas clases de ideales de un campo de base se vuelvan principales en una extensión, codificando el núcleo del mapa de transferencia del grupo de clases y sirviendo a la vez como diagnóstico del fallo de inyectividad y como método para realizar clases mediante ideales principales en cuerpos mayores.