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:

    “We know then the existence and nature of the finite, because we also are finite and have extension. We know the existence of the infinite and are ignorant of its nature, because it has extension like us, but not limits like us. But we know neither the existence nor the nature of God, because he has neither extension nor limits.”
    —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)

    “Much of what Mr. Wallace calls his global thinking is, no matter how you slice it, still “globaloney.” Mr. Wallace’s warp of sense and his woof of nonsense is very tricky cloth out of which to cut the pattern of a post-war world.”
    —Clare Boothe Luce (1903–1987)

    “The world’s great day is growing late,
    Yet strange these fields that we have planted
    So long with crops of love and hate.”
    —Edwin Muir (1887–1959)