Given a simple vertex algebra A and a reductive group G of automorphisms of
A, the invariant subalgebra A^G is strongly finitely generated in most examples
where its structure is known. This phenomenon is subtle, and is generally not
true of the classical limit of A^G, which often requires infinitely many
generators and infinitely many relations to describe.