I came across the following ring $A$, which appears as a Chow ring. I am wondering if it has been studied before; in particular, I am looking for a reference where this object might have been described.

The graded ring $A^n \subset \mathbb{Z}[x_1,\dots,x_n]$ is the subring consisting of polynomials $p$ such that $$p(x_1,\dots,x_{n-1},0)=p(x_1,\dots,x_{i-1},0,x_{i+1},\dots,x_{n-1})$$ for all $i\geq 1$. For $m\geq n$, there is a surjective homomorphism $A^m \to A^n$ given by setting the last $m-n$ variables to $0$. This is an isomorphism in degrees smaller than $n$. We define $$A = \varprojlim A^n$$ in the category of graded rings. In particular, the degree $k$ part of $A$ is $$A_{(k)}=A^k_{(k)}.$$

I came across the following ring $A$, which appears as a Chow ring. I am wondering if it has been studied before; in particular, I am looking for a reference where this object might have been described.

The graded ring $A^n \subset \mathbb{Z}[x_1,\dots,x_n]$ is the subring consisting of polynomials $p$ such that $$p(x_1,\dots,x_{n-1},0)=p(x_1,\dots,x_{i-1},0,x_i,\dots,x_{n-1})$$ for all $i\geq 1$. For $m\geq n$, there is a surjective homomorphism $A^m \to A^n$ given by setting the last $m-n$ variables to $0$. This is an isomorphism in degrees smaller than $n$. We define $$A = \varprojlim A^n$$ in the category of graded rings. In particular, the degree $k$ part of $A$ is $$A_{(k)}=A^k_{(k)}.$$