Existence Statement
The interpretation of the theorem changed with the formulation of the theory of Emil Artin, around 1930. From the time of Galois, the role of primitive elements had been to represent a splitting field as generated by a single element. This (arbitrary) choice of such an element was bypassed in Artin's treatment. At the same time, considerations of construction of such an element receded: the theorem becomes an existence theorem.
The following theorem of Artin then takes the place of the classical primitive element theorem.
- Theorem
Let be a finite degree field extension. Then for some element if and only if there exist only finitely many intermediate fields K with .
A corollary to the theorem is then the primitive element theorem in the more traditional sense (where separability was usually tacitly assumed):
- Corollary
Let be a finite degree separable extension. Then for some .
The corollary applies to algebraic number fields, i.e. finite extensions of the rational numbers Q, since Q has characteristic 0 and therefore every extension over Q is separable.
Read more about this topic: Primitive Element Theorem
Famous quotes containing the words existence and/or statement:
“There surely is a being who presides over the universe; and who, with infinite wisdom and power, has reduced the jarring elements into just order and proportion. Let speculative reasoners dispute, how far this beneficent being extends his care, and whether he prolongs our existence beyond the grave, in order to bestow on virtue its just reward, and render it fully triumphant.”
—David Hume (1711–1776)
“Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
—Robert Benchley (1889–1945)