Le théorème des zéros de Hilbert, parfois appelé Nullstellensatz, est un théorème d'algèbre commutative qui est à la base du lien entre les idéaux et les variétés algébriques. Il a été démontré par le mathématicien allemand David Hilbert. Une algèbre de type fini sur K est un anneau quotient d'un anneau de polynômes K[X_1,...,X_n] par un idéal. Sa structure de K-algèbre est induite par celle de K[X_1,...,X_n]. Il existe plusieurs formulations du théorème des zéros de Hilbert. Théorème 1 (Lemme de Zariski). Soient K un corps et A une K-algèbre de type fini. Alors tout quotient de A par un idéal maximal est une extension finie de K. De façon équivalente : si A est un corps, alors c'est une extension finie de K. Procédons par récurrence sur le nombre de générateurs de la K-algèbre A, supposée être un corps. Il faut montrer que ces générateurs sont algébriques sur K. S'il n'y a pas de générateur, il n'y a rien à démontrer. Supposons le résultat vrai pour toute K-algèbre engendrée par n générateurs qui soit également un corps et donnons-nous une K-algèbre A engendrée par n + 1 éléments qui soit un corps. A est engendrée par sur , corps des fractions de inclus dans le corps A. Par hypothèse de récurrence, les , sont annulés par des polynômes unitaires à coefficients dans et il reste à voir que est algébrique sur K. Notant le produit de tous les dénominateurs intervenant dans les coefficients des , les sont entiers sur le localisé , donc A est entier sur . Si était transcendant sur K, alors serait intégralement clos donc, d'après le point précédent, égal à , ce qui est absurde. Finalement, est bien algébrique sur K. Ce théorème a plusieurs conséquences immédiates. On note Spm A le spectre maximal d'un anneau A, l'ensemble des idéaux maximaux de A. Théorème 2 (Nullstellensatz faible). Supposons que est algébriquement clos. Alors la fonction est une bijection, où désigne l'idéal engendré par les . Autrement dit, un point de s'identifie avec un idéal maximal de polynômes à indéterminées sur quand est algébriquement clos.

À 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.
Cours associés (3)
MATH-311: Algebra IV - rings and modules
Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.
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
COM-309: Introduction to quantum information processing
Information is processed in physical devices. In the quantum regime the concept of classical bit is replaced by the quantum bit. We introduce quantum principles, and then quantum communications, key d
Séances de cours associées (13)
Géométrie algébrique : formulaires et cartes
Couvre le concept de formes en géométrie algébrique et les implications de la construction de Bloch (A) à partir de copies collées de A.
Matrice de densité: Recap et Bloch 'Ball'
Couvre le concept de matrice de densité et ses propriétés, en mettant l'accent sur les mélanges statistiques et les mesures.
Décomposition géométrique primaire
Couvre les idéaux radicaux, Nullstellensatz, les idéaux primaires et les ensembles algébriques.
Afficher plus
Publications associées (11)

Convex Combination of Diffusion Strategies Over Networks

Ali H. Sayed, Jie Chen

Combining diffusion strategies with complementary properties enables enhanced performance when they can be run simultaneously. In this article, we first propose two schemes for the convex combination of two diffusion strategies, namely, the power-normalize ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Orders That Are Etale-Locally Isomorphic

Eva Bayer Fluckiger

Let R be a semilocal Dedekind domain with fraction field F. It is shown that two hereditary R-orders in central simple F-algebras that become isomorphic after tensoring with F and with some faithfully flat etale R-algebra are isomorphic. On the other hand, ...
AMER MATHEMATICAL SOC2020

Affine Combination of Diffusion Strategies Over Networks

Ali H. Sayed, Jie Chen

Diffusion adaptation is a powerful strategy for distributed estimation and learning over networks. Motivated by the concept of combining adaptive filters, this work proposes a combination framework that aggregates the operation of multiple diffusion strate ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020
Afficher plus
Concepts associés (28)
Variété algébrique
Une variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
Algèbre commutative
vignette|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 ».
Polynôme formel
En algèbre, le terme de polynôme formel, ou simplement polynôme, est le nom générique donné aux éléments d'une structure construite à partir d'un ensemble de nombres. On considère un ensemble A de nombres, qui peut être celui des entiers ou des réels, et on lui adjoint un élément X, appelé indéterminée. La structure est constituée par les nombres, le polynôme X, les puissances de X multipliées par un nombre, aussi appelés monômes (de la forme aX), ainsi que les sommes de monômes. La structure est généralement notée A[X].
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.