Element întreg

În matematică și mai specific în algebra comutativă , numerele întregi pe un inel comutativ sunt atât o generalizare a numerelor întregi algebrice (numere întregi pe inelul numerelor întregi relative ), cât și elemente algebrice într-o extensie de câmpuri . Este o noțiune foarte utilă în teoria numerelor algebrice și geometria algebrică . Apariția sa a început cu studiul numerelor întregi pătratice , în special a numerelor întregi gaussiene .

Definiție

Fixed este un inel comutativ A .

Fie B o A -algebră comutativă (adică un inel comutativ (unitar) prevăzut cu un morfism inelar ). Se spune că un element b al lui B este întreg peste A dacă există un polinom unitar cu coeficienți în A care dispare la b .

Exemple

  • Să o să fie un element de A și B câtul inelul A [ X ] / ( X 2 - a ). Imaginea X în B este completă pe A .
  • Să G un grup finit de automorfisme de A , și A G subinel elementelor A fixate prin toate elementele G . Deci , fiecare element al A este parte integrantă peste A G .
  • Demonstrație

    Dacă α este un element al lui A , atunci α este rădăcina polinomului ∏ σ ∈ G ( X - σα ), ai cărui coeficienți sunt invarianți de automorfismele lui G , din moment ce funcțiile simetrice ale σα .

    Se spune că B este parte integrantă peste A , sau că este o O întreagă algebră dacă fiecare element al B este parte integrantă peste A . Vom spune, de asemenea, că este un întreg morfism sau că este o întreagă extensie .

    Spre deosebire de cazul extensiilor corpului, un morfism inelar nu este neapărat injectiv. Dar să spunem că b este parte integrantă peste A înseamnă că b este parte integrantă peste subinel de B . Prin urmare, ne putem limita întotdeauna la morfisme injective. Dar este mai convenabil să păstrăm definiția cazului general (putem spune astfel că un morfism surjectiv este întreg).

    Proprietăți

    Noi spunem că un morfism de la A la B este un morfism finit în cazul în care face B o A -modul de tip finit, adică, dacă există , cum ar fi , de asemenea , a spus că B este finită de peste A .

    Teorema  -  Următoarele condiții sunt echivalente:

    1. b este întreg peste A ,
    2. A [ b ] este finit pe A (ca modul A ),
    3. există o subalgebră (unitară) a lui B care conține b și finit pe A (ca modul A ),
    4. există un A [ b ] - modul de tip fidel și finit ca A -modul.
    Demonstrație

    Fie așa încât . Fie . Prin împărțirea euclidiană în (este posibil aici, deoarece este unitar), avem cel mult cu grad . La fel este o combinație liniară a și este de tip finit.

    Să D un astfel de modul și o familie de generare a A -modul D . Pentru toate i , bd i este un membru D și este exprimat ca o combinație liniară de coeficienți în A . Prin urmare, există elemente a ij din A astfel încât:

    ,

    care este scris și

    ,

    unde δ ij denotă simbolul Kronecker .

    Dacă notăm cu d determinantul , formula lui Laplace arată că avem dd i = 0 pentru tot i . Deoarece d i generează D , deducem dD = 0 prin urmare (deoarece D este fidel) d = 0. Dacă dezvoltăm acest determinant d , obținem o ecuație de forma P ( b ) = 0, unde P este un polinom monic cu coeficienți în a .

    Corolar 1  -  Setul de elemente întregi ale lui B peste A este un subinel al lui B care conține imaginea lui .

    Demonstrație

    Dacă b și c sunt numere întregi peste A, atunci subalgebra A [ b , c ] este finită (ca un modul) peste A [ b ] care în sine este finită peste A , deci A [ b , c ] este finită pe A prin urmare (conform teoremei) toate elementele sale sunt numere întregi pe A , în special elementele b - c și bc .

    Corolarul 2  -  Dacă B este integral peste A și dacă c este o parte întreagă a B a unui B algebră, atunci c este parte integrantă peste A . Astfel, un inel întreg al unui inel staționar A este parte integrantă peste A .

    Demonstrație

    Fie un polinom care anulează c . Deoarece sunt numere întregi peste A , algebra este un A -modul de tip finit (prin iterarea raționamentului corolarului anterior). Deoarece c este întreg peste C , algebra D = C [ c ] este un C -modul de tip finit. Deducem că D este un A -modul de tip finit, iar teorema ne permite să concluzionăm.

    Închidere și închidere completă

    Din Corolarul 1 de mai sus, setul de elemente întregi ale lui B peste A este o sub- A -algebră a lui B (adică un subinel al lui B stabil prin multiplicare cu A ). Acest set se numește închiderea integrală a A în B .

    Dacă A este integrat , închiderea sa integrală în său domeniu de fracții se numește închiderea integrală a A . În geometria algebrica, aceasta corespunde la normalizarea regimului definit de A . Dacă A este egal cu închiderea sa integrală, spunem că A este complet închis sau normal .

    Conform corolarului 2 de mai sus , închiderea integrală a lui A într-o extensie a câmpului său de fracțiuni este întotdeauna complet închisă. În special :

    Exemple

    Demonstrație

    De fapt, un inel integral este complet închis dacă și numai dacă este o intersecție a inelelor de evaluare pentru câmpul său de fracții.

    Demonstrație

    Dacă x este întreg peste S −1 A, atunci îndeplinește o ecuație a formei

    .

    Înmulțind cu s n , rezultă că sx este parte integrantă peste A . Conversația este dovedită în același mod prin repetarea acestui calcul în ordine inversă. Primul caz special se obține prin luarea K egal cu domeniul de fracțiuni A , iar al doilea luarea S egal cu multimea nenuli elemente ale A .

    În teoria numerelor algebrice , de exemplu, avem nevoie frecvent de inelul S-numere întregi ale unui câmp de numere K , unde S este un set finit de numere prime. Acestea sunt elementele lui K anulate de un polinom unitar cu coeficienți în S –1 ℤ, un inel de numere raționale al cărui numitor este divizibil numai cu primele lui S (de exemplu, dacă S = {2, 3}, atunci S –1 ℤ este mulțimea fracțiilor de forma c / 2 până la 3 b ).

    Legătură cu extensiile algebrice

    Să A fi un domeniu integral, K domeniul său de fracții și L o extensie de K .

    Demonstrație

    Dacă x este întreg peste A , există un polinom unitar Q ∈ A [ X ] care anulează x . A fortiori, x este algebric peste K , iar polinomul său minim P împarte Q în K [ X ]. Să notăm cu a , b , c , ... rădăcinile lui P (într-un câmp de descompunere ); astfel, P ( X ) = ( X - a ) ( X - b ) ( X - c ) ... Deoarece aceste rădăcini sunt și rădăcini ale lui Q , toate sunt întregi pe A  ; în consecință, coeficienții lui P , care sunt polinoame în a , b , c , ... , sunt, de asemenea, numere întregi pe A (conform Corolarului 1).

    (Există contra-exemple în cazul general).

    Aplicații la geometria algebrică

    Să fie un întreg morfism.

    Note și referințe

    1. (în) MF Atiyah și IG Macdonald , Introducere în algebra comutativă , Taylor & Francis ,1969( citiți online ) , p.  68, ex. 12.
    2. Această ultimă caracterizare este mai puțin utilizată, dar servește, de exemplu, în studiul inelelor de evaluare discrete .
    3. Acest argument apare în Pierre Samuel , Teoria algebrică a numerelor [ detaliul ediției ], în N. Bourbaki , Algebra comutativă , p.  V.1.1, în Serge Lang , Algèbre [ detaliu ediții ]și în (en) Pierre Samuel și Oscar Zariski , Algebra comutativă , vol.  1, Springer Verlag , col.  „  GTM  ” ( nr .  28). Este o variantă a argumentului folosit pentru a demonstra lema lui Nakayama . Alternativ, putem invoca teorema Cayley-Hamilton pentru endomorfismul lui D  : „produs de b  ”.
    4. O dovadă mai explicită folosind rezultatele este prezentată de Aviva Szpirglas , Algebra L3: Curs complet cu 400 de teste și exerciții corectate [ detaliul ediției ], cap. 10, § 4.2.2 în cazul A = ℤ dar se extinde prin genericitate la orice inel . O metodă alternativă bazată pe teorema fundamentală a polinoamelor simetrice .
    5. Atiyah și Macdonald 1969 , p.  67-68 (ex. 8 și 9).
    6. Henri Lombardi și Claude Left, algebră comutativă - Metode constructive - module proiective de tip finit , Calvage & Mounet,2016( 1 st  ed. 2011) ( arXiv  1,611.02942 , prezentare on - line ) , p.  137, Lema 8.4.
    7. Pentru calculul general al închiderii integrale a unei algebre generate de monomii , a se vedea de exemplu (în) David Eisenbud , Algebra comutativă: cu o vedere către geometria algebrică , al.  „GTM” ( nr .  150)1995( citiți online ) , p.  139-140, exercițiul 4.22.
    8. André Néron , „  Noțiuni elementare de geometrie algebrică  ” , Publicații matematice din Orsay, 1964-65 .
    9. Bourbaki AC VI § 1 n o  3.
    10. Jean-Pierre Serre , Corpul local [ detaliile edițiilor ]p. 22.
    11. Atiyah și Macdonald 1969 , p.  61-64.
    <img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">