Strong factorization of ultradifferentiable vectors associated with compact Lie group representations

We show a strong factorization theorem of Dixmier-Malliavin type for ultradifferentiable vectors associated with compact Lie group representations on sequentially complete locally convex Hausdorff spaces. In particular, this solves a conjecture by Gimperlein et al. [J. Funct. Anal. 262 (2012), 667-681] for analytic vectors in the case of compact Lie groups.