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:

    “For it is only the finite that has wrought and suffered; the infinite lies stretched in smiling repose.”
    —Ralph Waldo Emerson (1803–1882)

    “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)

    “Ours is a brand—new world of allatonceness. “Time” has ceased, “space” has vanished. We now live in a global village ... a simultaneous happening.”
    —Marshall McLuhan (1911–1980)

    “To the Ocean now I fly,
    And those happy climes that ly
    Where day never shuts his eye,
    Up in the broad fields of the sky:”
    —John Milton (1608–1674)