Un element întreg este un element al unui inel comutativ dat cu unitate în raport cu subinelul , care este rădăcina polinomului redus cu coeficienți în , adică astfel încât pentru care există coeficienți astfel încât:
.Dacă fiecare element este un întreg peste , inelul se numește un întreg de extensie (sau doar un inel, întreg peste ).
Dacă și sunt câmpuri , termenii „integral peste...” și „extensie integrală” corespund termenilor „algebric peste...” și „ extensie algebrică ”. Un caz special, deosebit de important în teoria numerelor , este numerele complexe care sunt numere întregi peste , numite numere întregi algebrice .
Mulțimea tuturor elementelor întreg peste , formează un inel; se numește închidere întreg în . Închiderea întregului numerelor raționale într-o extensie de câmp finit se numește inelul câmpurilor întregi , acest obiect este fundamental pentru teoria numerelor algebrice .
Numerele întregi sunt singurele elemente care sunt peste numere întregi (ceea ce poate explica utilizarea termenului „întreg”). Numerele întregi gaussiene , ca elemente ale câmpului numerelor complexe, sunt numere întregi peste . O închidere întreg într -un câmp circular este .
Dacă este închiderea algebrică a câmpului , atunci este integral peste . Dacă un grup finit acționează asupra unui inel prin homomorfisme de inel, atunci este un număr întreg peste mulțimea elementelor care sunt puncte fixe ale acțiunii grupului.
Integritatea este o relație tranzitivă: dacă inelul este integral peste și integral peste , atunci este integral peste .
Există o serie de afirmații care sunt echivalente cu a spune că un element al unui inel este integral peste :
Este ușor de dedus din a treia proprietate că mulțimea tuturor elementelor întregi peste este un subinel (închis sub adunare și înmulțire), se numește închiderea întregului în . Dacă închiderea întregului coincide cu inelul însuși , se numește închis integral în . De asemenea, implică faptul că, dacă întregul este peste , atunci este uniunea (sau, echivalent, limita directă ) a subinelelor care sunt -module finit generate .
Teorema de ridicare Cohen-Seidenberg : dacă este o extensie întreagă a inelului , atunci pentru fiecare ideal prim din există un ideal prim în , că .
Un inel integral închis este un inel integral , închis integral în câmpul său de câte .
Dacă este un inel închis integral cu un câmp de câte și este o extensie finită a lui , atunci elementul este integral peste dacă și numai dacă coeficienții polinomului său minim aparțin : aceasta este o condiție mai puternică decât o integrală, pentru care existența unui polinom arbitrar cu această proprietate este suficientă. Orice inel factorial este închis integral.
Dacă este un inel integral Noetherian , atunci este închis integral dacă și numai dacă (1) coincide cu intersecția tuturor localizărilor față de un ideal prim și (2) localizarea față de un ideal prim de înălțime 1 (adică, care nu conține alte idealuri prime diferite de zero) este inelul Dedekind . De asemenea, un inel Noetherian este închis integral dacă și numai dacă este un inel Krull .
Serre și Grothendieck definesc un inel normal ca un inel a cărui localizare de către orice ideal prim este integral închisă. Nu există nilpotenți non-zero într-un astfel de inel [1] . Dacă este un inel noetherian ale cărui localizări în raport cu idealurile maxime sunt integrale, atunci este un produs finit al inelelor integrale. În acest caz, dacă este un inel normal Noetherian, atunci domeniile din produs sunt integral închise [2] . În schimb, produsul direct al inelelor închise integral este normal.
Un element al câmpului coeficient al unui inel integral este numit aproape întreg peste dacă există astfel încât pentru orice natural . Se spune că un inel este complet închis integral dacă orice element aproape integral peste el este conținut în . Inelele complet închise sunt integral închise. În schimb, inelele Noetherian închise integral sunt complet închise integral.
Inelul seriei de putere formale peste un inel complet închis este complet închis, în timp ce acest lucru nu este valabil pentru inele arbitrare închise integral.
Următoarele condiții pentru un inel integral sunt echivalente:
Asemenea proprietăți de inel sunt numite proprietăți locale .