Quartic reciprocity¶

A family of reciprocity theorems relating the solvability of fourth-power congruences after interchanging the relevant prime moduli.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2597
Origin domain: mathematics
Subdomain: algebraic and elementary number theory
Aliases: Biquadratic reciprocity

Core Idea¶

Quartic reciprocity is a family of reciprocity theorems relating the solvability of fourth-power congruences after interchanging the relevant prime moduli. ^[1]

Quartic reciprocity governs fourth-power residue characters, most naturally in the Gaussian integers where unique factorization and primary primes control supplementary signs. It relates the quartic residue symbol of one suitable prime modulo another to the symbol with numerator and denominator interchanged, with conventions and correction factors depending on normalization.

Its operative boundary is not supplied by the name alone. Preserve this identity: A family of reciprocity theorems relating the solvability of fourth-power congruences after interchanging the relevant prime moduli. Validity boundary: Use requires the number-theoretic hypotheses on primes and residue characters under which the reciprocal fourth-power solvability statements are valid. 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 arithmetic ring — integers or Gaussian integers in which primes and fourth powers are studied
the eligible primes — odd or primary primes satisfying the theorem's congruence hypotheses
the quartic residue character — the fourth-power solvability information encoded by a symbol
the primary normalization — a choice controlling associates and supplementary factors
the reciprocal interchange — swapping numerator and modulus in the character relation
the correction factor — sign or unit determined by congruence data
the supplementary laws — values involving units or special primes such as 1+i
the solvability consequence — whether a congruence x^4 ≡ a has a solution modulo a prime

Recognition test. A case qualifies only when the analyst can map the declared the arithmetic ring, the eligible primes, the quartic residue character, the primary normalization, the reciprocal interchange 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 quadratic reciprocity. Fourth-power characters require finer residue data and often Gaussian integers.
Not a symmetric equality without conditions. Normalization and correction factors are essential.
Not ordinary fraction arithmetic. The residue symbol is an arithmetic character, not a ratio.
Not valid for arbitrary composite moduli without extension. The prime theorem must be extended multiplicatively and with coprimality conditions.
Not one universal notation. Sources vary in symbol orientation and primary-prime convention.

Scope of Application¶

The abstraction recurs literally within fourth-power residue questions over integers, Gaussian integers, and related cyclotomic settings. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

Quartic congruences. solvability modulo suitable rational primes is tested.
Gaussian primes. primary factorization supplies the clean reciprocity statement.
Supplementary laws. characters of units and the ramified prime are computed.
Character sums. quartic characters enter Gauss and Jacobi sum evaluations.
Cyclotomic generalization. the theorem foreshadows higher power reciprocity.

Clarity¶

Every computation should state the ring, symbol convention, primary condition, and whether rational primes have been factored in Z[i]. A formula copied across conventions can differ by conjugation or a unit and produce a false solvability conclusion.

A practical identification audit begins with the typed roles rather than the title: establish the arithmetic ring, verify the eligible primes, 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 Quartic reciprocity.

Manages Complexity¶

Reciprocity replaces a difficult direct fourth-power search modulo one prime with a related symbol in the reversed direction plus small congruence corrections. Moving to Gaussian integers exposes the algebraic structure hidden over ordinary integers.

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. Factor relevant rational primes in the correct arithmetic ring. R2. Choose primary associates according to the source convention. R3. Verify coprimality and congruence hypotheses. R4. Apply the reciprocal law with its unit or sign correction. R5. Translate the character value back into the stated congruence question.

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 theorem transfers literally within higher-residue number theory under its arithmetic hypotheses. Reciprocity and symmetry are broader parents; social exchange, physical reversibility, or fourth-degree polynomial symmetry are not quartic reciprocity.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The reciprocity relation recurs across admissible prime pairs and congruence cases within elementary and algebraic number theory. Literal recognition retains the specialist vocabulary and validity conditions of 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: working in Gaussian integers¶

A rational prime congruent to 1 modulo 4 splits into conjugate Gaussian primes. Choosing the primary associate fixes the quartic character convention. For two coprime primary primes, the reciprocity law relates their quartic symbols after interchange, while supplementary laws handle units and the ramified prime. ^[1]

