Fixed-point subring

In algebra, the fixed-point subring $R^{f}$ of an automorphism f of a ring R is the subring of R:

$R^{f}=\{r\in R\mid f(r)=r\}.$

Slightly more generally, if G is a subgroup of the automorphism group $\operatorname {Aut} (R)$ of R, then $R^{G}$, the intersection of $R^{g},\,g\in G$ is a subring called the subring fixed by G or, more commonly, the ring of invariants. A basic example appears in Galois theory; see Fundamental theorem of Galois theory.

Hilbert's fourteenth problem asks whether the ring of invariants is finitely generated (the answer is affirmative if G is a reductive algebraic group.) The finite generation is easy to be seen for a finite group G acting on a finitely generated algebra R: since R^G is integral over R, the Artin–Tate lemma implies R^G is a finitely generated algebra.

Along with a module of covariants, the ring of invariants is a central object of study in invariant theory. Geometrically, the rings of invariants are the coordinate rings of (affine or projective) GIT quotients and they play fundamental roles in the constructions in geometric invariant theory.

Let S be the symmetric algebra of a finite-dimensional G-module. Let $F_{G}(t)$ be the Poincaré series of the invariant ring S^G. Then

Let G be a finite group. Then G is a reflection group if and only if $S$ is a free module (of finite rank) over S^G.

References

• Mukai, Shigeru; Oxbury, W. M. (8 September 2003) [1998], An Introduction to Invariants and Moduli, Cambridge Studies in Advanced Mathematics, vol. 81, Cambridge University Press, ISBN 978-0-521-80906-1, MR2004218
• Springer, Tonny A. (1977), Invariant theory, Lecture Notes in Mathematics, vol. 585, Springer