Ein Ideal (oder Integer), das das Ausmaß beschreibt, in dem eine Ordnung nicht maximal ist, bzw. das das Ausmaß der Verzweigung oder Degeneration zwischen zwei Ringen oder einer Darstellung festhält; bei Zahlringen ist es das größte Ideal, das sowohl in der Ordnung als auch in ihrer integralen Hülle liegt.

Prinzip

Der Konduktor ist das größte gemeinsame Ideal, das in beiden Strukturen sitzt (bei Ordnungen), bzw. das Ideal der Elemente, die ein Teilmodul erhalten; er fasst zusammen, wo das kleinere Objekt vom Maximalen abweicht und quantifiziert Verzweigung oder Defekt.

Demonstration

Für eine Ordnung O in der Ganzheitsordnung O_K eines Zahlkörpers ist der Konduktor f = {x ∈ O_K : x O_K ⊆ O} ein ganzes Ideal von O_K, das misst, wie weit O von O_K entfernt ist; ist O maximal, so ist der Konduktor das Einheitsideal.

Fehlanwendung

Den Konduktor mit der Diskriminante gleichzusetzen oder ihn ohne Angabe der betrachteten Ordnungs-Paarung oder Darstellung zu verwenden, führt zu Mehrdeutigkeit; Konduktor und Diskriminante sind verwandt, aber verschieden.

Konsequenz

Kenntnis des Konduktors lokalisiert und misst Verzweigung und die Stelle des Nicht-Maximalseins; er fließt in modul- und erweiterungstheoretische Klassifikationen ein und schränkt mögliche lokale Verhaltensweisen ein.

Umkehrung

Die komplementäre Sichtweise richtet sich auf das Different oder die Diskriminante: während der Konduktor das größte gemeinsame Ideal zwischen Ordnungen erfasst, kodiert das Different/die Diskriminante das globale Gewicht der Verzweigung und nicht die Ideal-Überlappung.

Abgrenzung

Definiert relativ zu zwei Ringen (oder einer Darstellung gegenüber der trivialen) und typischerweise in noetherschen oder integralschlossenen Kontexten; es gibt verwandte Begriffe (Konduktor einer Ordnung, Artin-Konduktor einer Darstellung) und der Kontext muss festgelegt werden.

Semantische Spannung

Der Konduktor bewegt sich zwischen idealtheoretischen, darstellungstheoretischen und arithmetischen Blickwinkeln und kann mit der Diskriminante oder Maßen für wilde/tame Verzweigung verwechselt werden; Klarheit über das zugrunde liegende Objekt beseitigt die Spannung.

Synthese

Der Konduktor ist das größte Ideal, das die Überlappung zwischen einer Ordnung und ihrer integralen Hülle misst bzw. den Ort der Verzweigung für eine Erweiterung/Darstellung kontrolliert; er isoliert die Konzentration von Nicht-Maximalität oder Defekt und ergänzt diskriminantenartige Invarianten.