| Property |
Value |
| dbo:abstract
|
- En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc. En particulier le discriminant apparaît dans la théorie des invariants et est souvent construit comme l'invariant d'une courbe algébrique ou d'un polynôme homogène. Alors que le discriminant est un cas particulier de résultant, sa construction et sa signification peuvent varier. Une version moderne et systématique de la théorie du discriminant a été développée par Gelfand et ses coauteurs. Certaines méthodes systématiques ont un contenu homologique que l'on peut expliciter, comme dans le théorème des syzygies de Hilbert. Ce domaine est au moins aussi ancien que le théorème de Bézout. Le développement historique de l'algèbre commutative, qu'on appelait à l'origine théorie des idéaux, est intimement lié aux concepts de la théorie de l'élimination : des idées de Kronecker, qui avait écrit un article majeur sur le sujet,[réf. souhaitée] furent adaptées par Hilbert et « linéarisées » mais avec perte, dans un premier temps, du contenu constructif explicite. Le processus continua sur plusieurs décennies : le travail de Macaulay, d'après qui ont été nommés les anneaux de Cohen-Macaulay, a été motivé par l'élimination. La théorie de l'élimination a aussi un contenu logique, qui apparaît dans le problème SAT, soulevant des questions de complexité algorithmique. L'élimination des quantificateurs existentiels est possible dans certains cas, comme celui des corps algébriquement clos. Une conséquence géométrique est que si X est une variété algébrique sur un corps algébriquement clos k et Y un fermé de Zariski du produit de X par un espace projectif sur k, alors le projeté X0 de Y dans X est un fermé et plus généralement, pour tout entier e, l'ensemble Xe des points de X au-dessus desquels la fibre dans Y est de dimension supérieure ou égale à e est un fermé. L'histoire semble montrer que ce fait a influencé la pensée de Hilbert sur les perspectives en théorie de la démonstration.[réf. souhaitée] (fr)
- En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc. En particulier le discriminant apparaît dans la théorie des invariants et est souvent construit comme l'invariant d'une courbe algébrique ou d'un polynôme homogène. Alors que le discriminant est un cas particulier de résultant, sa construction et sa signification peuvent varier. Une version moderne et systématique de la théorie du discriminant a été développée par Gelfand et ses coauteurs. Certaines méthodes systématiques ont un contenu homologique que l'on peut expliciter, comme dans le théorème des syzygies de Hilbert. Ce domaine est au moins aussi ancien que le théorème de Bézout. Le développement historique de l'algèbre commutative, qu'on appelait à l'origine théorie des idéaux, est intimement lié aux concepts de la théorie de l'élimination : des idées de Kronecker, qui avait écrit un article majeur sur le sujet,[réf. souhaitée] furent adaptées par Hilbert et « linéarisées » mais avec perte, dans un premier temps, du contenu constructif explicite. Le processus continua sur plusieurs décennies : le travail de Macaulay, d'après qui ont été nommés les anneaux de Cohen-Macaulay, a été motivé par l'élimination. La théorie de l'élimination a aussi un contenu logique, qui apparaît dans le problème SAT, soulevant des questions de complexité algorithmique. L'élimination des quantificateurs existentiels est possible dans certains cas, comme celui des corps algébriquement clos. Une conséquence géométrique est que si X est une variété algébrique sur un corps algébriquement clos k et Y un fermé de Zariski du produit de X par un espace projectif sur k, alors le projeté X0 de Y dans X est un fermé et plus généralement, pour tout entier e, l'ensemble Xe des points de X au-dessus desquels la fibre dans Y est de dimension supérieure ou égale à e est un fermé. L'histoire semble montrer que ce fait a influencé la pensée de Hilbert sur les perspectives en théorie de la démonstration.[réf. souhaitée] (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5562 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2002 (xsd:integer)
- 2005 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:collection
| |
| prop-fr:fr
|
- Théorème de Tarski-Seidenberg (fr)
- Décomposition triangulaire (fr)
- Série de Hilbert et polynôme de Hilbert (fr)
- Théorème de Tarski-Seidenberg (fr)
- Décomposition triangulaire (fr)
- Série de Hilbert et polynôme de Hilbert (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:numéroChapitre
|
- IX, § 3 (fr)
- IX, § 3 (fr)
|
| prop-fr:numéroD'édition
|
- 2 (xsd:integer)
- 3 (xsd:integer)
|
| prop-fr:numéroDansCollection
|
- 185 (xsd:integer)
- 211 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 12 (xsd:integer)
- 914 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:titre
|
- Algebra (fr)
- Using Algebraic Geometry (fr)
- Algebra (fr)
- Using Algebraic Geometry (fr)
|
| prop-fr:titreChapitre
|
- Projections and elimination (fr)
- Projections and elimination (fr)
|
| prop-fr:trad
|
- Tarski–Seidenberg theorem (fr)
- Hilbert series and Hilbert polynomial (fr)
- Triangular decomposition (fr)
- Tarski–Seidenberg theorem (fr)
- Hilbert series and Hilbert polynomial (fr)
- Triangular decomposition (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- Springer (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc. En particulier le discriminant apparaît dans la théorie des invariants et est souvent construit comme l'invariant d'une courbe algébrique ou d'un polynôme homogène. Alors que le discriminant est un cas particulier de résultant, sa construction et sa signification (fr)
- En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc. En particulier le discriminant apparaît dans la théorie des invariants et est souvent construit comme l'invariant d'une courbe algébrique ou d'un polynôme homogène. Alors que le discriminant est un cas particulier de résultant, sa construction et sa signification (fr)
|
| rdfs:label
|
- Théorie de l'élimination (fr)
- Théorie de l'élimination (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
