Fixed-point subring

of an automorphism f of a ring R is the subring of the fixed points of f, that is, More generally, if G is a group acting on R, then the subring of R is called the fixed subring or, more traditionally, the ring of invariants under G. If S is a set of automorphisms of R, the elements of R that are fixed by the elements of S form the ring of invariants under the group generated by S. In particular, the fixed-point subring of an automorphism f is the ring of invariants of the cyclic group generated by f. In Galois theory, when R is a field and G is a group of field automorphisms, the fixed ring is a subfield called the fixed field of the automorphism group; see Fundamental theorem of Galois theory.

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.

The symmetric group Sn acts on R by permuting the variables.

If a reductive algebraic group G acts on R, then the fundamental theorem of invariant theory describes the generators of RG.

Hilbert's fourteenth problem asks whether the ring of invariants is finitely generated or not (the answer is affirmative if G is a reductive algebraic group by Nagata's theorem.)

The answer is negative for some unipotent groups.

Let S be the symmetric algebra of a finite-dimensional G-module.

is a free module (of finite rank) over SG (Chevalley's theorem).

[citation needed] In differential geometry, if G is a Lie group and

its Lie algebra, then each principal G-bundle on a manifold M determines a graded algebra homomorphism (called the Chern–Weil homomorphism) where