Let $\mathfrak{g}$ be a complex simple Lie algebra. Let $S(\mathfrak{g})$ be the algebra of polynomial functions on $\mathfrak{g}$, viewed as a $\mathfrak{g}$-representation. Are the isotypic components of $S(\mathfrak{g})$ finite-dimensional?


This seems to be true for $\mathfrak{sl}\_n$, since this is the subject of "plethysm" and there are explicit formulae for these multiplicities. See e.g. [this](https://mathoverflow.net/questions/299900/symmetric-powers-for-lie-algebras) mathoverflow question and the reference therein.



Are isotypic components of $S(\mathfrak{g})$ finite-dimensional?
I think there must be some different ideas of what your question means, looking at the comments. I understood it to mean as in the decomposition of tensor powers of a $\mathfrak{g}$-representation into irreducible subrepresentations. In which case, the answer is a definite yes. For a start, the action of $\mathfrak{g}$ on any symmetric power of a representation preserves the degree. So in this way $S(\mathfrak{g}) = \bigoplus\_{i=0}^\infty S^{i}(\mathfrak{g})$. Then the isotypic components in this sense just refers to the decomposition of these finite dimensional pieces into irreducibles which are automatically finite dimensional themselves. The explicit decompositions themselves can be quite hard to work out although there are formulae for these things. This is the kind of thing that "plethysm" refers to.


The invariant polynomials in this view form trivial subrepresentations but they would not be regarded as a single isotypic component (indeed they appear at various degrees and there are more than $\mathrm{rank}\ \mathfrak{g}$ of them, those are just the generators)


Edit: having looked through the edits to the question I understand the confusion a little better. You originally asked about whether copies of each irreducible appeared finitely many times. I would hesitate to call these isotypic components but the answer here is no. As pointed out in the comments the collection of all trivial subreps form an infinite-dimensional component. This is, in essence, the span of all polynomials generated by the Casimir elements.


