Cyclotomic Residues Theorem Explained

• Cyclotomic Residues Theorem is a classical reciprocity principle that links the arithmetic of primes with the action of the Galois group on primitive roots of unity.
• It underpins Dedekind’s mechanism for proving cyclotomic polynomial irreducibility and clarifies quadratic residue identities through concrete reduction techniques.
• Modern reformulations extend these ideas to determinant-based proofs and congruence obstructions, offering practical tools in cyclotomic factorization and number theory.

The available sources suggest that the “Cyclotomic Residues Theorem” is best understood not as a single uniformly named modern theorem, but as a classical reciprocity principle governing how residue classes modulo $m$ are encoded in the cyclotomic extension $\mathbf Q(\zeta_m)/\mathbf Q$, together with a family of consequences and reformulations in quadratic residue theory, cyclotomic polynomial arithmetic, and Galois reconstruction. In its classical form, the theorem identifies the arithmetic of primes $p\nmid m$ with the action of Frobenius on primitive $m$-th roots of unity: every automorphism of $\mathbf Q(\zeta_m)/\mathbf Q$ sends $\zeta_m$ to $\zeta_m^r$ with $\gcd(r,m)=1$, and conversely every such residue class occurs. This is presented as both Dedekind’s irreducibility mechanism for cyclotomic polynomials and the first cyclotomic case of Artin reciprocity (Lemmermeyer, 2012).

1. Classical reciprocity formulation

Let $\zeta$ be a primitive $m$-th root of unity. The $\mathbf Q(\zeta_m)/\mathbf Q$0-th cyclotomic polynomial is

$\mathbf Q(\zeta_m)/\mathbf Q$1

and it satisfies

$\mathbf Q(\zeta_m)/\mathbf Q$2

Within the classical theory, irreducibility of $\mathbf Q(\zeta_m)/\mathbf Q$3 over $\mathbf Q(\zeta_m)/\mathbf Q$4 is equivalent to the statement that for every $\mathbf Q(\zeta_m)/\mathbf Q$5 coprime to $\mathbf Q(\zeta_m)/\mathbf Q$6, $\mathbf Q(\zeta_m)/\mathbf Q$7 is a conjugate of $\mathbf Q(\zeta_m)/\mathbf Q$8, or equivalently that

$\mathbf Q(\zeta_m)/\mathbf Q$9

This gives the canonical identification

$p\nmid m$0

emphasized in the cyclotomic reciprocity discussion (Lemmermeyer, 2012).

A central surjectivity statement is the map

$p\nmid m$1

which is surjective for $p\nmid m$2. Since $p\nmid m$3, surjectivity yields

$p\nmid m$4

and therefore $p\nmid m$5, so $p\nmid m$6 is irreducible. In this formulation, the theorem is simultaneously a statement about Galois action, irreducibility, and residue classes modulo $p\nmid m$7 (Lemmermeyer, 2012).

2. Dedekind’s mechanism: reduction modulo prime ideals and Frobenius

Dedekind’s proof isolates two ingredients. First, if $p\nmid m$8 is a number field containing $p\nmid m$9 and $m$0 is a prime ideal of $m$1 with $m$2, then the reduction map

$m$3

is injective. In the language of the sources, a primitive $m$4-th root of unity remains primitive modulo primes not dividing $m$5 (Lemmermeyer, 2012).

Second, for a normal extension $m$6 and an unramified prime $m$7 of $m$8, the Frobenius automorphism is characterized by

$m$9

In the cyclotomic setting, for a rational prime $\mathbf Q(\zeta_m)/\mathbf Q$0, Frobenius therefore sends $\mathbf Q(\zeta_m)/\mathbf Q$1 to something congruent to $\mathbf Q(\zeta_m)/\mathbf Q$2 modulo primes above $\mathbf Q(\zeta_m)/\mathbf Q$3. Injectivity of reduction on $\mathbf Q(\zeta_m)/\mathbf Q$4 forces equality: $\mathbf Q(\zeta_m)/\mathbf Q$5 Varying $\mathbf Q(\zeta_m)/\mathbf Q$6 realizes residue classes $\mathbf Q(\zeta_m)/\mathbf Q$7 as Frobenius elements, which is precisely the reciprocity phenomenon in the cyclotomic case (Lemmermeyer, 2012).

The ideal-theoretic control of $\mathbf Q(\zeta_m)/\mathbf Q$8 is a key auxiliary step. If $\mathbf Q(\zeta_m)/\mathbf Q$9 is a power of a prime $\zeta_m$0, then

$\zeta_m$1

for some unit $\zeta_m$2; if $\zeta_m$3 is divisible by at least two distinct primes, then $\zeta_m$4 is a unit. This dichotomy yields the contradiction needed to prove that reduction preserves the exact order of $\zeta_m$5 modulo primes not dividing $\zeta_m$6 (Lemmermeyer, 2012). A related local argument reappears in the proof that $\zeta_m$7 is the full ring of integers of $\zeta_m$8, where reduction of $\zeta_m$9 modulo $\zeta_m^r$0, Kummer–Dedekind factorization, and the product identity

$\zeta_m^r$1

