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:

    “The finite is annihilated in the presence of the infinite, and becomes a pure nothing. So our spirit before God, so our justice before divine justice.”
    —Blaise Pascal (1623–1662)

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

    “However global I strove to become in my thinking over the past twenty years, my sons kept me rooted to an utterly pedestrian view, intimately involved with the most inspiring and fractious passages in human development. However unconsciously by now, motherhood informs every thought I have, influencing everything I do. More than any other part of my life, being a mother taught me what it means to be human.”
    —Mary Kay Blakely (20th century)

    “Genius is the naturalist or geographer of the supersensible regions, and draws their map; and, by acquainting us with new fields of activity, cools our affection for the old. These are at once accepted as the reality, of which the world we have conversed with is the show.”
    —Ralph Waldo Emerson (1803–1882)