Primitive element theorem

Primitive element theorem In field theory, the primitive element theorem is a result characterizing the finite degree field extensions that can be generated by a single element. Such a generating element is called a primitive element of the field extension, and the extension is called a simple extension in this case. The theorem states that a finite extension is simple if and only if there are only finitely many intermediate fields. An older result, also often called "primitive element theorem", states that every finite separable extension is simple; it can be seen as a consequence of the former theorem. These theorems imply in particular that all algebraic number fields over the rational numbers, and all extensions in which both fields are finite, are simple.

Contenuti 1 Terminology 2 Esempio 3 The theorems 4 Characteristic p 5 Constructive results 6 Storia 7 Riferimenti 8 External links Terminology Let {displaystyle E/F} be a field extension. An element {displaystyle alpha in E} is a primitive element for {displaystyle E/F} Se {displaystyle E=F(alfa ),} cioè. if every element of {stile di visualizzazione E} can be written as a rational function in {displaystyle alfa } with coefficients in {stile di visualizzazione F} . If there exists such a primitive element, poi {displaystyle E/F} is referred to as a simple extension.

If the field extension {displaystyle E/F} has primitive element {displaystyle alfa } and is of finite degree {displaystyle n=[e:F]} , then every element x of E can be written uniquely in the form {displaystyle x=f_{n-1}{alfa }^{n-1}+cdots +f_{1}{alfa }+f_{0},} dove {stile di visualizzazione f_{io}in F} per tutti i. Questo è, il set {stile di visualizzazione {1,alfa ,ldot ,{alfa }^{n-1}}} is a basis for E as a vector space over F.

Example If one adjoins to the rational numbers {displaystyle F=mathbb {Q} } the two irrational numbers {stile di visualizzazione {mq {2}}} e {stile di visualizzazione {mq {3}}} to get the extension field {displaystyle E=mathbb {Q} ({mq {2}},{mq {3}})} di grado 4, one can show this extension is simple, significato {displaystyle E=mathbb {Q} (alfa )} for a single {displaystyle alpha in E} . Prendendo {displaystyle alpha ={mq {2}}+{mq {3}}} , the powers 1, un , α2, α3 can be expanded as linear combinations of 1, {stile di visualizzazione {mq {2}}} , {stile di visualizzazione {mq {3}}} , {stile di visualizzazione {mq {6}}} con coefficienti interi. One can solve this system of linear equations for {stile di visualizzazione {mq {2}}} e {stile di visualizzazione {mq {3}}} Sopra {displaystyle mathbb {Q} (alfa )} , to obtain {stile di visualizzazione {mq {2}}={tfrac {1}{2}}(alfa ^{3}-9alfa )} e {stile di visualizzazione {mq {3}}=-{tfrac {1}{2}}(alfa ^{3}-11alfa )} . This shows α is indeed a primitive element: {displaystyle mathbb {Q} ({mq {2}},{mq {3}})= matematica bb {Q} ({mq {2}}+{mq {3}}).} The theorems The classical primitive element theorem states: Every separable field extension of finite degree is simple.

This theorem applies to algebraic number fields, cioè. finite extensions of the rational numbers Q, since Q has characteristic 0 and therefore every finite extension over Q is separable.

The following primitive element theorem (Ernst Steinitz[1]) is more general: A finite field extension {displaystyle E/F} is simple if and only if there exist only finitely many intermediate fields K with {displaystyle Esupseteq Ksupseteq F} .

Using the fundamental theorem of Galois theory, the former theorem immediately follows from the latter.

Characteristic p For a non-separable extension {displaystyle E/F} of characteristic p, there is nevertheless a primitive element provided the degree [e : F] is p: infatti, there can be no non-trivial intermediate subfields since their degrees would be factors of the prime p.

quando [e : F] = p2, there may not be a primitive element (in which case there are infinitely many intermediate fields). The simplest example is {displaystyle E=mathbb {F} _{p}(T,u)} , the field of rational functions in two indeterminates T and U over the finite field with p elements, e {displaystyle F=mathbb {F} _{p}(T^{p},U^{p})} . Infatti, for any α = g(T,u) in e, the Frobenius endomorphism shows that the element αp lies in F , so α is a root of {stile di visualizzazione f(X)=X^{p}-alfa ^{p}in F[X]} , and α cannot be a primitive element (of degree p2 over F), but instead F(un) is a non-trivial intermediate field.

