Conductor (ring theory)¶

The largest ideal shared by a commutative ring and an extension ring, equal to the annihilator of the quotient; when the extension is the normalization, it measures the smaller ring's failure to be integrally closed.

Version: v2 · 2026-09-06 · History
Domain-specific #: 1532
Origin domain: mathematics
Subdomain: commutative algebra and orders
Aliases: Conductor ideal

Core Idea¶

Conductor (ring theory) is the largest ideal shared by a commutative ring and an extension ring, measuring the smaller ring's failure to be integrally closed. ^[1]

For a ring extension A contained in B, the conductor is the set of elements a in A such that aB lies in A. It is an ideal of both A and B and equals the annihilator in A of the quotient B/A. When B is the normalization of A, the conductor marks the locus where the two rings agree and measures part of the failure of A to be normal.

Its operative boundary is not supplied by the name alone. Preserve this identity: The largest ideal shared by a commutative ring and an extension ring, equal to the annihilator of the quotient; when the extension is the normalization, it measures the smaller ring's failure to be integrally closed. Validity boundary: The set must form the maximal common ideal under the extension; its interpretation as a measure of failure of integral closure applies to the normalization case. The entry therefore captures a reusable specialist role structure rather than a topic label, a single historical instance, or a loose analogy.

Structural Signature¶

Sig role-phrases:

the ring inclusion — a commutative subring A inside an extension B
the multiplier condition — elements of A that send every element of B back into A
the conductor set — the largest subset satisfying the condition
the common-ideal property — the conductor is simultaneously an ideal in A and B
the quotient module — B/A measuring the extension discrepancy
the annihilator identity — the conductor as Ann_A(B/A)
the normalization case — B chosen as the integral closure of A
the geometric or arithmetic defect locus — support of the quotient and places where nonnormality remains

Recognition test. A case qualifies only when the analyst can map the declared the ring inclusion, the multiplier condition, the conductor set, the common-ideal property, the quotient module and preserve the specialist validity conditions. Shared vocabulary, a similar output, or a generic instance of one parent relation is insufficient.

What It Is Not¶

Not an electrical conductor. The word denotes an ideal in ring theory.
Not the discriminant. The discriminant is a related arithmetic invariant with different definition and information.
Not the different ideal. The different is defined through trace or inverse different machinery.
Not any ideal shared accidentally. The conductor is the largest common ideal determined by the inclusion.
Not a proof that A is normal. A proper conductor records where A differs from its normalization; equality requires additional conditions.

Scope of Application¶

The abstraction recurs literally within finite or integral ring extensions, nonmaximal orders, and normalization problems where one ring sits inside another. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

Orders in number fields. the conductor measures an order's position inside the maximal order.
Normalization. the common ideal identifies the nonnormal locus.
Singular curves. conductor quotients compare a curve ring with its normalization.
Finite birational extensions. the ideal controls gluing and discrepancy between rings.
Module calculations. annihilators of B/A yield explicit conductor computations.

Clarity¶

The ambient extension must be named; a ring has no conductor ideal in isolation. The same symbol can denote a numerical conductor in semigroup theory, so the multiplier-set definition and common-ideal property should appear whenever ambiguity is possible.

A practical identification audit begins with the typed roles rather than the title: establish the ring inclusion, verify the multiplier condition, then test the remaining conditions and exclusions. If the case retains only the portable skeleton described below, it should be named through a parent abstraction rather than as Conductor (ring theory).

Manages Complexity¶

The conductor compresses an entire extension discrepancy into the largest region on which multiplication by the larger ring remains internal to the smaller. Its annihilator form makes support and localization arguments available.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning¶

R1. Fix the inclusion A inside B and the module structure. R2. Test the universal multiplier condition aB subset A. R3. Verify the set is an ideal in both rings. R4. Use Ann_A(B/A) for computation and localization. R5. Interpret normalization or order consequences only under the relevant finiteness hypotheses.

These moves separate definition, derivation, measurement, and interpretation. A formal consequence does not by itself prove that an observed case instantiates the abstraction, while an observed resemblance does not relax the formal or institutional recognition conditions.

Knowledge Transfer¶

The ideal transfers literally among commutative-algebra and number-theory extensions. Closure and annihilation are broader ideas; a physical material or orchestra leader is unrelated despite the same word.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: Conductors recur across ring extensions, nonmaximal orders, normalizations, and algebraic-number rings. Literal recognition retains the specialist vocabulary and validity conditions of commutative algebra and algebraic number theory; outside that setting only broader parent operations transfer. The safe move beyond the home habitat is to carry the applicable parent relation and leave the specialist name behind unless every defining role remains literal.

Examples¶

Canonical: an order inside its maximal order¶

Let A be a nonmaximal order in a number field and B its maximal order. The conductor consists of elements of A whose products with every algebraic integer in B remain in A. It is the largest B-ideal contained in A and measures how far the order is from maximal at each prime. ^[1]

