Quartic reciprocity¶
A family of reciprocity theorems relating the solvability of fourth-power congruences after interchanging the relevant prime moduli.
Core Idea¶
Quartic reciprocity is a family of reciprocity theorems relating the solvability of fourth-power congruences after interchanging the relevant prime moduli.
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.
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.
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.
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.
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)
- Quartic reciprocity → Reciprocity → Symmetry
- Quartic reciprocity → Reciprocity → Cooperation → Social Dilemma → Trade-offs → Constraint
Neighborhood in Abstraction Space¶
Quartic reciprocity sits in a sparse region of the domain-specific corpus (74th 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