for primitive $\zeta_m^r$2-th roots of unity are used to control local maximal ideals (Nguyen, 2017).

3. Quadratic-residue special case

A classical quadratic consequence associated in the sources with the Cyclotomic Residues Theorem is the equal-sums phenomenon for quadratic residues. For an odd prime $\zeta_m^r$3, let $\zeta_m^r$4 and $\zeta_m^r$5 denote the quadratic residues and quadratic nonresidues in $\zeta_m^r$6. If $\zeta_m^r$7, then

$\zeta_m^r$8

where $\zeta_m^r$9 denotes the sum of the representatives of $\gcd(r,m)=1$0 in $\gcd(r,m)=1$1 (Aebi et al., 2015).

For $\gcd(r,m)=1$2, the same full-sum equality fails, but the residue system splits into lower and upper halves,

$\gcd(r,m)=1$3

with

$\gcd(r,m)=1$4

The refined identities are: $\gcd(r,m)=1$5 and

$\gcd(r,m)=1$6

These follow from the doubling map $\gcd(r,m)=1$7, the fact that $\gcd(r,m)=1$8 when $\gcd(r,m)=1$9, and the classification of $\zeta$0 as a quadratic residue or nonresidue according to $\zeta$1 (Aebi et al., 2015).

The paper further proves a lemma for $\zeta$2: $\zeta$3 and

$\zeta$4

This gives what the source explicitly describes as a “mod $\zeta$5 refinement” of the quadratic-residue sum identities suggested by cyclotomic residue theory (Aebi et al., 2015).

4. Cyclotomic polynomials as congruence detectors

A modern reformulation of the residue principle appears as a congruence obstruction theorem for solvable polynomials. Let $\zeta$6 be monic, and let $\zeta$7 be the set of rational primes $\zeta$8 such that $\zeta$9 splits completely into distinct linear factors modulo $m$0. If the Galois group of $m$1 has a nontrivial solvable quotient group, then there exists an integer $m$2 with

$m$3

such that for every generating set of $m$4, at least one residue class in that generating set contains no rational prime $m$5 (Nguyen, 2021).

The mechanism is cyclotomic. If each residue class in a generating set of $m$6 contains a rational prime semi-split in a number field $m$7, then $m$8 is irreducible over $m$9. Contrapositively, reducibility of $\mathbf Q(\zeta_m)/\mathbf Q$00 over $\mathbf Q(\zeta_m)/\mathbf Q$01 forces a gap in the allowed residue classes. The proof uses the relation $\mathbf Q(\zeta_m)/\mathbf Q$02 between primitive $\mathbf Q(\zeta_m)/\mathbf Q$03-th roots of unity, a prime $\mathbf Q(\zeta_m)/\mathbf Q$04, and Frobenius action

$\mathbf Q(\zeta_m)/\mathbf Q$05

after reduction modulo a prime above $\mathbf Q(\zeta_m)/\mathbf Q$06 (Nguyen, 2021).

The same irreducibility theme admits a determinant-based prime-level proof. For prime $\mathbf Q(\zeta_m)/\mathbf Q$07, if

$\mathbf Q(\zeta_m)/\mathbf Q$08

with $\mathbf Q(\zeta_m)/\mathbf Q$09, then Kronecker’s lemma gives

$\mathbf Q(\zeta_m)/\mathbf Q$10

The proof uses a circulant matrix $\mathbf Q(\zeta_m)/\mathbf Q$11 and the congruence

$\mathbf Q(\zeta_m)/\mathbf Q$12

Combined with Fermat’s little theorem, this yields an alternative proof that

$\mathbf Q(\zeta_m)/\mathbf Q$13

is irreducible over $\mathbf Q(\zeta_m)/\mathbf Q$14 (Moshaiov, 2022). This is a residue-class argument modulo $\mathbf Q(\zeta_m)/\mathbf Q$15 in determinant form.

5. Algebraic reformulations in $\mathbf Q(\zeta_m)/\mathbf Q$16 and cyclotomic factorization

Cyclotomic residue phenomena also appear as exact structural statements about quotients by cyclotomic polynomials. For

$\mathbf Q(\zeta_m)/\mathbf Q$17

the Chinese remainder theorem implies that $\mathbf Q(\zeta_m)/\mathbf Q$18 is an isomorphism when the coefficient ring is a field of characteristic not dividing $\mathbf Q(\zeta_m)/\mathbf Q$19. Over $\mathbf Q(\zeta_m)/\mathbf Q$20, however, $\mathbf Q(\zeta_m)/\mathbf Q$21 is injective but generally not surjective. The finite cokernel

$\mathbf Q(\zeta_m)/\mathbf Q$22

measures the failure of the cyclotomic factors to be comaximal in $\mathbf Q(\zeta_m)/\mathbf Q$23 (Mahatab et al., 2014).

If $\mathbf Q(\zeta_m)/\mathbf Q$24, the elementary divisors of the matrix $\mathbf Q(\zeta_m)/\mathbf Q$25 of $\mathbf Q(\zeta_m)/\mathbf Q$26 are determined explicitly. Writing

$\mathbf Q(\zeta_m)/\mathbf Q$27

