Hostname: page-component-cd9895bd7-7cvxr Total loading time: 0 Render date: 2024-12-25T05:04:27.451Z Has data issue: false hasContentIssue false

On the essential dimension of a finite group

Published online by Cambridge University Press:  04 December 2007

J. BUHLER
Affiliation:
Department of Mathematics, Reed College, Portland, OR 97202, USA
Z. REICHSTEIN
Affiliation:
Department of Mathematics, Oregon State University, Corvallis, OR 97331, USA
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $f(x) = \Sigma a_ix^i$ be a monic polynomial of degree $n$ whose coefficients are algebraically independent variables over a base field $k$ of characteristic 0. We say that a polynomial $g(x)$ is generating (for the symmetric group) if it can be obtained from $f(x)$ by a nondegenerate Tschirnhaus transformation. We show that the minimal number ${\rm d}_k(n)$ of algebraically independent coefficients of such a polynomial is at least $[n/2]$. This generalizes a classical theorem of Felix Klein on quintic polynomials and is related to an algebraic form of Hilbert's 13th problem.

Our approach to this question (and generalizations) is based on the idea of the ‘essential dimension’ of a finite group $G$: the smallest possible dimension of an algebraic $G$-variety over $k$ to which one can ‘compress’ a faithful linear representation of $G$. We show that ${\rm d}_k(n)$ is just the essential dimension of the symmetric group ${\rm S}_n$. We give results on the essential dimension of other groups. In the last section we relate the notion of essential dimension to versal polynomials and discuss their relationship to the generic polynomials of Kuyk, Saltman and DeMeyer.

Type
Research Article
Copyright
© 1997 Kluwer Academic Publishers