Constructive results Generally, the set of all primitive elements for a finite separable extension E / F is the complement of a finite collection of proper F-subspaces of E, namely the intermediate fields. This statement says nothing in the case of finite fields, for which there is a computational theory dedicated to finding a generator of the multiplicative group of the field (a cyclic group), which is a fortiori a primitive element (see primitive element (finite field)). Where F is infinite, a pigeonhole principle proof technique considers the linear subspace generated by two elements and proves that there are only finitely many linear combinations {displaystyle gamma =alpha +cbeta } with c in F, that fail to generate the subfield containing both elements: come {stile di visualizzazione F(alfa ,beta )/F(alpha +cbeta )} is a separable extension, Se {stile di visualizzazione F(alpha +cbeta )subsetneq F(alfa ,beta )} there exists a non-trivial embedding {displaystyle sigma :F(alfa ,beta )a {sopra {F}}} whose restriction to {stile di visualizzazione F(alpha +cbeta )} is the identity which means {displaystyle sigma (alfa )+csigma (beta )=alpha +cbeta } e {displaystyle sigma (beta )neq beta } affinché {stile di visualizzazione c={frac {sigma (alfa )-alfa }{beta -sigma (beta )}}} . This expression for c can take only {stile di visualizzazione [F(alfa ):F][F(beta ):F]} different values. For all other value of {displaystyle cin F} poi {stile di visualizzazione F(alfa ,beta )=F(alpha +cbeta )} .

This is almost immediate as a way of showing how Steinitz' result implies the classical result, and a bound for the number of exceptional c in terms of the number of intermediate fields results (this number being something that can be bounded itself by Galois theory and a priori). Perciò, in this case trial-and-error is a possible practical method to find primitive elements.

History In his First Memoir of 1831,[2] Évariste Galois sketched a proof of the classical primitive element theorem in the case of a splitting field of a polynomial over the rational numbers. The gaps in his sketch could easily be filled[3] (as remarked by the referee Siméon Denis Poisson; Galois' Memoir was not published until 1846) by exploiting a theorem[4][5] of Joseph-Louis Lagrange from 1771, which Galois certainly knew. It is likely that Lagrange had already been aware of the primitive element theorem for splitting fields.[5] Galois then used this theorem heavily in his development of the Galois group. Since then it has been used in the development of Galois theory and the fundamental theorem of Galois theory. The two primitive element theorems were proved in their modern form by Ernst Steinitz, in an influential article on field theory in 1910;[1] Steinitz called the "classical" one Theorem of the primitive elements and the other one Theorem of the intermediate fields. Emil Artin reformulated Galois theory in the 1930s without the use of the primitive element theorems.[6][7] Riferimenti ^ Salta su: a b Steinitz, Ernst (1910). "Algebraische Theorie der Körper". Diario di matematica pura e applicata (in tedesco). 137: 167–309. doi:10.1515/crll.1910.137.167. ISSN 1435-5345. ^ Neumann, Pietro M. (2011). The mathematical writings of Évariste Galois. Zurigo: Società matematica europea. ISBN 978-3-03719-104-0. OCLC 757486602. ^ Tignol, JeanPierre (febbraio 2016). Galois' Theory of Algebraic Equations (2 ed.). WORLD SCIENTIFIC. p. 231. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655. ^ Tignol, JeanPierre (febbraio 2016). Galois' Theory of Algebraic Equations (2 ed.). WORLD SCIENTIFIC. p. 135. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655. ^ Salta su: a b Cox, David A. (2012). Galois theory (2nd ed.). Hoboken, NJ: John Wiley & Sons. p. 322. ISBN 978-1-118-21845-7. OCLC 784952441. ^ 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 (Republication of the 1944 revised edition of the 1942 first publication by The University Notre Dame Press ed.). Mineola, N.Y.: Pubblicazioni di Dover. ISBN 0-486-62342-4. OCLC 38144376. External links J. Milne's course notes on fields and Galois theory The primitive element theorem at The primitive element theorem at The primitive element theorem on Ken Brown's website (pdf file) Categorie: Campo (matematica)Teoremi in algebra astratta

Se vuoi conoscere altri articoli simili a Primitive element theorem puoi visitare la categoria Campo (matematica).

lascia un commento

L'indirizzo email non verrà pubblicato.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni