Suppose ${\mathrm{ch}}(K) = p > 0$ and we consider the formal power series ring $K[[X_1,\ldots,X_{np}]]$ over $K$ in $np$ variables $X_1,\ldots, X_{np}$. Let $\Lambda$ be the set defined as follows$\colon$
\begin{align*}
&
\Lambda \colon\!= {\mathrm{all~ sets~}} \{(i_1,\ldots,i_p), (i_{p+1},\ldots,i_{2p}), \ldots, (i_{(n-1)p + 1},\ldots,i_{np}) \}, \\
&
{\mathrm{where}}, ~ \{1, 2, 3, 4, \ldots \} = \{i_1, i_2, i_3, i_4, \ldots \} \phantom{I} {\mathrm{s.t.}} \phantom{I} i_k \not= i_l \phantom{I} {\mathrm{for}} \phantom{i} k \not= l.
\end{align*}

Namely, $\Lambda$ is the set of the divisions of $(1,\ldots, np)$ into $n$ $``p$-tuples''.

For $\lambda = \{(i_1,\ldots,i_p), (i_{p+1},\ldots,i_{2p}), \ldots, (i_{(n-1)p + 1},\ldots,i_{np}) \} \in \Lambda$, we shall associate the following ideal $I_{\lambda}$ of $A_{\infty}$$\colon$
\begin{equation*}
I_{\lambda} \colon\!= (X_{i_1} + \ldots + X_{i_p}, X_{i_{p+1}} + \ldots + X_{i_{2p}}, \ldots, X_{(n-1)p + 1} + \ldots + X_{np}).
\end{equation*}

We shall define the ideal $S_n$ of the ring $K[[X_1,\ldots,X_{np}]]$ by the following$\colon$
\begin{equation*}
S_n \colon= \underset{\lambda \in \Lambda}{\bigcap} I_{\lambda}.
\end{equation*}
Further, we shall specify the generators of $S_n$ as follows$\colon$
\begin{equation*}
S_n = (\theta, s_2, \ldots, s_{m(n)}),
\end{equation*}
where $\theta \colon= X_1 + \ldots + X_{np}$.

## Conjecture. The degrees ${\mathrm{deg}}(s_2), \ldots, {\mathrm{deg}}(s_{m(n)})$ diverge when $n \to \infty$.