Ramification group

In number theory, more specifically in local class field theory, the ramification groups are a filtration of the Galois group of a local field extension, which gives detailed information on the ramification phenomena of the extension. In mathematics, the ramification theory of valuations studies the set of extensions of a valuation v of a field K to an extension L of K. It is a generalization of the ramification theory of Dedekind domains. The structure of the set of extensions is known better when L/K is Galois. Let (K, v) be a valued field and let L be a finite Galois extension of K. Let Sv be the set of equivalence classes of extensions of v to L and let G be the Galois group of L over K. Then G acts on Sv by σ[w] = [w ∘ σ] (i.e. w is a representative of the equivalence class [w] ∈ Sv and [w] is sent to the equivalence class of the composition of w with the automorphism σ : L → L; this is independent of the choice of w in [w]). In fact, this action is transitive. Given a fixed extension w of v to L, the decomposition group of w is the stabilizer subgroup Gw of [w], i.e. it is the subgroup of G consisting of all elements that fix the equivalence class [w] ∈ Sv. Let mw denote the maximal ideal of w inside the valuation ring Rw of w. The inertia group of w is the subgroup Iw of Gw consisting of elements σ such that σx ≡ x (mod mw) for all x in Rw. In other words, Iw consists of the elements of the decomposition group that act trivially on the residue field of w. It is a normal subgroup of Gw. The reduced ramification index e(w/v) is independent of w and is denoted e(v). Similarly, the relative degree f(w/v) is also independent of w and is denoted f(v). Ramification groups are a refinement of the Galois group of a finite Galois extension of local fields. We shall write for the valuation, the ring of integers and its maximal ideal for . As a consequence of Hensel's lemma, one can write for some where is the ring of integers of . (This is stronger than the primitive element theorem.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (6)

Séances de cours associées (12)

Corps de nombres

En mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.

Ramification group

Représentation galoisienne

La théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupes d'unités, des groupes des classes, ou des groupes de Galois eux-mêmes. En théorie algébrique des nombres classique, soit L une extension galoisienne d'un corps de nombres K, et soit G le groupe de Galois correspondant.

Théorèmes Hermite-Minkowski : champs de nombres et classes idéales MATH-317: Algebra V - Galois theory

Explore les théorèmes de Hermite-Minkowski dans les champs numériques et les classes idéales.

Théorème de localisation dans les anneaux de Dedekind

Explore le théorème de localisation dans les anneaux de Dedekind, l'isomorphisme induit par injection et la ramification dans la théorie des champs.

Théorie de la ramification: Recette de Dedekind

Explore la théorie des ramifications, les champs de résidus, les extensions de Galois et les groupes de décomposition dans la théorie des nombres algébriques.