On the invariant theory of finite groups: Orbit polynomials and splitting principles
type: Item
instance of: scholarly article
title: On the invariant theory of finite groups: Orbit polynomials and splitting principles
zbMATH Open document ID: 0652.20046
DOI: 10.1016/0021-8693(87)90040-8
author: Larry Smith
author: R. E. Stong
published in: Journal of Algebra
publication date: 1987-01-01T00:00:00Z
review text: Let \({\mathbb{F}}_ p\) denote the field of p elements, \(V=\oplus_{n}{\mathbb{F}}_ p\) an n-dimensional \({\mathbb{F}}_ p\) vector space, and \(G<GL(V)\). The action of G on V extends to P(V) the algebra of polynomials on V (the symmetric algebra); and there is the subalgebra \(P(V)^ G\) of invariants. In this paper we address the problem of constructing generators for \(P(V)^ G\) out of the combinatorics of the action of G on the finite set V. Briefly, we associate to an orbit \(B\subset V\) of G a sequence of elements \(c_ i(B)\in P(V)^ G\), \(i=1,...,| B|\), where \(| B|\) denotes the cardinality of B. If p is sufficiently large we show that these classes suffice to generate \(P(V)^ G\) as an algebra. This result indicates the interplay of the orbit structure of V and the invariant theory of G in P(V). We introduce the subgroup of GL(V) preserving the G orbits and study its relation to G and its invariant theory in P(V). We devote particular attention to the groups of order prime to p generated by pseudoreflections. These are the groups with \(P(V)^ G\) a polynomial algebra and of order relatively prime to p. We show that the introduction of one further invariant associated to an orbit, the Euler class, suffices in all but finitely many cases to construct polynomial generators for \(P(V)^ G\).
Mathematics Subject Classification ID: 20G05
Mathematics Subject Classification ID: 20G40
Mathematics Subject Classification ID: 15A72
Mathematics Subject Classification ID: 14L30
zbMATH DE Number: 4063384
zbMATH Keywords: algebra of polynomials
zbMATH Keywords: symmetric algebra
zbMATH Keywords: generators
zbMATH Keywords: orbit structure
zbMATH Keywords: invariant theory
zbMATH Keywords: orbits
zbMATH Keywords: pseudoreflections
zbMATH Keywords: Euler class
zbMATH Keywords: polynomial generators
MaRDI profile type: Publication
full work available at URL: 0021-8693(87)90040-8
OpenAlex ID: W2094123903
cites work: Finite H-spaces and algebras over the Steenrod algebra
cites work: Q5580319
cites work: On \(\pi_ 3\) of finite dimensional \(H\)-spaces
cites work: The realization of polynomial algebras as cohomology rings
cites work: Q3942064
cites work: On the Realization and Classification of Cyclic Extensions of Polynomial Algebras Over the Steenrod Algebra
cites work: Modular representations of p-groups with regular rings of invariants
cites work: Finite Unitary Reflection Groups
cites work: Realizability and Nonrealizability of Dickson Algebras as Cohomology Rings
cites work: Invariants of finite groups and their applications to combinatorics
cites work: Relative invariants of finite groups generated by pseudoreflections
cites work: Some polynomial algebras over the Steenrod algebra $A_p$
cites work: Integral closure of unstable Steenrod algebra actions
description: scientific article; zbMATH DE number 4063384