Mapped back: the ring inclusion; the multiplier condition; the conductor set; the common-ideal property; the quotient module.

Applied / In Practice: normalization of a curve singularity¶

For a reduced curve ring A with finite normalization B, the quotient B/A is supported at singular points. Its annihilator is the conductor. Localizing away from that support makes A and B agree, while the conductor near a singularity supplies algebraic data for comparing the original curve with its normalization. ^[2]

Mapped back: the annihilator identity; the normalization case; the geometric or arithmetic defect locus; the quotient module.

Structural Tensions¶

T1: Compact invariant vs incomplete defect data. The conductor localizes discrepancy but need not classify the extension. Diagnostic: What information remains in B/A beyond its annihilator?

T2: Largest common ideal vs ambient dependence. Maximality is precise only after the extension is fixed. Diagnostic: Which overring defines the conductor?

T3: Global ideal vs local behavior. One ideal packages prime-by-prime defects that can differ sharply. Diagnostic: Has the conductor been localized at relevant primes?

T4: Normalization utility vs finiteness. Geometric interpretations often assume finite normalization. Diagnostic: Is B finite as an A-module?

T5: Arithmetic neighbors vs identity. Discriminant and different interact with conductors but are not interchangeable. Diagnostic: Which defining universal property is used?

T6: Domain autonomy vs prime reduction. Closure and annihilator patterns omit the largest common ideal of a named ring extension. Diagnostic: Would any boundary invariant retain the multiplier condition aB subset A?

Structural–Framed Character¶

The five-criterion aggregate is 0.15 (structural). The judgment is criterion-specific:

Vocabulary travels — low (0.25). The complete vocabulary remains tied to the typed roles in the Structural Signature.
Evaluative weight — low (0.00). Application carries the stated degree of normative or interpretive judgment beyond structural recognition.
Institutional origin — low (0.25). The abstraction depends to this degree on a scholarly, technical, legal, or social convention.
Human-practice bound — low (0.00). Recognition depends to this degree on organized practice, language, measurement, or institutional action.
Import versus recognize — low (0.25). Beyond its home habitat, use of the full name increasingly becomes analogy rather than literal recognition.

The portable skeleton is the largest internal region stable under a larger ambient action identifies where an embedded object and its extension agree. The named abstraction remains structural because that skeleton alone does not supply its specialist objects, constraints, or tests.

Structural Core vs. Domain Accent¶

Structural core: The largest internal region stable under a larger ambient action identifies where an embedded object and its extension agree.

Domain accent: Commutative ring inclusions, ideals, quotient modules, annihilators, integral closure, orders, and normalization loci.

Why it does not clear the prime bar: Stable-subobject reasoning travels; the conductor is exactly the common ideal determined by multiplication in a ring extension. Generalization therefore routes through parent abstractions; preserving the specialist name requires the full accent.

Closure (prime:closure). Conductor elements are precisely multipliers under which the smaller ring remains closed against the larger ring.
Boundary (prime:boundary). The conductor marks the algebraic locus separating agreement from extension discrepancy.

These are prose placement proposals only. They create no dag_edges; endpoint, redundancy, and cycle checks are recorded separately in the bundle's placement memo.

Relationships to Other Abstractions¶

Current abstraction Conductor (ring theory) Domain-specific

Parents (2) — more general patterns this builds on

Conductor (ring theory) is a kind of Boundary Prime

Boundary (prime:boundary).
Conductor (ring theory) is a kind of Closure Prime

Closure (prime:closure).

Hierarchy paths (2) — routes to 2 parentless roots

Conductor (ring theory) → Boundary

Show alternative path (1)

Neighborhood in Abstraction Space¶

Conductor (ring theory) sits in a sparse region of the domain-specific corpus (72^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Algebraic Structures & Formal Notation (7 abstractions)

Nearest neighbors

Field of fractions — 0.85
Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain — 0.85
Ring — 0.84
Field (Algebraic) — 0.84
Uniform space — 0.83

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Different ideal. a trace-duality invariant of an extension. Tell: Is the definition an inverse trace dual or a multiplier into the subring?
Discriminant ideal. a determinant invariant of trace pairings. Tell: Is a determinant or largest common ideal being computed?
Numerical semigroup conductor. the threshold beyond which all integers occur. Tell: Is the object a number or an ideal of a ring extension?
Annihilator. a general ideal killing a module. Tell: Which module is annihilated, and is it B/A?
Integral closure. the larger normalized ring itself. Tell: Is the object the overring or the common ideal inside it?

References¶

[1] Henri Cohen, A Course in Computational Algebraic Number Theory, Springer, 1993. registry ↩a ↩b

[2] The Stacks Project Authors, Algebra, sections on integral closure, finite extensions, and conductors. registry ↩