Câmp de numere algebrice , câmpul de numere algebrice (sau pur și simplu câmp de numere ) este o extensie finită (și deci algebrică ) a câmpului numerelor raționale . Astfel, un câmp numeric este un câmp care conține și este un spațiu vectorial cu dimensiuni finite deasupra acestuia. În același timp, unii autori numesc orice subcâmp al numerelor complexe un câmp numeric - de exemplu, M. M. Postnikov în „The Galois Theory”.
Câmpurile numerice și, în general, extensiile algebrice ale câmpului numerelor raționale, sunt obiectul principal de studiu în teoria algebrică a numerelor .
Deoarece un câmp numeric este o extensie algebrică a unui câmp , orice element al acestuia este o rădăcină a unui polinom cu coeficienți raționali (adică este algebric ). Mai mult, fiecare element este o rădăcină a unui polinom cu coeficienți întregi, deoarece este posibil să se înmulțească toți coeficienții raționali cu produsul numitorilor. Dacă un element dat este o rădăcină a unui polinom unitar cu coeficienți întregi, se numește element întreg (sau un număr întreg algebric). Nu toate elementele unui câmp numeric sunt numere întregi: de exemplu, este ușor să arăți că singurele elemente întregi sunt numere întregi obișnuite .
Se poate dovedi că suma și produsul a două numere întregi algebrice este din nou un număr întreg algebric, deci elementele întregi formează un subinel al câmpului numeric , numit inelul câmpurilor întregi și notat cu . Câmpul nu conține divizori zero și această proprietate este moștenită la trecerea la un subring, deci inelul de numere întregi este integral ; câmpul inelelor parțiale este câmpul însuși . Inelul de numere întregi al oricărui câmp numeric are următoarele trei proprietăți: este închis integral , noetherian și unidimensional . Un inel comutativ cu aceste proprietăți se numește Dedekind , după Richard Dedekind .
Într-un inel arbitrar Dedekind, există o descompunere unică a idealurilor diferite de zero într-un produs al celor simple . Cu toate acestea, nu orice inel de numere întregi satisface proprietatea factorială : chiar și pentru inelul de numere întregi dintr-un câmp pătratic, descompunerea nu este unică:
Prin introducerea unei norme pe acest inel, putem arăta că aceste expansiuni sunt într-adevăr diferite, adică una nu poate fi obținută de la alta prin înmulțirea cu un element inversabil .
Gradul de încălcare a proprietății factoriale este măsurat folosind grupul ideal de clasă , acest grup pentru inelul de numere întregi este întotdeauna finit și ordinea sa se numește numărul de clase.
O bază întreagă a unui câmp numeric F de gradul n este mulțimea
B = { b 1 , …, b n }a n elemente ale inelului de numere întregi ale câmpului F astfel încât orice element al inelului de numere întregi O F al câmpului F poate fi scris într-un mod unic ca o combinație Z -liniară de elemente ale lui B ; adică pentru orice x din O F , există o descompunere unică
x \ u003d m 1 b 1 + ... + m n b n ,unde m i sunt numere întregi obișnuite. În acest caz, orice element al lui F poate fi scris ca
m 1 b 1 + … + m n b n ,unde m i sunt numere raționale. După aceea, elementele întregi ale lui F se disting prin proprietatea că acestea sunt exact acele elemente pentru care toate m i sunt numere întregi.
Folosind instrumente precum localizarea și endomorfismul Frobenius , se poate construi o astfel de bază pentru orice câmp numeric. Construcția sa este o caracteristică încorporată în multe sisteme de algebră computerizată .
Fie F un câmp numeric de grad n . Printre toate bazele posibile ale lui F (ca spațiu vectorial Q ), există baze de putere, adică baze de forma
B x = {1, x , x 2 , …, x n −1 }pentru unele x ∈ F . Conform teoremei elementului primitiv , un astfel de x există întotdeauna, se numește elementul primitiv al extensiei date.
Un câmp numeric algebric este un spațiu vectorial cu dimensiuni finite peste (să notăm dimensiunea acestuia ca ), iar înmulțirea cu un element arbitrar al câmpului este o transformare liniară a acestui spațiu. Fie o bază F , atunci transformarea corespunde matricei definite de condiție
Elementele acestei matrice depind de alegerea bazei, cu toate acestea, toți invarianții matricei , cum ar fi determinantul și urma , nu depind de aceasta . În contextul extensiilor algebrice, determinantul unei matrice înmulțit cu un element se numește norma acelui element (notat ); urma unei matrice este urma unui element (notat cu ).
Urma elementului este o funcțională liniară pe F :
și .Norma este o funcție multiplicativă și omogenă :
și .Ca bază inițială, puteți alege o bază întreagă , înmulțirea cu un număr algebric întreg (adică printr-un element al inelului de numere întregi ) în această bază va corespunde unei matrice cu elemente întregi . Prin urmare, urma și norma oricărui element al inelului de numere întregi sunt numere întregi.
Fie un număr natural fără pătrate , apoi să fie un câmp pătratic (în special, fiind un câmp numeric). Alegem o bază întreagă în acest câmp ( este un element întreg, deoarece este rădăcina polinomului redus ). În această bază, înmulțirea cu corespunde matricei
Prin urmare, . Pe elementele inelului , această normă ia valori întregi. Norma este un homomorfism al unui grup multiplicativ pe un grup multiplicativ , deci norma elementelor inversabile ale unui inel poate fi doar egală cu sau . Pentru a rezolva ecuația lui Pell este suficient să găsiți toate elementele reversibile ale inelului de numere întregi (numite și unități inelare ) și să le selectați dintre ele pe cele care au o normă . Conform teoremei unității lui Dirichlet , toate elementele inversabile ale unui inel dat sunt puteri ale unui element (până la înmulțirea cu ), așa că pentru a găsi toate soluțiile ecuației lui Pell, este suficient să găsim o soluție fundamentală.