Teorema elementului primitiv

În teoria corpurilor, teorema elementului primitiv^[1] afirmă că orice extindere de corpuri finită și separabilă este simplă, adică generată de un singur element. Această teoremă implică în particular faptul că toate corpurile de numere algebrice peste corpul numerelor raționale și toate extinderile în care ambele corpuri sunt finite, sunt simple.

Terminologie

Fie $E/F$ o extindere de corpuri. Un element $\alpha \in E$ este un element primitiv pentru $E/F$ dacă $E=F(\alpha ),$ adică dacă fiecare element al lui $E$ poate fi scris ca o funcție rațională în $\alpha$ cu coeficienți în $F$ . Dacă există un astfel de element primitiv, atunci $E/F$ se numește extindere simplă.

Dacă extinderea de corpuri $E/F$ are elementul primitiv $\alpha$ și este de grad finit $n=[E:F]$ , atunci orice element $\gamma \in E$ poate fi scris sub forma

\gamma =a_{0}+a_{1}{\alpha }+\cdots +a_{n-1}{\alpha }^{n-1},

cu coeficienți unici $a_{0},a_{1},\ldots ,a_{n-1}\in F$ . Cu alte cuvinte, mulțimea

\{1,\alpha ,\ldots ,{\alpha }^{n-1}\}

este o bază pentru E ca spațiu vectorial peste F. Gradul n este egal cu gradul polinomului ireductibil al lui α peste F, unicul polinom monic $f(X)\in F[X]$ de grad minim care îl are pe α ca rădăcină (o dependență liniară a lui $\{1,\alpha ,\ldots ,\alpha ^{n-1},\alpha ^{n}\}$ ).

Dacă L este un corp de descompunere al lui $f(X)$ conținând cele n rădăcini distincte ale sale $\alpha _{1},\ldots ,\alpha _{n}$ , atunci există n scufundări de corpuri $\sigma _{i}:F(\alpha )\hookrightarrow L$ definite prin $\sigma _{i}(\alpha )=\alpha _{i}$ și $\sigma (a)=a$ pentru $a\in F$ , iar acestea se extind la automorfisme ale lui L în grupul Galois, $\sigma _{1},\ldots ,\sigma _{n}\in \mathrm {Gal} (L/F)$ . Într-adevăr, pentru o extindere de corpuri cu $[E:F]=n$ , un element $\alpha$ este un element primitiv dacă și numai dacă $\alpha$ are n conjugate distincte $\sigma _{1}(\alpha ),\ldots ,\sigma _{n}(\alpha )$ într-un corp de descompunere $L\supseteq E$ .

Exemplu

Dacă se adjuncționează corpului numerelor raționale $F=\mathbb {Q}$ cele două numere iraționale ${\sqrt {2}}$ și ${\sqrt {3}}$ pentru a obține extinderea $E=\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})$ de gradul $4$ , se poate arăta că această extindere este simplă, adică $E=\mathbb {Q} (\alpha )$ pentru un $\alpha \in E$ . Luând $\alpha ={\sqrt {2}}+{\sqrt {3}}$ , puterile $1$ , $\alpha$ , $\alpha ^{2}$ , $\alpha ^{3}$ pot fi scrise drept combinații liniare de $1$ , ${\sqrt {2}}$ , ${\sqrt {3}}$ , ${\sqrt {6}}$ cu coeficienți întregi. Se poate rezolva acest sistem de ecuații liniare în ${\sqrt {2}}$ și ${\sqrt {3}}$ peste $\mathbb {Q} (\alpha )$ , pentru a obtine ${\sqrt {2}}={\tfrac {1}{2}}(\alpha ^{3}-9\alpha )$ și ${\sqrt {3}}=-{\tfrac {1}{2}}(\alpha ^{3}-11\alpha )$ . Aceasta arată că $\alpha$ este într-adevăr un element primitiv:

\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})=\mathbb {Q} ({\sqrt {2}}+{\sqrt {3}}).