the tuple $\mathbf Q(\zeta_m)/\mathbf Q$28 is a rearrangement of the primes $\mathbf Q(\zeta_m)/\mathbf Q$29, each appearing $\mathbf Q(\zeta_m)/\mathbf Q$30 times, together with $\mathbf Q(\zeta_m)/\mathbf Q$31’s, and the $\mathbf Q(\zeta_m)/\mathbf Q$32-th appearance of $\mathbf Q(\zeta_m)/\mathbf Q$33 occurs at index

$\mathbf Q(\zeta_m)/\mathbf Q$34

The determinant is

$\mathbf Q(\zeta_m)/\mathbf Q$35

and more generally

$\mathbf Q(\zeta_m)/\mathbf Q$36

for a factorization $\mathbf Q(\zeta_m)/\mathbf Q$37 into pairwise relatively prime monic polynomials (Mahatab et al., 2014). A recursive algorithm based on Smith vectors and Young tableaux determines a Smith basis in $\mathbf Q(\zeta_m)/\mathbf Q$38 bit operations for any $\mathbf Q(\zeta_m)/\mathbf Q$39 (Mahatab et al., 2014).

A distinct factorization identity expresses a multiplicative law in the index variable: $\mathbf Q(\zeta_m)/\mathbf Q$40 Its Möbius-inverted dual form is

$\mathbf Q(\zeta_m)/\mathbf Q$41

Taking degrees recovers the multiplicativity of Euler’s totient function, while logarithmic differentiation yields corresponding formulas for Ramanujan sums (Nápoli, 2020). This suggests that cyclotomic residue phenomena extend naturally from primes and Galois actions to identities among cyclotomic factors themselves.

6. Quotients, compressed residues, and modern cyclotomic extensions

One modern usage of cyclotomic residue language introduces a modified congruence relation for units modulo $\mathbf Q(\zeta_m)/\mathbf Q$42: $\mathbf Q(\zeta_m)/\mathbf Q$43 This identifies $\mathbf Q(\zeta_m)/\mathbf Q$44 with $\mathbf Q(\zeta_m)/\mathbf Q$45 and produces a multiplicative quotient

$\mathbf Q(\zeta_m)/\mathbf Q$46

of size $\mathbf Q(\zeta_m)/\mathbf Q$47. For $\mathbf Q(\zeta_m)/\mathbf Q$48 with $\mathbf Q(\zeta_m)/\mathbf Q$49 an odd prime, $\mathbf Q(\zeta_m)/\mathbf Q$50 is cyclic of order $\mathbf Q(\zeta_m)/\mathbf Q$51, and more generally it is cyclic exactly for odd prime powers and for $\mathbf Q(\zeta_m)/\mathbf Q$52 with $\mathbf Q(\zeta_m)/\mathbf Q$53 (Beyne et al., 2015). For powers of odd primes, the relation satisfies

$\mathbf Q(\zeta_m)/\mathbf Q$54

which makes the quotient particularly natural for quadratic residues and primitive roots (Beyne et al., 2015).

At the opposite end of the subject, cyclotomic quotients of absolute Galois groups support an anabelian reconstruction theorem. For a number field $\mathbf Q(\zeta_m)/\mathbf Q$55, let $\mathbf Q(\zeta_m)/\mathbf Q$56 be the maximal pro-$\mathbf Q(\zeta_m)/\mathbf Q$57 extension of $\mathbf Q(\zeta_m)/\mathbf Q$58. Then the isomorphism type of $\mathbf Q(\zeta_m)/\mathbf Q$59 can be recovered from

$\mathbf Q(\zeta_m)/\mathbf Q$60

The group fits into

$\mathbf Q(\zeta_m)/\mathbf Q$61

with pro-$\mathbf Q(\zeta_m)/\mathbf Q$62 kernel and cyclotomic quotient, and the paper proves that an isomorphism

$\mathbf Q(\zeta_m)/\mathbf Q$63

comes from a unique isomorphism of field extensions $\mathbf Q(\zeta_m)/\mathbf Q$64 (Karshon et al., 3 Jan 2026). In local terms, for a local field $\mathbf Q(\zeta_m)/\mathbf Q$65 with residue field size $\mathbf Q(\zeta_m)/\mathbf Q$66 and $\mathbf Q(\zeta_m)/\mathbf Q$67, the $\mathbf Q(\zeta_m)/\mathbf Q$68-Sylow subgroup of $\mathbf Q(\zeta_m)/\mathbf Q$69 has the form

$\mathbf Q(\zeta_m)/\mathbf Q$70

and the conjugation formula

$\mathbf Q(\zeta_m)/\mathbf Q$71

makes the cyclotomic character visible group-theoretically (Karshon et al., 3 Jan 2026).

In this broader perspective, the Cyclotomic Residues Theorem is the prototype for a recurring principle: cyclotomic data convert residue classes into Galois action, and conversely Galois-theoretic structure constrains possible residue behavior. The classical identification of Frobenius with exponentiation by $\mathbf Q(\zeta_m)/\mathbf Q$72 is therefore both the historical core and the organizing model for these later developments (Lemmermeyer, 2012).