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.

Version

v1 · 2026-09-28 · History

Domain-specific #

11439

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Algebraic Number Theory, Reciprocity Laws → Mathematics

Aliases

N-th power residue symbol, Higher power residue symbol, Power-residue character

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.

The value equals one exactly when nonzero α is an nth power modulo p and otherwise identifies a nontrivial root-of-unity class. The symbol is multiplicative in α and depends only on its residue modulo p. Prime-ideal factorization extends it multiplicatively to suitable ideals, supporting cubic, quartic, Eisenstein, and higher reciprocity laws. Every formula carries field, root, coprimality, and ramification hypotheses that compact notation can hide.

Structural Signature

Sig role-phrases:

• Number field and integer ring — Supply algebraic integers, ideals, and finite residue fields. It is required carrier. Counterfactual: Ordinary integer modular notation alone omits the stated generality.
• Primitive nth root of unity — Provides the codomain and identifies residue-class values. It is required structure. Counterfactual: If the field lacks the needed roots, the stated symbol requires extension or another definition.
• Prime ideal p — Defines the finite residue field and modulus. It is required modulus. Counterfactual: A nonprime ideal does not directly support the finite-field exponent formula.
• Coprimality and norm congruence — Ensure n is invertible modulo p and (Np-1)/n is integral. It is required hypotheses. Counterfactual: Dropping them can make the exponent or root classification invalid.
• Residue exponentiation — Maps alpha to an nth root of unity in the residue field. It is defining operation. Counterfactual: A mere yes/no residue test loses higher character values.
• Multiplicative extension — Defines symbols for factored ideals and preserves character-like laws. It is characteristic extension. Counterfactual: Ignoring factor multiplicity or ramified exclusions can misdefine the denominator.

What It Is Not

• It is not an arbitrary modular-exponentiation result; its value and domain are fixed by nth roots of unity and an admissible prime ideal.
• It is not just a yes/no predicate when n is greater than two; nontrivial nth roots distinguish residue-character values.
• A composite denominator cannot be used without a stated multiplicative ideal extension.
• The displayed unramified formula should not be applied unchanged at primes dividing n.
• Closest near-miss. The Legendre symbol is the quadratic rational-integer case; the higher symbol can take any nth root of unity rather than only plus or minus one.

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

1. Fix n and a number field containing the needed roots of unity.
2. Choose a prime ideal coprime to n and verify its norm is one modulo n.
3. Reduce α modulo the prime and handle the zero class separately.
4. Compute the finite-field exponent and identify the corresponding power of ζ_n.
5. Use multiplicativity only under the stated domain and convention.
6. For composite ideals or ramified primes, invoke the appropriate extension rather than extrapolating the prime formula.

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.

Examples

Canonical

For admissible p and alpha not in p, compute alpha^((Np-1)/n) in the residue field and identify the unique power of the chosen primitive nth root of unity.

Mapped back: field → contains zeta_n; modulus → admissible prime ideal; operation → residue exponentiation; output → nth root of unity.

Applied / In Practice

Factor an ideal coprime to n into prime ideals and multiply the local symbols with multiplicity to define the denominator-ideal symbol.

Mapped back: input → factored ideal; law → multiplicativity; local values → prime-ideal symbols; output → extended symbol.

Structural Tensions

T1 — Coordinate-Free Arithmetic versus Choice Of Primitive Root. Residuehood is intrinsic, while labeling a nontrivial value as a particular power uses a chosen zeta_n.

Diagnostic: Which conclusions are invariant under changing the primitive root convention?

T2 — Compact Symbol versus Ramification And Admissibility. The notation hides field, ideal, coprimality, and root-of-unity hypotheses.

Diagnostic: Have all local conditions been restored before using reciprocity?

Structural–Framed Character

Power Residue Symbol is strongly structural. Its finite-field exponent, roots of unity, ideals, norm, and multiplicativity are formal. Notational choices select labels but do not make the arithmetic institutional.

Structural Core vs. Domain Accent

The skeleton is a multiplicative character detecting power classes. Algebraic number theory supplies integer rings, prime ideals, norms, roots of unity, ramification, and reciprocity. Removing them yields a generic character.

Instantiates / Related Primes

This entry is a kind of Function (Mapping).

• Approved root. No reviewed parent entails this higher-power residue character.

• Related — Legendre symbol, Dirichlet character, Hilbert symbol, and reciprocity. They supply special cases or neighboring constructions without another asserted edge.

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 (37^th 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

Not to Be Confused With

• Legendre symbol. Tell: Is the quadratic rational-prime case with values zero, plus one, and minus one.
• Jacobi symbol. Tell: Extends the quadratic symbol multiplicatively to composite integer denominators but does not by itself certify residuosity.
• Hilbert symbol. Tell: Is a local-field pairing related to, but not identical with, the residue symbol.
• Discrete logarithm. Tell: Recovers an exponent relative to a generator rather than merely the nth-power character class.

References

• Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Power_residue_symbol (revision 1348679293).

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.