Power Residue Symbol¶
An nth-root-of-unity-valued character that generalizes the Legendre symbol by recording whether and how an algebraic integer is an nth-power residue modulo a suitable prime ideal.
Core Idea¶
Fix an integer n, a number field K whose integer ring contains a primitive nth root of unity ζ_n, and a prime ideal p coprime to n with norm Np congruent to 1 modulo n. For α outside p, finite-field exponentiation sends α to α^((Np−1)/n), which is congruent to a unique nth root of unity. That root is the nth power residue symbol (α/p)_n; the value is extended as zero when α lies in p.
Scope of Application¶
- Higher reciprocity laws. Cubic, quartic, Eisenstein, and higher statements compare symbols under arithmetic transformations.
- Finite residue fields. Exponentiation classifies nonzero residue classes relative to nth powers.
- Ideal arithmetic. Unique factorization of ideals extends local symbols multiplicatively.
- Local–global number theory. Relations with Hilbert symbols connect residue characters to local fields.
Clarity¶
Notation must declare n, K, O_K, the selected primitive root, α, and p. The norm condition ensures that the exponent is integral and that nth roots sit in the residue-field multiplicative group. Changing ζ_n relabels nontrivial values, while residuehood itself remains invariant. Ramified primes and alternate conventions require separate definitions.
Manages Complexity¶
One root of unity compresses a full residue-class computation and behaves multiplicatively, making reciprocity formulas possible. That compression hides prime-ideal factorization, field extension, and local exceptions. Expanding those ingredients prevents a familiar-looking fraction symbol from being treated like ordinary rational division.
Abstract Reasoning¶
- Fix n and a number field containing the needed roots of unity.
- Choose a prime ideal coprime to n and verify its norm is one modulo n.
- Reduce α modulo the prime and handle the zero class separately.
- Compute the finite-field exponent and identify the corresponding power of ζ_n.
- Use multiplicativity only under the stated domain and convention.
Knowledge Transfer¶
The symbol transfers among number fields and orders only after their roots of unity, primes, norms, and conventions are re-established. The Legendre symbol is the n=2 prototype, but higher values and ramification make literal substitution unsafe. Multiplicative-character reasoning transfers more broadly; the power-residue symbol's arithmetic data does not.
Relationships to Other Abstractions¶
Current abstraction Power Residue Symbol Domain-specific
Parents (1) — more general patterns this builds on
-
Power Residue Symbol is a kind of Function (Mapping) Prime
A Power-Residue Symbol is a Function Mapping that sends an admissible algebraic integer and prime ideal to an nth root of unity encoding residue status.
Hierarchy path (1) — routes to 1 parentless root
- Power Residue Symbol → Function (Mapping)
Neighborhood in Abstraction Space¶
Power Residue Symbol sits in a crowded region of the domain-specific corpus (37th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Polynomial Rings & Rational Approximants (15 abstractions)
Nearest neighbors
- Wagstaff Prime — 0.88
- Dyadic Rational — 0.88
- Sexy Primes — 0.88
- Number-Theoretic Hilbert Transform — 0.88
- Achilles Number — 0.88
Computed from structural-signature embeddings · 2026-10-08