Extensie simplă

Î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[modificare | modificare sursă]

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

L=K(\theta ).

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 $q=p^{d}$ corpul $\mathbb {F} _{q}$ al elementelor q este o extensie simplă de gradul d al $\mathbb {F} _{p}.$ 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 $\mathbb {F} _{q}$ (adică grupul său multiplicativ) sunt rădăcinile ecuației

x^{q-1}-1=0,

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[modificare | modificare sursă]

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 inel de polinoame^⁠(d) K[X]. Una dintre proprietățile sale principale este că există un homomorfism de inele^⁠(d) unic

{\begin{aligned}\varphi :K[X]&\rightarrow L\\p(X)&\mapsto p(\theta )\,.\end{aligned}}

Pot apărea două cazuri.

Dacă $\varphi$ 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ă $\varphi$ 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ă $\varphi$ nu este o funcție injectivă, fie p(X) un generator al nucleului său, care este astfel polinomul minimal al θ. Imaginea lui $\varphi$ este un subinel al L, iar prin asta un domeniu de integritate. Aceasta implică faptul că p este un polinom ireductibil, iar prin asta inelul factor $K[X]/\langle p\rangle$ este un corp. Cum L este generat de θ, $\varphi$ este surjectivă, iar $\varphi$ induce un izomorfism al $K[X]/\langle p\rangle$ 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[modificare | modificare sursă]

C:R (generat de i)
Q( ${\sqrt {2}}$ ):Q (generat de ${\sqrt {2}}$ ), mai general, orice corp de numere^⁠(d) (adică o extensie finită a Q) este o extensie simplă Q(α) pentru α. De exemplu, $\mathbf {Q} ({\sqrt {3}},{\sqrt {7}})$ este generat de ${\sqrt {3}}+{\sqrt {7}}$ .
F(X):F (generat de X).