Abstract
The subject of this article are a priori constructions of primitive elements in field extensions. Consider the totality of all separable polynomialsf of degreen over a fieldK with rootsx 1,...,x n and prescribed Galois groupG. A vector (b 1,...,b n )∈K n is called stably primitive (forG), if, for each suchf,b 1 x 1+...+b n x n generates the splitting field off. We develop representation theoretical devices to investigate the set
of stably primitive vectors geometrically. A fundamental observation is that
is either very large or very small (or even empty). These two cases are illustrated by various examples. Moreover, criteria are given to decide which case holds. For a number of groups where
is recognized to be small we show
.
Similar content being viewed by others
References
Bourbaki, N.: Groupes et Algèbres de Lie. Paris: Hermann. 1968.
Brown, H., Bülow, R., Neubüser, J., Wondratschek, H., Zassenhaus, H.: Cristallographic Groups of Four-Dimensional Space. New York: Wiley & Sons. 1978.
Girstmair, K.: Linear dependence of zeros of polynomials and construction of primitive elements. Manuscripta Math.39, 81–97 (1982).
Hodge, W. V. D., Pedoe, D.: Methods of Algebraic Geometry I. Cambridge: Cambridge Univ. Press. 1953.
Huppert, B.: Endliche Gruppen I. Berlin-Heidelberg-New York: Springer. 1979.
James, G., Kerber, A.: The Representation Theory of the Symmetric Group. Reading (Mass.): Addison-Wesley. 1981.
McKay, J.: Some remarks on computing Galois groups. SIAM J. Comp.8, 344–347 (1979).
Todd, J. A.: On a conjecture of D. E. Littlewood. Proc. Cambridge Phil. Soc.49, 203 (1952).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Girstmair, K. On the construction of primitive elements in field extensions. Monatshefte für Mathematik 98, 193–209 (1984). https://doi.org/10.1007/BF01507748
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01507748