Experimental Mathematics

Constructing invariants for finite groups

W. Plesken and D. Robertz

Full-text: Open access

Abstract

It is well known that the ring of polynomial invariants of a finite matrix group {\small $G$} becomes more and more messy the further one moves away from groups generated by pseudoreflections. Also, the number of generators has a tendency to become large. In this experimental study, we try to create evidence for the observation that these unpleasant properties might improve if one enlarges the ring of invariants in one way or another. For instance, {\small $G$} might fix a symplectic form. It can be used to turn the ring of invariants into a Lie algebra by introducing a {\small $G$}-invariant Poisson bracket. In the absence of an invariant symplectic form, one might still consider the Lie algebra of invariant polynomial vector fields simultaneously with the ring of polynomial invariants. If one is prepared to leave the realm of commutative rings and Lie algebras, one can also take {\small $G$}-invariant differential operators into account. Under these additional operations the number of generators necessary to create all invariants is often drastically decreased. A particularly nice situation arises if the group fixes a quadratic form and a symplectic form at the same time, because together they give rise to an endomorphism on the space of homogeneous invariants of any given degree that, for instance, can be used to single out more effective generators in the new sense. In the classical situation of fields of characteristic zero, to which this paper is restricted, the averaging operator is both theoretically and algorithmically an important tool, whose computational feasibility, however, decreases with increasing degrees. The methods presented here might also help to avoid this difficulty.

Article information

Source
Experiment. Math., Volume 14, Issue 2 (2005), 175-188.

Dates
First available in Project Euclid: 30 September 2005

Permanent link to this document
https://projecteuclid.org/euclid.em/1128100130

Mathematical Reviews number (MathSciNet)
MR2169521

Zentralblatt MATH identifier
1100.13007

Subjects
Primary: 13A50: Actions of groups on commutative rings; invariant theory [See also 14L24] 16W22: Actions of groups and semigroups; invariant theory 17B66: Lie algebras of vector fields and related (super) algebras 13N10: Rings of differential operators and their modules [See also 16S32, 32C38]
Secondary: 13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

Keywords
Invariant theory computational group theory invariant differential operators Janet bases

Citation

Plesken, W.; Robertz, D. Constructing invariants for finite groups. Experiment. Math. 14 (2005), no. 2, 175--188. https://projecteuclid.org/euclid.em/1128100130


Export citation