Results 1 
6 of
6
Computational Invariant Theory
 Encyclopaedia of Mathematical Sciences, SpringerVerlag
, 1998
"... This article is an expanded version of the material presented there. The main topic is the calculation of the invariant ring of a finite group acting on a polynomial ring by linear transformations of the indeterminates. By "calculation" I mean finding a finite system of generators for the invariant ..."
Abstract

Cited by 36 (2 self)
 Add to MetaCart
This article is an expanded version of the material presented there. The main topic is the calculation of the invariant ring of a finite group acting on a polynomial ring by linear transformations of the indeterminates. By "calculation" I mean finding a finite system of generators for the invariant ring, and (optionally) determining structural properties of it. In this exposition particular emphasis is placed on the case that the ground field has positive characteristic dividing the group order. We call this the modular case, and it is important for several reasons. First, many theoretical questions about the structure of modular invariant rings are still open. I will address the problems which I consider the most important or fascinating in the course of the paper. Thus it is very helpful to be able to compute modular invariant rings in order to gain experience, formulate or check conjectures, and gather some insight which in fortunate cases leads to proofs. Furthermore, the computation of modular invariant ring can be very useful for the study of cohomology of finite groups (see Adem and Milgram [1]). This exposition also treats the nonmodular case (characteristic zero or coprime to the group order), where computations are much easier and the theory is for the most part settled. There are also various applications in this case, such as the solution of algebraic equations or the study of dynamical systems with symmetries (see, for example, Gatermann [11], Worfolk [26]).
A Characterization of Linearly Reductive Groups by their Invariants
 J. Algebra
, 1998
"... The theorem of Hochster and Roberts says that for any module V of a linearly reductive group G over a field K the invariant ring K[V ] G is CohenMacaulay. We prove the following converse: if G is a reductive group and K[V ] G is CohenMacaulay for any module V , then G is linearly reductive. I ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
The theorem of Hochster and Roberts says that for any module V of a linearly reductive group G over a field K the invariant ring K[V ] G is CohenMacaulay. We prove the following converse: if G is a reductive group and K[V ] G is CohenMacaulay for any module V , then G is linearly reductive. Introduction Linearly reductive groups play a prominent role in invariant theory. Hilbert's original proof of the finiteness theorem [2] works for linearly reductive groups. Much later, Hochster and Roberts [4] proved that if G is a linearly reductive group and V a Gmodule, then the invariant ring K[V ] G is CohenMacaulay, i.e., a free module over the subalgebra generated by a homogeneous system of parameters. The goal of this article is to prove a converse. Namely, we will show that if G is a reductive group and K[V ] G is CohenMacaulay for any Gmodule V , then G must be linearly reductive. This becomes false if the hypothesis that G be reductive is dropped (see Remark 8). Our resul...
The Computation of Invariant Fields and a new Proof of a Theorem by Rosenlicht
, 2006
"... Let G be an algebraic group acting on an irreducible variety X. We present an algorithm for computing the invariant field k(X) G. This algorithm leads to a new, constructive proof of a theorem of Rosenlicht, which says that almost all orbits can be separated by rational invariants. ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Let G be an algebraic group acting on an irreducible variety X. We present an algorithm for computing the invariant field k(X) G. This algorithm leads to a new, constructive proof of a theorem of Rosenlicht, which says that almost all orbits can be separated by rational invariants.
On Global Degree Bounds for Invariants
, 2002
"... Let G be a linear algebraic group over a eld K of characteristic 0. An integer m is called a global degree bound for G if for every linear representation V the invariant ring K[V ] is generated by invariants of degree at most m. We prove that if G has a global degree bound, then G must be ni ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Let G be a linear algebraic group over a eld K of characteristic 0. An integer m is called a global degree bound for G if for every linear representation V the invariant ring K[V ] is generated by invariants of degree at most m. We prove that if G has a global degree bound, then G must be nite. The converse is well known from Noether's degree bound.