The canonical reciprocity homomorphism from the idèle class group (or ideal class group) of a global or local field to its abelianized Galois group that records Frobenius or geometric action of primes and realizes class field theory's correspondence between abelian extensions and class groups.

Principle

Identify arithmetic classes (ideal or idèle classes) with Galois actions by sending a class to the automorphism it induces on finite abelian extensions; the Artin map is the bridge that turns multiplicative class data into Galois group elements and establishes reciprocality laws.

Demonstration

For a finite abelian extension, assign to an unramified prime its Frobenius element; then extend multiplicatively to ideals and complete to an idèle class homomorphism that factors onto the abelian Galois group; this explicit map produces the reciprocity isomorphism of class field theory in the global case.

Misapplication

Using the naive prime-to‑conductor Frobenius assignment outside its domain (ignoring ramification, local normalization, or idèle measure choices) or taking the Artin map as defined without the necessary topological completions and continuity hypotheses leads to incorrect identifications.

Consequence

The Artin map yields an explicit description of the abelianized Galois group in terms of arithmetic classes, enabling classification of abelian extensions, formulation of reciprocity laws, and computation of Frobenius elements from ideal class data.

Reversal

The reversal is attempting to reconstruct ideal or idèle classes solely from arbitrary elements of the Galois group without the reciprocity structure; without the Artin map such a naive inversion lacks canonical arithmetic meaning and fails to recover class information.

Boundary

A central object of global and local class field theory relating idèle/ideal classes and abelian Galois groups; it does not immediately generalize to nonabelian Galois groups without additional structures (Langlands reciprocity replaces it in nonabelian contexts), and its exact form depends on chosen normalizations and topologies.

Semantic Tension

Tension exists between the concrete Frobenius assignment at unramified primes and the topological, idèlic formulation needed for ramified or infinite places; practitioners sometimes conflate the naive Frobenius map with the full Artin homomorphism that requires completions and reciprocity normalizations.

Synthesis

The Artin map is the reciprocity homomorphism that converts ideal or idèle class information into abelian Galois automorphisms: assign Frobenius to primes, extend multiplicatively and topologically, and thereby realize the class field theory correspondence between arithmetic classes and abelian extensions.