Mapped back: the arithmetic ring; the eligible primes; the quartic residue character; the primary normalization; the reciprocal interchange; the correction factor.

Applied / In Practice: testing a fourth-power congruence¶

To decide whether a is a fourth power modulo a suitable prime p, compute or transform the quartic residue character rather than enumerate every x. The character's value certifies solvability only after p and a meet coprimality and normalization requirements. ^[2]

Mapped back: the quartic residue character; the reciprocal interchange; the supplementary laws; the solvability consequence.

Structural Tensions¶

T1: Elementary statement vs algebraic setting. The question is posed modulo integers while the clean proof lives in Gaussian integers. Diagnostic: Has the factorization and primary choice been made explicit?

T2: Symmetry vs correction factor. Interchanging primes suggests equality but units and signs retain arithmetic orientation. Diagnostic: Which convention determines the correction?

T3: Compact symbol vs convention risk. One character value compresses solvability while notations vary across sources. Diagnostic: Are numerator and modulus orientations checked?

T4: Prime theorem vs composite use. Multiplicativity extends calculations but introduces factor and coprimality bookkeeping. Diagnostic: Has every prime-power factor been handled?

T5: Direct computation vs structural theorem. Brute force may verify a small case without explaining reciprocal structure. Diagnostic: Is the example evidence or a proof under the theorem?

T6: Domain autonomy vs prime reduction. Reciprocity and symmetry omit quartic characters, primary Gaussian primes, and supplementary laws. Diagnostic: Would any mutual implication count as quartic reciprocity?

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 an asymmetric computation can be reversed under a reciprocity law, with a bounded correction encoding orientation and local conditions. 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: An asymmetric computation can be reversed under a reciprocity law, with a bounded correction encoding orientation and local conditions.

Domain accent: Fourth-power residues, gaussian integers, primary primes, quartic characters, congruences, units, and supplementary laws.

Why it does not clear the prime bar: Reciprocity travels; quartic reciprocity is the precise arithmetic theorem for fourth-power residue characters. Generalization therefore routes through parent abstractions; preserving the specialist name requires the full accent.

Reciprocity (prime:reciprocity). Interchanging two prime arguments yields a controlled reciprocal character relation.
Symmetry (prime:symmetry). The law exposes a near-symmetry whose correction records arithmetic orientation.

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 Quartic reciprocity Domain-specific

Parents (1) — more general patterns this builds on

Quartic reciprocity is a kind of Reciprocity Prime

Reciprocity (prime:reciprocity).

Hierarchy paths (3) — routes to 3 parentless roots

Quartic reciprocity → Reciprocity → Cooperation → Social Dilemma → Non-Zero-Sum Game → Game-Theoretic Strategy → Function (Mapping)

Show alternative paths (2)

Neighborhood in Abstraction Space¶

Quartic reciprocity sits in a sparse region of the domain-specific corpus (74^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Algebraic Structure & Reciprocity Theorems (5 abstractions)

Nearest neighbors

Mennicke symbol — 0.86
Covering Set — 0.85
Giuga Number — 0.84
Field of fractions — 0.84
Primefree Sequence — 0.83

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

Not to Be Confused With¶

Quadratic reciprocity. the law for squares modulo odd primes. Tell: Is the character second- or fourth-power?
Cubic reciprocity. the analogous law in Eisenstein integers. Tell: Which cyclotomic ring and roots of unity are used?
Quartic residue symbol. the character used by the theorem. Tell: Is the object the symbol or the reciprocity relation between two symbols?
Biquadratic equation. a polynomial equation involving fourth and second powers. Tell: Is modular residue solvability involved?
Power reciprocity law. the broader higher-reciprocity family. Tell: Are the specialized quartic hypotheses and correction stated?

References¶

[1] Kenneth Ireland and Michael Rosen, A Classical Introduction to Modern Number Theory, 2^nd ed., Springer, 1990, chapter on cubic and biquadratic reciprocity. registry ↩a ↩b

[2] Franz Lemmermeyer, Reciprocity Laws: From Euler to Eisenstein, Springer, 2000. registry ↩