Constructive Results
Generally, the set of all primitive elements for a finite separable extension L / K is the complement of a finite collection of proper K-subspaces of L, namely the intermediate fields. This statement says nothing for 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. Where K 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
with c in K in it, that fail to generate the subfield containing both elements. This is almost immediate as a way of showing how Artin's 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). Therefore in this case trial-and-error is a possible practical method to find primitive elements. See the Example.
Read more about this topic: Primitive Element Theorem
Famous quotes containing the words constructive and/or results:
“The desert is a natural extension of the inner silence of the body. If humanity’s language, technology, and buildings are an extension of its constructive faculties, the desert alone is an extension of its capacity for absence, the ideal schema of humanity’s disappearance.”
—Jean Baudrillard (b. 1929)
“Intellectual despair results in neither weakness nor dreams, but in violence.... It is only a matter of knowing how to give vent to one’s rage; whether one only wants to wander like madmen around prisons, or whether one wants to overturn them.”
—Georges Bataille (1897–1962)