Cyclotomic Artin reciprocity over the rational numbers ($\mathrm{Art}((a)):{\zeta }_n\mapsto {\zeta }_n^a$)

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.