Footnotes to a paper of Domokos, I

We use Regev's double centralizer theorem from [7] to study invariants of matrices with group actions. This theory then has applications to trace identities and Poincaré series.