Un ideal (o entero) que mide el grado en que un orden deja de ser maximal o que registra la extensión de ramificación y degeneración entre dos anillos o de una representación; en anillos de números es el mayor ideal contenido tanto en el orden como en su cierre integral.

Principio

El conductor es el mayor ideal común contenido en ambas estructuras (para órdenes) o el ideal de elementos que preservan un submódulo; encapsula dónde el objeto menor difiere del maximal y cuantifica la ramificación o el defecto.

Demostración

Para un orden O dentro del anillo de enteros O_K de un cuerpo número, el conductor f = {x ∈ O_K : x O_K ⊆ O} es un ideal integral de O_K que mide hasta qué punto O se separa de O_K; si O es maximal, el conductor es el ideal unidad.

Aplicación incorrecta

Interpretar el conductor como idéntico al discriminante o usarlo sin especificar el par de órdenes o la representación en cuestión conduce a ambigüedad; conductor y discriminante están relacionados pero son invariantes distintas.

Consecuencia

El conocimiento del conductor localiza y mide la ramificación y el lugar de fallo de maximalidad; interviene en clasificaciones módulo-teóricas y de extensiones y restringe comportamientos locales posibles.

Inversión

La visión complementaria se centra en el diferente o discriminante: mientras el conductor captura el ideal común máximo entre órdenes, el diferente/discriminante codifica el peso global de la ramificación más que la superposición ideal-teórica.

Límite

Se define respecto a dos anillos (o a una representación frente a la trivial) y típicamente en contextos noetherianos o integralmente cerrados; existen nociones relacionadas (conductor de un orden, conductor de Artin de una representación) y hay que fijar el contexto.

Tensión semántica

El conductor se sitúa entre puntos de vista ideal-teóricos, de representación y aritméticos y puede confundirse con el discriminante o con medidas de ramificación salvaje/tamada; la claridad sobre el objeto subyacente evita esta tensión.

Síntesis

El conductor es el mayor ideal que mide la superposición entre un orden y su cierre integral o el locus que controla la ramificación para una extensión/representación; aísla dónde se concentra la no-maximalidad o el defecto y complementa invariantes tipo discriminante.