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) — outgoing typed relations
-
Quartic reciprocity is a kind of Reciprocity Prime
Reciprocity (
prime:reciprocity).
Hierarchy paths (3) — routes to 3 parentless roots
- Quartic reciprocity → is a kind of Reciprocity → presupposes Cooperation → presupposes Social Dilemma → is a kind of Non-Zero-Sum Game → presupposes Game-Theoretic Strategy → is a decomposition of Function (Mapping)
- Quartic reciprocity → is a kind of Reciprocity → is a decomposition of Symmetry
- Quartic reciprocity → is a kind of Reciprocity → presupposes Cooperation → presupposes Social Dilemma → is a kind of Trade-offs → presupposes Constraint
Neighborhood in Abstraction Space¶
Quartic reciprocity sits in a moderately populated region (52nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Unclustered & Miscellaneous (2769 abstractions)
Nearest neighbors
- Fermat's Little Theorem — 0.87
- Square-Free Integer — 0.86
- Mennicke symbol — 0.86
- Regular prime — 0.85
- Probable prime — 0.85
Computed from structural-signature embeddings · 2026-10-25