De asemenea, se poate folosi următorul argument mai general.^[2] Corpul $E=\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})$ are în mod clar patru automorfisme $\sigma _{1},\sigma _{2},\sigma _{3},\sigma _{4}:E\to E$ definite prin $\sigma _{i}({\sqrt {2}})=\pm {\sqrt {2}}$ și $\sigma _{i}({\sqrt {3}})=\pm {\sqrt {3}}$ pentru fiecare alegere de semne. Polinomul minimal $f(X)\in \mathbb {Q} [X]$ al lui $\alpha ={\sqrt {2}}+{\sqrt {3}}$ trebuie să satisfacă $f(\sigma _{i}(\alpha ))=\sigma _{i}(f(\alpha ))=0$ , deci $f(X)$ trebuie să aibă cel puțin patru rădăcini distincte $\sigma _{i}(\alpha )=\pm {\sqrt {2}}\pm {\sqrt {3}}$ . Prin urmare $f(X)$ are gradul cel puțin patru și $[\mathbb {Q} (\alpha ):\mathbb {Q} ]\geq 4$ , dar acesta este gradul întregului corp, $[E:\mathbb {Q} ]=4$ , deci $E=\mathbb {Q} (\alpha )$ .

Enunțul teoremei

Teorema elementului primitiv afirmă:

Orice extindere de corpuri separabilă de grad finit este simplă.

Această teoremă se aplică corpurilor de numere algebrice, adică extinderilor finite ale corpului numerelor raționale Q, deoarece Q are caracteristica 0 și, prin urmare, orice extindere finită peste Q este separabilă.

Folosind teorema fundamentală a teoriei Galois, prima teoremă rezultă imediat din teorema lui Steinitz.

În caracteristică p

Pentru o extindere neseparabilă $E/F$ de caracteristica p, există totuși un element primitiv în cazul în care gradul [E : F] este p: într-adevăr, nu pot exista subcorpuri intermediare netriviale, deoarece gradele lor ar fi factori ai numărului prim p.

Când [E : F] = p², este posibil să nu existe un element primitiv (caz în care există o infinitate de corpuri intermediare conform teoremei lui Steinitz). Cel mai simplu exemplu este $E=\mathbb {F} _{p}(T,U)$ , corpul funcțiilor raționale în două nedeterminate T și U peste corpul finit cu p elemente, și $F=\mathbb {F} _{p}(T^{p},U^{p})$ . De fapt, pentru orice $\alpha =g(T,U)$ din $E\setminus F$ , endomorfismul lui Frobenius arată că elementul $\alpha ^{p}$ se află în F, deci α este o rădăcină a lui $f(X)=X^{p}-\alpha ^{p}\in F[X]$ , iar α nu poate fi un element primitiv (de grad p² peste F), dar în schimb F(α) este un corp intermediar netrivial.

Demonstrație

Presupunem întâi că $F$ este infinit. Prin inducție, este suficient să demonstrăm că orice extindere finită $E=F(\beta ,\gamma )$ este simplă. Pentru $c\in F$ , presupunem că $\alpha =\beta +c\gamma$ nu este element primitiv, $F(\alpha )\subsetneq F(\beta ,\gamma )$ . Atunci $\gamma \notin F(\alpha )$ , deoarece în caz contrar $\beta =\alpha -c\gamma \in F(\alpha )=F(\beta ,\gamma )$ . Considerăm polinoamele minimale ale lui $\beta ,\gamma$ peste $F(\alpha )$ , respectiv $f(X),g(X)\in F(\alpha )[X]$ , și alegem un corp de descompunere $L$ conținând toate rădăcinile $\beta ,\beta ',\ldots$ ale lui $f(X)$ și $\gamma ,\gamma ',\ldots$ ale lui $g(X)$ . Cum $\gamma \notin F(\alpha )$ , există o altă rădăcină $\gamma '\neq \gamma$ și un automorfism $\sigma :L\to L$ care fixează $F(\alpha )$ și ia $\sigma (\gamma )=\gamma '$ . Atunci avem $\sigma (\alpha )=\alpha$ și:

\beta +c\gamma =\sigma (\beta +c\gamma )=\sigma (\beta )+c\,\sigma (\gamma )

, prin urmare

c={\frac {\sigma (\beta )-\beta }{\gamma -\sigma (\gamma )}}

.

Întrucât există doar un număr finit de posibilități pentru $\sigma (\beta )=\beta '$ și $\sigma (\gamma )=\gamma '$ , pentru doar un număr finit de elemente $c\in F$ elementul $\alpha =\beta +c\gamma$ nu este primitiv. Toate celelalte valori dau $F(\alpha )=F(\beta ,\gamma )$ .

În cazul în care $F$ este finit, alegem $\alpha$ să fie o rădăcină primitivă a extinderii finite $E$ .

Istorie

