Search results
Results From The WOW.Com Content Network
[15] [16] This allows one to define ramification groups in the upper numbering for infinite Galois extensions (such as the absolute Galois group of a local field) from the inverse system of ramification groups for finite subextensions. The upper numbering for an abelian extension is important because of the Hasse–Arf theorem.
The decomposition groups in this case are both the trivial group {1}; indeed the automorphism σ switches the two primes (2 + 3i) and (2 − 3i), so it cannot be in the decomposition group of either prime. The inertia group, being a subgroup of the decomposition group, is also the trivial group. There are two residue fields, one for each prime,
For example, if L is a Galois extension of a number field K, the ring of integers O L of L is a Galois module over O K for the Galois group of L/K (see Hilbert–Speiser theorem). If K is a local field, the multiplicative group of its separable closure is a module for the absolute Galois group of K and its study leads to local class field theory.
In algebraic number theory, through completion, the study of ramification of a prime ideal can often be reduced to the case of local fields where a more detailed analysis can be carried out with the aid of tools such as ramification groups. In this article, a local field is non-archimedean and has finite residue field.
In that case a quantitative measure of ramification is defined for Galois extensions, basically by asking how far the Galois group moves field elements with respect to the metric. A sequence of ramification groups is defined, reifying (amongst other things) wild (non-tame) ramification. This goes beyond the geometric analogue.
The conductor of an abelian extension L/K of number fields can be defined, similarly to the local case, using the Artin map. Specifically, let θ : I m → Gal(L/K) be the global Artin map where the modulus m is a defining modulus for L/K; we say that Artin reciprocity holds for m if θ factors through the ray class group modulo m.
Ramification group#Ramification theory of valuations To a section : This is a redirect from a topic that does not have its own page to a section of a page on the subject. For redirects to embedded anchors on a page, use {{ R to anchor }} instead .
The existence theorem in local class field theory establishes a one-to-one correspondence between open subgroups of finite index in the multiplicative group K × and finite abelian extensions of the field K. For a finite abelian extension L of K the corresponding open subgroup of finite index is the norm group N(L ×). The reciprocity map sends ...