Germs of holomorphic functions on topological vector spaces and invariant rings

摘要

Let V be a locally convex and Hausdorff topological vector space and G a finite group of holomorphic automorphisms of Ov,(0). Here we prove that the ring O-V(G),(0) of all invariant germs is a C.M.(infinity)-local ring.