 Cyclotomic Artin reciprocity over the rational numbers

For the cyclotomic field $\mathbb{Q}({\zeta }_n)$, arithmetic Frobenius automorphisms at primes $\ell \nmid n$ send ${\zeta }_n$ to ${\zeta }_n^{\ell }$: reduction distinguishes the nth roots of unity, and Frobenius raises residues to their $\ell$th powers. Multiplicativity therefore sends a fractional ideal with positive rational generator $a$, prime to $n$, to the exponent $a\mathrm{mod}n$. Its kernel consists exactly of positive generators congruent to one modulo $n$. This proves Artin reciprocity for the ray class group of modulus $n\infty$ without assuming the general reciprocity theorem.