1: \begin{abstract}

2: We study the category of wheeled PROPs using tools from Invariant Theory.

3: A typical example of a wheeled PROP is the mixed tensor algebra ${\mathcal V}=T(V)\otimes T(V^\star)$, where $T(V)$ is the tensor algebra on

4:  an $n$-dimensional vector space over a field of $K$ of characteristic~0. 

5:   First we classify all the ideals of the initial object $\ZZ$ in the category of wheeled PROPs. 

6:  We show that non-degenerate sub-wheeled PROPs of ${\mathcal V}$ are exactly subalgebras of the form ${\mathcal V}^G$ where $G$ is a closed, reductive subgroup of the general linear group $\GL(V)$. 

7: When $V$ is a finite dimensional Hilbert space,  a similar description of invariant tensors for an action of  a compact group was given by Schrijver. We also generalize the theorem of  Procesi that says that trace rings satisfying the $n$-th Cayley-Hamilton identity can be embedded in an $n \times n$ matrix ring over a commutative algebra $R$. Namely, we prove that a wheeled PROP can be embedded in $R\otimes {\mathcal V}$

8: for a commutative $K$-algebra $R$ if and only if it satisfies certain relations.

9: \end{abstract}

10: