Artin Reciprocity Law - Finite Extensions of Global Fields

Finite Extensions of Global Fields

The definition of the Artin map for a finite abelian extension L/K of global fields (such as a finite abelian extension of Q) has a concrete description in terms of prime ideals and Frobenius elements.

If is a prime of K then the decomposition groups of primes above are equal in Gal(L/K) since the latter group is abelian. If is unramified in L, then the decomposition group is canonically isomorphic to the Galois group of the extension of residue fields over . There is therefore a canonically defined Frobenius element in Gal(L/K) denoted by or . If Δ denotes the relative discriminant of L/K, the Artin symbol (or Artin map, or (global) reciprocity map) of L/K is defined on the group of prime-to-Δ fractional ideals, by linearity:

\begin{matrix} \left(\frac{L/K}{\cdot}\right):&I_K^\Delta&\longrightarrow&\mathrm{Gal}(L/K)\\ &\displaystyle{\prod_{i=1}^m\mathfrak{p}_i^{n_i}}&\mapsto&\displaystyle{\prod_{i=1}^m\left(\frac{L/K}{\mathfrak{p}_i}\right)^{n_i}.} \end{matrix}

The Artin reciprocity law (or global reciprocity law) states that there is a modulus c of K such that the Artin map induces an isomorphism

where Kc,1 is the ray modulo c, NmL/K is the norm map associated to L/K and is the fractional ideals of L prime to c. Such a modulus c is called a defining modulus for L/K. The smallest defining modulus is called the conductor of L/K and typically denoted .

Read more about this topic:  Artin Reciprocity Law

Famous quotes containing the words finite, extensions, global and/or fields:

    “Are not all finite beings better pleased with motions relative than absolute?”
    —Henry David Thoreau (1817–1862)

    “The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
    —Elaine Heffner (20th century)

    “The Sage of Toronto ... spent several decades marveling at the numerous freedoms created by a “global village” instantly and effortlessly accessible to all. Villages, unlike towns, have always been ruled by conformism, isolation, petty surveillance, boredom and repetitive malicious gossip about the same families. Which is a precise enough description of the global spectacle’s present vulgarity.”
    —Guy Debord (b. 1931)

    “Mantled in grey, the dusk steals slowly in,
    Crossing the dead, dull fields with footsteps cold.”
    —Philip Larkin (1922–1986)