Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Anneau de valuation discrète
Résumé
En mathématiques, plus précisément en algèbre commutative, un anneau de valuation discrète est un anneau de valuation dont la valuation est discrète mais non triviale. Un anneau est de valuation discrète lorsqu'il est principal, qu'il ne possède qu'un idéal maximal, et que cet idéal est non nul.
Cette notion est utilisée en théorie algébrique des nombres et en géométrie algébrique ; elle constitue un outil d'étude des anneaux noethériens, en particulier les anneaux de Dedekind.
La première définition est presque une lapalissade :
Autrement dit, A est un anneau commutatif unitaire intègre, et il existe sur son corps des fractions K une valuation v, à valeurs entières mais non toutes nulles, telle que
Par conséquent (comme tout anneau d'une valuation non triviale) A est un anneau local mais pas un corps, et son unique idéal maximal M est non nul, et constitué des éléments de valuation strictement positive :
De plus (comme la valuation est à valeurs entières) tout idéal est engendré par n'importe lequel de ses éléments de valuation minimum, si bien que A est principal. En particulier, un générateur de M est appelé uniformisante ou paramètre local de l'anneau.
La réciproque est claire : tout anneau local et principal qui n'est pas un corps est un anneau de valuation discrète. On pose v(a) égal à l'entier naturel n tel que aA = M (cf. paragraphe « Propriétés »). On obtient donc une définition équivalente :
Un exemple simple est fourni par un sous-anneau du corps des rationnels : l'ensemble Z(p) des fractions a/b où a est un entier relatif et b un entier non divisible par un nombre premier p fixé. Les inversibles de cet anneau sont les a/b pour lesquels a n'est pas non plus multiple de p.
Une généralisation naturelle est de remplacer Z par un anneau de Dedekind A (par exemple l'anneau des entiers d'un corps quadratique ou plus généralement la fermeture intégrale de Z dans un corps de nombres). Soit P un idéal premier non nul de A, le localisé AP de A en P est un anneau de valuation discrète (c'est l'ensemble des fractions de la forme a/b où a est élément de A, et b un élément de A qui n'est pas dans P).
Source officielle
À 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.
Publications associées (18)
Personnes associées (4)
Concepts associés (22)
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.
Idéal fractionnaire
vignette|Richard Dedekind donne en 1876 la définition d'idéal fractionnaire. En mathématiques, et plus précisément en théorie des anneaux, un idéal fractionnaire est une généralisation de la définition d'un idéal. Ce concept doit son origine à la théorie algébrique des nombres. Pour résoudre certaines équations diophantiennes, cette théorie utilise des anneaux d'entiers généralisant celui des entiers relatifs.
Anneau local régulier
En mathématiques, les anneaux réguliers forment une classe d'anneaux très utile en géométrie algébrique. Ce sont des anneaux qui localement sont les plus proches possibles des anneaux de polynômes sur un corps. Soit un anneau local noethérien d'idéal maximal . Soit son espace tangent de Zariski qui est un espace vectoriel de dimension finie sur le corps résiduel . Cette dimension est minorée par la dimension de Krull de l'anneau . On dit que est régulier s'il y a égalité entre ces deux dimensions : Par le lemme de Nakayama, cela équivaut à dire que est engendré par éléments.
Cours associés (3)
MATH-482: Number theory I.a - Algebraic number theory
Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like alg
MATH-317: Algebra V - Galois theory
Galois theory aims at describing the algebraic symmetries of fields. After reviewing the basic material (from the 2nd year course "Ring and Fields") and in particular the Galois correspondence, we wi
MATH-494: Topics in arithmetic geometry
P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applic
Séances de cours associées (20)
Théorie de Galois: Anneaux Dedekind
Explore la théorie Galois avec un accent sur les anneaux Dedekind et leur factorisation unique des idéaux fractionnels.
Anneaux Dedekind: Théorie et applications
Explore les anneaux Dedekind, la fermeture intégrale, la factorisation des idéaux, et Lemma de Gauss.
Théorie de Galois: La Correspondance de Galois
Explore la correspondance galois et la solvabilité par les radicaux dans les équations polynomiales.