1: \begin{definition}\label{def:aplus}

2: %We define a chain of $K$-algebras which extend~$S$. 

3: Given a subalgebra $S = K[g_1, \dots, g_r]$ of~$P$,

4: and $\g\in S{\setminus}\{0\}$,

5: we denote by \define{$E_\g(S)$}

6: the algebra $K[g_1, \dots, g_r, h_1, \dots, h_t]$ as described in 

7: Theorem~\ref{thm:main}.

8: Then we  let \define{$E_\g^0(S)$} $= S$,

9: and recursively  \define{$E_g^i(S)$}= \define{$E_\g(E_\g^{i-1}(S))$} for $i>0$.

10: \end{definition}

11: