Vector invariants of symmetric groups in the case of a field of prime characteristic

S. A. Stepanov

Diskretnaya Matematika, Tome 12 (2000) no. 4, pp. 25-38.

Résumé

Let $R$ be a commutative ring with the unit element $1$ and $S_n$ be the symmetric group of degree $n \geq 1$. Let $A_{mn}^{S_n}$ denote the subalgebra of invariants of the polynomial algebra $$ A_{mn}=R[x_{11},\dots,x_{1n};\dots;x_{m1},\dots,x_{mn}] $$ with respect to $S_n$. The classical result of H. Weyl implies that if every non-zero integer is invertible in $R$, then the algebra $A_{mn}^{S_n}$ is generated by the polarized elementary symmetric polynomials of degree at most $n$, no matter how large $m$ is. As it was recently shown by D. Richman, this result remains true under the condition that $|S_n|=n!$ is invertible in $R$. On the other hand, if $R$ is a field of prime characteristic $p \leq n$, D. Richman proved that every system of $R$-algebra generators of $A_{mn}^{S_n}$ contains a generator whose degree is no less than $\max\{n,(m+p-n)/(p-1)\}$. The last result implies that the above Weyl bound on degrees of generators no longer holds when the characteristic $p$ of $R$ divides $|S_n|$. In general, it is proved that, for an arbitrary commutative ring $R$, the algebra $A_{mn}^{S_n}$ is generated by the invariants of degree at most $\max\{n,mn(n-1)/2\}$. The purpose of this paper is to give a simple arithmetical proof of the first result of D. Richman and to sharpen his second result, again with the use of new arithmetical arguments. Independently, a similar refinement of Richman's lower bound was given by G. Kemper on the basis of completely different considerations. A recent result of P. Fleischmann shows that the lower bound obtained in the paper is sharp if $m>1$ and $n$ is a prime power, $n=p^\alpha$.

Bibliographie

[1] Benson D. J., Polynomial invariants of finite groups, Cambridge Univ. Press, Cambridge, 1993 | MR

[2] Bourbaki N., Elements of mathematics, Algebra II, Springer, Berlin, 1990 | MR | Zbl

[3] Campbell H. E. A., Hughes I., Pollack R. D., “Vector invariants of symmetric groups”, Canad. Math. Bull., 33 (1990), 391–397 | MR | Zbl

[4] Dieudonne J. A., Carrel J. B., Invariant theory, old and new, Academic Press, New York, 1971 | MR | Zbl

[5] Fleischmann P., “A new degree bound for vector invariants of symmetric groups”, Trans. Amer. Math. Soc., 350 (1998), 1703–1712 | DOI | MR | Zbl

[6] Hilbert D., “Über die vollen Invariantensystem”, Math. Ann., 42 (1893), 313–373 | DOI | MR

[7] Kemper G., “Lower degree bounds for modular invariants and a question of I. Hughes”, Transformation Groups, 3 (1998), 135–144 | DOI | MR | Zbl

[8] Noether E., “Der Endlichkeitssatz der Invarianten endlicher Gruppen”, Math. Ann., 77 (1916), 89–92 | DOI | MR

[9] Noether E., “Der Endlichkeitssatz der Invarianten endlicher linearer Gruppen der Charakteristik $p$”, Nachr. Ges. Wiss. Göttingen, 1926, 28–35 | MR | Zbl

[10] Richman D. R., “Invariants of finite groups over fields of characteristic $p$”, Adv. Math. 1996, 124, 25–48 | DOI | MR | Zbl

[11] Richman D. R., “Explicit generators of the invariants of finite groups”, Adv. Math., 124 (1996), 49–76 | DOI | MR | Zbl

[12] Smith L., Polynomial invariants of finite groups, A. K. Peters, Wellesley, MA, 1995 | MR

[13] Smith L., “Polynomial invariants of finite groups. A survey of recent developments”, Bull. Amer. Math. Soc., 34 (1997), 211–250 | DOI | MR | Zbl

[14] Stepanov S. A., “Transcendence bases of the algebra of vector invariants for a symmetric group”, Proc. Intern. Conf. Number Theory, Berlin, 1999, 487–501 | MR | Zbl

[15] Stepanov S. A., “Polinomialnye invarianty konechnykh grupp nad polyami prostoi kharakteristiki”, Diskretnaya matematika, 11 (1999), 3–14 | Zbl

[16] Waring E., Meditationes Algebraicae., Cambridge Univ. Press, Cambridge, 1782

[17] Weyl H., The classical groups, their invariants and representations, New Jersey, 1939 | MR