« Élément entier » : différence entre les versions
Contenu supprimé Contenu ajouté
(Re)correction de l'exemple ℤ[k√d] : k entier (au lieu de rationnel, sinon l'extension ne serait pas du tout quadratique sur ℤ…) |
m Annulation de l'erreur de MindcraftMax (d) Balise : Annulation |
||
Ligne 77 :
* L'anneau ℤ des entiers est intégralement clos, l'anneau ℤ[{{math|i}}] des [[entier de Gauss|entiers de Gauss]] aussi. En fait tout [[anneau principal]] est intégralement clos.
* Plus généralement (cf. [[Lemme d'Euclide|Lemme de Gauss]]) un anneau intègre [[anneau à PGCD|à PGCD]] — en particulier un [[anneau factoriel]] — est intégralement clos (par exemple un [[anneau local régulier|anneau régulier]], comme l'anneau de polynômes ''R''[''X''{{ind|1}}, … , ''X{{ind|n}}''] à coefficients dans un corps ou anneau principal ''R'').
*La [[Entier quadratique#Entier quadratique|clôture intégrale de l'anneau ℤ[''k''{{racine|''d''}}]]], où ''d'' est un
* L'anneau ℤ[''t''{{2}}, ''t''{{3}}] n'est pas intégralement clos : son corps des fractions est ℚ(''t''), sur lequel ''t'' est entier puisque solution de {{nobr|1=''X''{{2}} – ''t''{{2}} = 0.}}
* Un [[Valuation#Anneau de valuation|anneau de valuation]] est intégralement clos ; une intersection d'anneaux de valuation aussi<ref>{{Lien web|url=http://portail.mathdoc.fr/PMO/PDF/N_NERON-95.pdf|titre=Notions élémentaires de géométrie algébrique|auteur=[[André Néron]]|year=1964-65|éditeur=Publications mathématiques d'Orsay}}.</ref>.
|