... În teoria corpurilor o extensie simplă este o extensie de corp care este generată de adjuncția unui singur element. Extensiile simple sunt bine înțelese și pot fi complet clasificate....
 

În teoria corpurilor o extensie simplă este o extensie de corp care este generată de adjuncția unui singur element. Extensiile simple sunt bine înțelese și pot fi complet clasificate.

Teorema elementului primitiv oferă o caracterizare a extensiilor simple finite.

Definiție

O extensie de corp L/K se numește extensie simplă dacă există un element θ din L

Elementul θ se numește element primitiv, sau element generator al extensiei; se spune că L este generat peste K de θ.

Orice corp finit este o extensie simplă a unui corp prim cu aceeași caracteristică. Mai precis, dacă p este un număr prim și corpul al elementelor q este o extensie simplă de gradul d al Aceasta înseamnă că este generată de un element θ care este rădăcina unui polinom ireductibil de grad d. Însă în acest caz θ nu este denumit de obicei element primitiv, chiar dacă se potrivește definiției din paragraful anterior.

Motivul este că în cazul corpurilor finite există o definiție diferită a elementului primitiv. Un element primitiv⁠(d) al unui corp finit este de obicei definit ca un generator al grupului multiplicativ. Mai exact, prin mica teoremă a lui Fermat, elementele nenule ale lui (adică grupul său multiplicativ) sunt rădăcinile ecuației

care este a (q−1)-a rădăcină a unității. Prin urmare, în acest context, un element primitiv este a (q−1)-a rădăcină a unității, care este generatorul grupului multiplicativ al elementelor nenule ale corpului. În mod clar, un element primitiv al grupului este un element primitiv al corpului, dar inversa este falsă.

Astfel, definiția generală impune ca fiecare element al corpului să poată fi exprimat ca polinom în generator, în timp ce pentru corpurile finite fiecare element diferit de zero al corpului este o putere pură a elementului primitiv. Pentru a deosebi aceste semnificații se pot utiliza expresiile elementul primitiv al corpului L peste K pentru noțiunea generală și elementul primitiv al grupului pentru noțiunea de corp finit.[1]

Structura unei extensii simple

Dacă L este o extensie simplă a K generată de θ, atunci ea este cel mai mic corp care conține atât K, cât și θ. Aceasta înseamnă că fiecare element din L poate fi obținut din elementele K și θ prin operații de corp finit (adunare, scădere, înmulțire și împărțire).

Fie inelul polinoamelor⁠(d) K[X]. Una dintre proprietățile sale principale este că există un omomorfism de inele⁠(d) unic

Pot apărea două cazuri.

Dacă este o funcție injectivă, ea poate fi extinsă pe corpul fracțiilor K(X) lui K[X]. Cum s-a presupus că L este generat de θ, asta implică faptul că este un izomorfism al K(X) pe L. Asta implică faptul că orice element al L este egal cu o fracție ireductibilă de polinoame în θ, și că două astfel de fracții ireductibile sunt egale dacă și numai dacă una se poate transforma în cealaltă prin înmulțirea numărătorului și numitorului cu același element nenul din K.

Dacă nu este o funcție injectivă, fie p(X) un generator al nucleului său, care este astfel polinomul minim al θ. Imaginea lui este un subinel al L, iar prin asta un domeniul de integritate⁠(d). Aceasta implică faptul că p este un polinom ireductibil, iar prin asta inelul factor⁠(d) este un corp. Cum L este generat de θ, este surjectivă, iar induce un izomorfism al pe L. Asta implică faptul că orice element din L este egal cu polinomul unic în θ de grad mai mic decât gradul extensiei.

Exemple

  • C:R (generat de i)
  • Q():Q (generat de ), mai general, orice corp de numere⁠(d) (adică o extensie finită a Q) este o extensie simplă Q(α) pentru α. De exemplu, este generat de .
  • F(X):F (generat de X).

Note

Bibliografie

  • en Roman, Steven (). Field Theory. Graduate Texts in Mathematics. 158. New York: Springer-Verlag. ISBN 0-387-94408-7. Zbl 0816.12001. 




  Go to top  

This article is issued from web site Wikipedia. The original article may be a bit shortened or modified. Some links may have been modified. The text is licensed under "Creative Commons - Attribution - Sharealike" [1] and some of the text can also be licensed under the terms of the "GNU Free Documentation License" [2]. Additional terms may apply for the media files. By using this site, you agree to our Legal pages [3] [4] [5] [6] [7]. Web links: [1] [2]