This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4https://ncatlab.org/nlab/show/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n16http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n20http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n11http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-nlhttp://nl.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorème_de_la_base_de_Hilbert
rdfs:label
Basisstelling van Hilbert Hilbert's basis theorem Теорема Гільберта про базис Hilbertscher Basissatz Teorema della base di Hilbert Teorema de la base de Hilbert Théorème de la base de Hilbert
rdfs:comment
En théorie des anneaux, le théorème de la base de Hilbert affirme que si A est un anneau noethérien, alors l'anneau des polynômes en un nombre fini d'indéterminées A [X1, … , Xn] l'est aussi. Démonstration Soit J un idéal quelconque de A[X] ; l'objectif est de montrer que J est de type fini, ce qui prouvera que A[X] est noethérien. Soit (Dn) la suite d'idéaux de A définie par : Cette suite (Dn) est croissante (car ) donc constante à partir d'un rang r (car A est noethérien). La réunion de tous les Dn est donc égale à Dr.
rdfs:seeAlso
n4:Hilbert's_basis_theorem
owl:sameAs
dbpedia-he:משפט_הבסיס_של_הילברט dbpedia-ko:힐베르트_기저_정리 dbpedia-zh:希尔伯特基定理 dbpedia-sv:Hilberts_bassats n11:151492637 dbpedia-uk:Теорема_Гільберта_про_базис dbr:Hilbert's_basis_theorem n16:03ks0 dbpedia-it:Teorema_della_base_di_Hilbert dbpedia-pt:Teorema_da_base_de_Hilbert dbpedia-de:Hilbertscher_Basissatz dbpedia-pl:Twierdzenie_Hilberta_o_bazie dbpedia-es:Teorema_de_la_base_de_Hilbert dbpedia-cs:Hilbertova_věta_o_bázi dbpedia-ru:Теорема_Гильберта_о_базисе dbpedia-nl:Basisstelling_van_Hilbert wikidata:Q656645
dbo:wikiPageID
598719
dbo:wikiPageRevisionID
177568313
dbo:wikiPageWikiLink
dbpedia-fr:Polynôme_en_plusieurs_indéterminées dbpedia-fr:Anneau_noethérien category-fr:Théorème_d'algèbre dbpedia-fr:Théorie_des_anneaux category-fr:Polynôme
dbo:wikiPageLength
548
dct:subject
category-fr:Polynôme category-fr:Théorème_d'algèbre
prop-fr:wikiPageUsesTemplate
n20:Ébauche n20:Portail n20:Article_court n20:!
prov:wasDerivedFrom
wikipedia-fr:Théorème_de_la_base_de_Hilbert?oldid=177568313&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_de_la_base_de_Hilbert
dbo:namedAfter
dbpedia-fr:David_Hilbert
dbo:abstract
En théorie des anneaux, le théorème de la base de Hilbert affirme que si A est un anneau noethérien, alors l'anneau des polynômes en un nombre fini d'indéterminées A [X1, … , Xn] l'est aussi. Démonstration Soit J un idéal quelconque de A[X] ; l'objectif est de montrer que J est de type fini, ce qui prouvera que A[X] est noethérien. Soit (Dn) la suite d'idéaux de A définie par : Cette suite (Dn) est croissante (car ) donc constante à partir d'un rang r (car A est noethérien). La réunion de tous les Dn est donc égale à Dr. Pour chaque entier n, l'idéal Dn est de type fini (car A est noethérien) donc possède une famille génératrice finie (an,i) (le second indice, i, parcourt un ensemble fini In). Pour chacun de ces an,i, soit Pn,i un polynôme de J de degré n et de coefficient dominant égal à an,i. Montrons que la famille finie (Pn,i), doublement indexée par n inférieur ou égal à r et par i dans In, engendre J. Cette assertion signifie que tout polynôme Q de J s'exprime comme combinaison linéaire à coefficients dans A[X] de cette famille (Pn,i). Si Q est nul, c'est immédiat. Sinon, on se ramène à ce cas par récurrence sur le degré d de Q : supposons que la famille engendre tous les polynômes de J de degré strictement inférieur à l'entier naturel d (pour d=0 c'est acquis, le seul polynôme de degré < 0 étant le polynôme nul).Soient q le coefficient dominant de Q et s=min(r,d). Alors q appartient à Dd=Ds. Il existe en conséquence une famille (μi) d'éléments de A telle que L'hypothèse de récurrence montre que Q est engendré par la famille (Pn,i), ce qui termine la démonstration.