Corps de nombresEn 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.
Anneau local régulierEn 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.
I-adic topologyIn commutative algebra, the mathematical study of commutative rings, adic topologies are a family of topologies on the underlying set of a module, generalizing the p-adic topologies on the integers. Let R be a commutative ring and M an R-module. Then each ideal a of R determines a topology on M called the a-adic topology, characterized by the pseudometric The family is a basis for this topology. With respect to the topology, the module operations of addition and scalar multiplication are continuous, so that M becomes a topological module.
Valuation ringIn abstract algebra, a valuation ring is an integral domain D such that for every element x of its field of fractions F, at least one of x or x−1 belongs to D. Given a field F, if D is a subring of F such that either x or x−1 belongs to D for every nonzero x in F, then D is said to be a valuation ring for the field F or a place of F. Since F in this case is indeed the field of fractions of D, a valuation ring for a field is a valuation ring.
Analyse p-adiqueL’analyse p-adique est une branche des mathématiques qui traite des fonctions de nombres p-adiques. Ses principales applications concernent la théorie des nombres : elle est utilisée dans l'étude des équations diophantiennes (c'était la motivation de Hensel pour définir les nombres p-adiques) ; l'étude des fonctions spéciales p-adiques (fonctions exponentielle et logarithme, fonctions zêta, gamma) permet de mieux comprendre l'arithmétique cachée dans les valeurs spéciales des fonctions réelles ; l'analyse fonctionnelle p-adique joue un rôle important dans l'étude des représentations de certains .
Lemme de HenselEn mathématiques, le lemme de Hensel, est un résultat permettant de déduire l'existence d'une racine d'un polynôme à partir de l'existence d'une solution approchée. Il doit son nom au mathématicien du début du Kurt Hensel. Sa démonstration est analogue à celle de la méthode de Newton. La notion d'anneau hensélien regroupe les anneaux dans lesquels le lemme de Hensel s'applique. Les exemples les plus usuels sont Z (l'anneau des entiers p-adiques, pour p un nombre premier) et k[[t]] (l'anneau des séries formelles sur un corps k) ou plus généralement, les anneaux de valuation discrète complets.
Module platLa notion de module plat a été introduite et utilisée, en géométrie algébrique, par Jean-Pierre Serre. Cette notion se trouve également dans un ouvrage contemporain d'Henri Cartan et Samuel Eilenberg en algèbre homologique. Elle généralise les modules projectifs et a fortiori les modules libres. En algèbre commutative et en géométrie algébrique, cette notion a été notamment exploitée par Alexander Grothendieck et son école, et s'est révélée d'une importance considérable.
Noncommutative ringIn mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.
Corps résiduelUn corps résiduel d'un anneau commutatif R est le quotient de R par un idéal maximal. S'agissant d'un idéal maximal, l'anneau issu du quotient a une structure de corps. Le concept est avant tout utilisé en géométrie algébrique et en théorie algébrique des nombres, où l'on travaille le plus souvent avec un anneau local ou un anneau de valuation discrète, qui ne possède qu'un idéal maximal et permet donc de parler « du » corps résiduel. On peut opérer le quotient sur un anneau non commutatif, mais on obtient alors un corps gauche.
Lemme de NakayamaLe lemme de Nakayama est un résultat fondamental d'algèbre commutative. Il doit son origine à , et Wolfgang Krull. Un énoncé général est le suivant : La démonstration de cet énoncé général se ramène à celle du cas particulier N = 0, c'est pourquoi le lemme de Nakayama est souvent énoncé sous cette forme : Le corollaire suivant est parfois également énoncé sous le nom de « lemme de Nakayama » : (En effet, pour tout élément a de R, 1 + a est inversible.) Soit une famille génératrice de M. Il existe des tels que pour tout i, .
Anneau de valuation discrèteEn 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.
Foncteur exactEn mathématiques, un foncteur exact est un foncteur qui commute aux limites inductives et projectives. De manière équivalente, c'est un foncteur qui préserve les suites exactes de catégories abéliennes et c'est de cela que vient la dénomination. Des foncteurs de ce type apparaissent naturellement en homologie et d'une manière générale en théorie des catégories, où leurs propriétés permettent des calculs élégants. Le « défaut d'exactitude » est mesuré par les foncteurs dérivés, par exemple les foncteurs Tor et Ext.
Localisation (mathématiques)En algèbre, la localisation est une des opérations de base de l'algèbre commutative. C'est une méthode qui construit à partir d'un anneau commutatif un nouvel anneau. La construction du corps des fractions est un cas particulier de la localisation. La localisation consiste à rendre inversibles les éléments d'une partie (« partie multiplicative ») de l'anneau. L'exemple le plus connu est le corps des fractions d'un anneau intègre qui se construit en rendant inversibles tous les éléments non nuls de l'anneau.
Anneau topologiqueEn mathématiques, un anneau topologique est un anneau muni d'une topologie compatible avec les opérations internes, c'est-à-dire telle que l'addition, l'application opposée et la multiplication soient continues. Un corps topologique est un corps muni d'une topologie qui rend continues l'addition, la multiplication et l'application inverse. Ces structures étendent la notion de groupe topologique. Tous les corps de nombres usuels (rationnels, réels, complexes, p-adiques) ont une ou plusieurs topologies classiques qui en font des corps topologiques.
Anneau localEn mathématiques, et plus particulièrement en algèbre commutative, un anneau local est un anneau commutatif possédant un unique idéal maximal. En géométrie algébrique, les anneaux locaux représentent les fonctions définies au voisinage d'un point donné. Pour tout anneau A, les propriétés suivantes sont équivalentes : A est local ; ses éléments non inversibles forment un idéal (qui sera alors l'idéal maximal de A et coïncidera avec son radical de Jacobson) ; ses éléments non inversibles appartiennent à un même idéal propre ; pour tout élément a de A, soit a soit 1 – a est inversible ; pour tout élément a de A, soit a soit 1 – a est inversible à gauche ; il existe un idéal maximal M tel que pour tout élément a de M, 1 + a est inversible.
Algèbre commutativevignette|Propriété universelle du produit tensoriel de deux anneaux commutatifs En algèbre générale, l’algèbre commutative est la branche des mathématiques qui étudie les anneaux commutatifs, leurs idéaux, les modules et les algèbres. Elle est fondamentale pour la géométrie algébrique et pour la théorie algébrique des nombres. David Hilbert est considéré comme le véritable fondateur de cette discipline appelée initialement la « théorie des idéaux ».
Nombre p-adiquevignette|Les entiers 3-adiques, avec des représentations obtenues par dualité de Pontriaguine. En mathématiques, et plus particulièrement en théorie des nombres, pour un nombre premier fixé, les nombres p-adiques forment une extension particulière du corps des nombres rationnels, découverte par Kurt Hensel en 1897. Le corps commutatif des nombres -adiques peut être construit par complétion de , d'une façon analogue à la construction des nombres réels par les suites de Cauchy, mais pour une valeur absolue moins familière, nommée valeur absolue -adique.
Gorenstein ringIn commutative algebra, a Gorenstein local ring is a commutative Noetherian local ring R with finite injective dimension as an R-module. There are many equivalent conditions, some of them listed below, often saying that a Gorenstein ring is self-dual in some sense. Gorenstein rings were introduced by Grothendieck in his 1961 seminar (published in ). The name comes from a duality property of singular plane curves studied by (who was fond of claiming that he did not understand the definition of a Gorenstein ring).
Série formelleEn algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc. Ces objets sont utiles pour décrire de façon concise des suites et pour trouver des formules pour des suites définies par récurrence via ce que l'on appelle les séries génératrices. Soit R un anneau commutatif (unifère).
Anneau adéliqueEn mathématiques et dans la théorie des nombres, l'anneau adélique, ou anneau des adèles, est un anneau topologique contenant le corps des nombres rationnels (ou, plus généralement, un corps de nombres algébriques), construit à l'aide de toutes les complétions du corps. Le mot « adèle » est une abréviation pour « additive idele » (« idèle additive »). . Les adèles étaient appelées vecteurs de valuation ou répartitions avant 1950.