În primul său memoriu din 1831, publicat în 1846,^[3] Évariste_Galois a schițat o demonstrație a clasicei teoreme a elementului primitiv în cazul unui corp de descompunere al unui polinom peste corpul numerelor raționale. Golurile din schița lui puteau fi ușor completate^[4] (după cum a remarcat recenzentul Poisson) exploatând o teoremă^[5]^[6] a lui Lagrange din 1771, pe care Galois o știa cu siguranță. Este foarte probabil că Lagrange știa deja teorema elementului primitiv pentru corpuri de descompunere.^[6] Ulterior Galois a folosit această teoremă foarte mult în dezvoltarea sa a conceptului de grup Galois. De atunci a fost folosită în dezvoltarea teoriei Galois și a teoremei fundamentele a teoriei Galois.

Teorema elementului primitiv a fost demonstrată în forma sa modernă de Ernst Steinitz, într-un articol influent de teoria corpurilor din 1910, care conține și teorema lui Steinitz; ^[7] Steinitz a numit rezultatul „clasic” Teorema elementelor primitive, iar versiunea sa modernă Teorema corpurilor intermediare.

Emil Artin a reformulat teoria lui Galois în anii 1930 fără a se baza pe elemente primitive.^[8]^[9]

Note

^ Ion D. Ion, Nicolae Radu (1991). Algebră (ed. 4). Editura didactică și pedagogică. p. 319.
^ Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211. New York, NY: Springer New York. p. 243. doi:10.1007/978-1-4613-0041-0. ISBN 978-1-4612-6551-1.
^ Neumann, Peter M. (2011). The mathematical writings of Évariste Galois. Zürich: European Mathematical Society. ISBN 978-3-03719-104-0. OCLC 757486602.
^ Tignol, Jean-Pierre (februarie 2016). Galois' Theory of Algebraic Equations (în engleză) (ed. 2). WORLD SCIENTIFIC. p. 231. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.
^ Tignol, Jean-Pierre (februarie 2016). Galois' Theory of Algebraic Equations (în engleză) (ed. 2). WORLD SCIENTIFIC. p. 135. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.
^ ^a ^b Cox, David A. (2012). Galois theory (ed. 2nd). Hoboken, NJ: John Wiley & Sons. p. 322. ISBN 978-1-118-21845-7. OCLC 784952441.
^ Steinitz, Ernst (1910). „Algebraische Theorie der Körper”. Journal für die reine und angewandte Mathematik (în germană). 1910 (137): 167–309. doi:10.1515/crll.1910.137.167. ISSN 1435-5345.
^ Kleiner, Israel (2007). „§4.1 Galois theory”. A History of Abstract Algebra. Springer. p. 64. ISBN 978-0-8176-4685-1.
^ Artin, Emil (1998). Galois theory. Arthur N. Milgram (ed. Republication of the 1944 revised edition of the 1942 first publication by The University Notre Dame Press). Mineola, N.Y.: Dover Publications. ISBN 0-486-62342-4. OCLC 38144376.

Legături externe

[1] Ion D. Ion, Nicolae Radu (1991). Algebră (ed. 4). Editura didactică și pedagogică. p. 319.

[2] Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211. New York, NY: Springer New York. p. 243. doi:10.1007/978-1-4613-0041-0. ISBN 978-1-4612-6551-1.

[3] Neumann, Peter M. (2011). The mathematical writings of Évariste Galois. Zürich: European Mathematical Society. ISBN 978-3-03719-104-0. OCLC 757486602.

[4] Tignol, Jean-Pierre (februarie 2016). Galois' Theory of Algebraic Equations (în engleză) (ed. 2). WORLD SCIENTIFIC. p. 231. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.

[5] Tignol, Jean-Pierre (februarie 2016). Galois' Theory of Algebraic Equations (în engleză) (ed. 2). WORLD SCIENTIFIC. p. 135. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.

[:12-6] Cox, David A. (2012). Galois theory (ed. 2nd). Hoboken, NJ: John Wiley & Sons. p. 322. ISBN 978-1-118-21845-7. OCLC 784952441.

[:0-7] Steinitz, Ernst (1910). „Algebraische Theorie der Körper”. Journal für die reine und angewandte Mathematik (în germană). 1910 (137): 167–309. doi:10.1515/crll.1910.137.167. ISSN 1435-5345.

[8] Kleiner, Israel (2007). „§4.1 Galois theory”. A History of Abstract Algebra. Springer. p. 64. ISBN 978-0-8176-4685-1.

[9] Artin, Emil (1998). Galois theory. Arthur N. Milgram (ed. Republication of the 1944 revised edition of the 1942 first publication by The University Notre Dame Press). Mineola, N.Y.: Dover Publications. ISBN 0-486-62342-4. OCLC 38144376.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]