##  [Conductor](/conductor-0) 

 Definition

An ideal (or integer) that measures the failure of an order to be maximal or that records the extent of ramification and degeneration between two rings or of a representation; in number rings and orders it is the largest ideal contained in both the order and its integral closure.

 

 

 

 

 

 





## Principle

Principle

The conductor is the largest common ideal that sits inside both structures (for orders) or the ideal of elements that preserve a submodule; it encapsulates where the smaller object deviates from being maximal and quantifies ramification or defect.

 

 

 

 

 





## Demonstration

Demonstration

For an order O inside the ring of integers O_K of a number field, the conductor f = {x in O_K : x O_K ⊆ O} is an integral ideal of O_K measuring how far O is from O_K; if O is maximal the conductor is the unit ideal.

 

 

 

 

## Misapplication

Misapplication

Interpreting the conductor as identical to the discriminant or using it without specifying the pair of orders or the representation in question leads to ambiguity; conductor and discriminant are related but distinct invariants.

 

 

 

 

 





## Consequence

Consequence

Knowledge of the conductor localizes and measures ramification and the locus of failure of maximality; it enters module-theoretic and extension-theoretic classifications and constrains possible local behaviors.

 

 

 

 

## Reversal

Reversal

The complementary viewpoint focuses on the different or discriminant: whereas the conductor captures the maximal common ideal between orders, the different/discriminant encodes global ramification weight rather than the ideal-theoretic overlap.

 

 

 

 

 





## Boundary

Boundary

Defined relative to two rings (or to a representation vs the trivial one) and typically in Noetherian or integrally closed contexts; there are several related notions (conductor of an order, Artin conductor of a representation) and one must fix context.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Conductor sits between ideal-theoretic, representation-theoretic and arithmetic viewpoints and can be conflated with the discriminant or with wild/tame ramification measures; clarity about the underlying object avoids this tension.

 

 

 

 

 





## Synthesis

Synthesis

The conductor is the largest ideal measuring the overlap between an order and its integral closure or the locus controlling ramification for an extension/representation; it isolates where non-maximality or defect is concentrated and complements discriminant-style invariants.