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:

    “Put shortly, these are the two views, then. One, that man is intrinsically good, spoilt by circumstance; and the other that he is intrinsically limited, but disciplined by order and tradition to something fairly decent. To the one party man’s nature is like a well, to the other like a bucket. The view which regards him like a well, a reservoir full of possibilities, I call the romantic; the one which regards him as a very finite and fixed creature, I call the classical.”
    —Thomas Ernest Hulme (1883–1917)

    “If we focus exclusively on teaching our children to read, write, spell, and count in their first years of life, we turn our homes into extensions of school and turn bringing up a child into an exercise in curriculum development. We should be parents first and teachers of academic skills second.”
    —Neil Kurshan (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)

    “The landscape was clothed in a mild and quiet light, in which the woods and fences checkered and partitioned it with new regularity, and rough and uneven fields stretched away with lawn-like smoothness to the horizon, and the clouds, finely distinct and picturesque, seemed a fit drapery to hang over fairyland. The world seemed decked for some holiday or prouder pageantry ... like a green lane into a country maze, at the season when fruit-trees are in blossom.”
    —Henry David Thoreau (1817–1862)