Here is a proof of the generalization suggested by Richard Stanley in the comments and even of a more general result (with "odd" replaced by "not divisible by a given prime $q$"). It is completely different from the argument I sketched in the comments, and is completely elementary (using no Macdonald polynomials). Unfortunately, it is also somewhat awkward and way too long (much of it devoted to a fight with notations). For any commutative ring $R$, we let $\Lambda_{R}$ be the ring of symmetric functions over $R$; this is a commutative $R$-algebra. Let $\operatorname{Par}$ be the set of all partitions. We shall use the standard notation $p_{\lambda}$ for the power-sum symmetric function indexed by a partition $\lambda$. Fix a prime $q$. Let $\mathbb{Z}_{\left( q\right) }$ denote the ring of all rational numbers that can be written in the form $\dfrac{a}{b}$ for two integers $a$ and $b$ such that $b$ is coprime to $q$. These numbers are known as *$q$-integers*. Obviously, $\mathbb{Z}_{\left( q\right) }$ is a subring of $\mathbb{Q}$, so that $\Lambda_{\mathbb{Z}_{\left( q\right) }}$ is a subring of $\Lambda_{\mathbb{Q}}$. Now, Richard Stanley's generalization (generalized a bit further) claims: > **Theorem 1.** We have \begin{align*} \Lambda_{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i} \ \mid\ i\not \equiv 0\mod q\right] =\mathbb{Z}_{\left( q\right) }\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] . \end{align*} The proof requires some preparations, which include showing some results of independent interest. First, we introduce a few more classical notations from symmetric function theory: For any partition $\lambda$ and any $i\geq1$, we let $m_{i}\left( \lambda\right) $ denote the multiplicity of $i$ in $\lambda$ (that is, the number of parts of $\lambda$ that equal $i$). For any partition $\lambda$, we define the positive integer \begin{align*} z_{\lambda}:=\prod_{i=1}^{\infty}\left( \left( m_{i}\left( \lambda\right) \right) !\cdot i^{m_{i}\left( \lambda\right) }\right) . \end{align*} Let $V$ be the $\Lambda_{\mathbb{Z}}$-subalgebra of $\Lambda_{\mathbb{Q}}$ generated by the fractions $\dfrac{p_{i}}{i^{k}}$ for all positive integers $i$ and all nonnegative integers $k$. In other words, let \begin{align*} V=\Lambda_{\mathbb{Z}}\left[ \dfrac{p_{i}}{i^{k}}\ \mid\ i>0\text{ and } k\geq0\right] \subseteq\Lambda_{\mathbb{Q}}. \end{align*} Now, we claim the following: > **Theorem 2.** We have \begin{align*} z_{\lambda}^{-1}p_{\lambda}\in V \end{align*} for each partition $\lambda$. To prove this, we need a simple arithmetic lemma: > **Lemma 3.** Let $c$ and $d$ be two integers with $d\neq0$. Then, there exist some integers $a$ and $b$ and some nonnegative integer $i$ such that $c^i =ad+bc^{i+1}$. *Proof of Lemma 3.* The ring $\mathbb{Z}/d\mathbb{Z}$ is finite (since $d\neq0$). For any integer $m$, we let $\overline{m}\in\mathbb{Z}/d\mathbb{Z}$ denote the residue class of $m$ in this ring. The infinitely many residue classes $\overline{c^{0}},\overline{c^{1}},\overline{c^{2}},\ldots$ all belong to the finite ring $\mathbb{Z}/d\mathbb{Z}$, and thus cannot all be distinct (by the pigeonhole principle). In other words, there exist two nonnegative integers $i$ and $j$ satisfying $i<j$ and $\overline{c^i }=\overline{c^j }$. Consider these $i$ and $j$. We have $\overline{c^i }=\overline{c^j }$; in other words, $c^i \equiv c^j \mod d$. Hence, $d\mid c^i -c^j $. In other words, $c^i -c^j =ad$ for some integer $a$. Consider this $a$. However, recall that $i<j$. Thus, $j=i+w$ for some positive integer $w$. Consider this $w$. The integer $w-1$ is nonnegative (since $w$ is positive); thus, $c^{w-1}$ is an integer. Hence, we can define an integer $b$ by $b=c^{w-1}$. From $j = i+w = \left(w-1\right) + \left(i+1\right)$, we obtain $c^j = c^{\left(w-1\right) + \left(i+1\right)} = \underbrace{c^{w-1}}_{= b} c^{i+1} = bc^{i+1}$. Now, from $c^i -c^j =ad$, we obtain \begin{align*} c^i & =ad+\underbrace{c^j }_{= bc^{i+1}} =ad+bc^{i+1}. \end{align*} This proves Lemma 3. $\blacksquare$ *Proof of Theorem 2.* We shall use the notation $\ell\left( \lambda\right) $ for the *length* of a partition $\lambda$ (that is, the number of all parts of $\lambda$). For instance, $\ell\left( \left( 5,2,2\right) \right) =3$. We shall also use the notation $\left\vert \lambda\right\vert $ for the *size* of a partition $\lambda$ (that is, the sum of all parts of $\lambda$). We shall prove Theorem 2 by strong induction on $\left\vert \lambda\right\vert +\ell\left( \lambda\right) $. Thus, we fix some $N\in\mathbb{N}$, and we assume (as the induction hypothesis) that Theorem 2 holds for all $\lambda$ with $\left\vert \lambda\right\vert +\ell\left( \lambda\right) <N$. We now must prove Theorem 2 for all $\lambda$ with $\left\vert \lambda\right\vert +\ell\left( \lambda\right) =N$. So let $\lambda$ be a partition satisfying $\left\vert \lambda\right\vert +\ell\left( \lambda\right) =N$. We must prove that $z_{\lambda} ^{-1}p_{\lambda}\in V$. If $\lambda=\varnothing$, then this is obvious (since $z_{\lambda} ^{-1}p_{\lambda}=1$ in this case). Thus, for the rest of this induction step, we WLOG assume that $\lambda\neq\varnothing$. We are in one of the following three cases: *Case 1:* All parts of $\lambda$ are equal to $1$. *Case 2:* All parts of $\lambda$ are equal, but not equal to $1$. *Case 3:* Not all parts of $\lambda$ are equal. Let us consider Case 1 first. In this case, all parts of $\lambda$ are equal to $1$. In other words, $\lambda=\underbrace{\left( 1,1,\ldots,1\right) }_{v\text{ entries}}$ for some positive integer $v$ (since $\lambda \neq\varnothing$). Consider this $v$. Thus, $p_{\lambda}=p_{1}^v $ and $\left\vert \lambda\right\vert =v$ and $\ell\left( \lambda\right) =v$. Let $\operatorname{Par}_{v}$ denote the set of all partitions of $v$. Thus, $\lambda\in\operatorname{Par}_{v}$. Now, let $h_v \in \Lambda_{\mathbb{Z}}$ denote the $v$-th complete homogeneous symmetric function. A well-known formula (e.g., (2.5.17) in [Grinberg/Reiner, arXiv:1409.8356v7][1]) yields \begin{align*} h_{v}=\sum_{\mu\in\operatorname{Par}_{v}}z_{\mu}^{-1}p_{\mu }=z_{\lambda}^{-1}p_{\lambda}+\sum_{\substack{\mu\in\operatorname{Par}_{v}; \\\mu\neq\lambda}}z_{\mu}^{-1}p_{\mu}, \end{align*} so that \begin{equation} z_{\lambda}^{-1}p_{\lambda}=h_v -\sum_{\substack{\mu\in \operatorname{Par}_{v};\\\mu\neq\lambda}}z_{\mu}^{-1}p_{\mu}. \label{darij1.pf.t2.c1.2} \tag{1} \end{equation} However, the only partition of $v$ that has length $\geq v$ is the partition $\underbrace{\left( 1,1,\ldots,1\right) }_{v\text{ entries}}=\lambda$. Thus, if $\mu$ is a partition of $v$ distinct from $\lambda$, then $\mu$ has length $<v$. In other words, if $\mu\in\operatorname{Par}_{v}$ satisfies $\mu\neq\lambda$, then $\ell\left( \mu\right) <v$. Hence, if $\mu \in\operatorname{Par}_{v}$ satisfies $\mu\neq\lambda$, then \begin{align*} \underbrace{\left\vert \mu\right\vert }_{=v=\left\vert \lambda\right\vert }+\underbrace{\ell\left( \mu\right) }_{<v=\ell\left( \lambda\right) }<\left\vert \lambda\right\vert +\ell\left( \lambda\right) =N \end{align*} and therefore $z_{\mu}^{-1}p_{\mu}\in V$ (by our induction hypothesis, applied to $\mu$ instead of $\lambda$). Thus, \eqref{darij1.pf.t2.c1.2} becomes \begin{align*} z_{\lambda}^{-1}p_{\lambda}=\underbrace{h_v}_{\in\Lambda_{\mathbb{Z} }\subseteq V}-\sum_{\substack{\mu\in\operatorname{Par}_{v};\\\mu \neq\lambda}}\underbrace{z_{\mu}^{-1}p_{\mu}}_{\in V}\in V-\sum_{\substack{\mu \in\operatorname{Par}_{v};\\\mu\neq\lambda}}V\subseteq V. \end{align*} Hence, $z_{\lambda}^{-1}p_{\lambda}\in V$ has been proved in Case 1. Let us next consider Case 2. In this case, all parts of $\lambda$ are equal, but not equal to $1$. In other words, $\lambda=\underbrace{\left( n,n,\ldots,n\right) }_{v\text{ entries}}$ for some positive integers $n\neq1$ and $v$ (since $\lambda\neq\varnothing$). Consider these $n$ and $v$. Thus, $p_{\lambda}=p_n^v $ and $z_{\lambda}=v!\cdot n^v $ and $\left\vert \lambda\right\vert =nv$ and $\ell\left( \lambda\right) =v$. From $n\neq1$, we obtain $n>1$ (since $n$ is a positive integer). Thus, $nv > v$ (since $v > 0$). In other words, $v < nv$. From $p_{\lambda}=p_n^v $ and $z_{\lambda}=v!\cdot n^v $, we obtain \begin{equation} z_{\lambda}^{-1}p_{\lambda}=\left( v!\cdot n^v \right) ^{-1}p_n ^v =\dfrac{p_n^v }{v!\cdot n^v }. \label{darij1.pf.t2.c2.1} \tag{2} \end{equation} We must prove that $z_{\lambda}^{-1}p_{\lambda}\in V$. In other words, we must prove that $\dfrac{p_n^v }{v!\cdot n^v }\in V$ (since $z_{\lambda} ^{-1}p_{\lambda}=\dfrac{p_n^v }{v!\cdot n^v }$). We shall now use Lemma 3 to decompose $\dfrac{p_n^v }{v!\cdot n^v }$ into a sum of partial fractions -- one with a denominator of $v!$ and another with a power of $n$ in the denominator. We will then prove that both of these fractions belong to $V$. Indeed, Lemma 3 (applied to $c=n^v $ and $d=v!$) yields that there exist some integers $a$ and $b$ and some nonnegative integer $i$ such that $\left( n^v \right) ^i =a\cdot v!+b\left( n^v \right) ^{i+1}$. Consider these $a$, $b$ and $i$. Multiplying both sides of the equality $\left( n^v \right) ^i =a\cdot v!+b\left( n^v \right) ^{i+1}$ by $\dfrac {p_n^v }{\left( n^v \right) ^{i+1}\cdot v!}$, we obtain \begin{align} \dfrac{p_n^v }{v!\cdot n^v } &=\left(a\cdot v!+b\left( n^v \right) ^{i+1}\right) \cdot \dfrac{p_n^v }{\left( n^v \right) ^{i+1}\cdot v!} \\ &=a\cdot\dfrac{p_n^v }{\left( n^v \right) ^{i+1}}+b\cdot\dfrac{p_n^v }{v!} . \label{darij1.pf.t2.c2.parfrac} \tag{3} \end{align} Thus, in order to prove that $\dfrac{p_n^v }{v!\cdot n^v }\in V$, it suffices to show that $\dfrac{p_n^v }{\left( n^v \right) ^{i+1}}\in V$ and $\dfrac{p_n^v }{v!}\in V$ (because $a$ and $b$ are integers, and $V$ is a ring). The first of these two claims is easy: We have $\dfrac{p_n}{n^{i+1}}\in V$ (since $\dfrac{p_n}{n^{i+1}}$ is one of the designated generators of the $\Lambda_{\mathbb{Z}}$-algebra $V$). Hence, $\left( \dfrac{p_n}{n^{i+1} }\right) ^v \in V$ (since $V$ is a ring). In other words, $\dfrac{p_n^v }{\left( n^v \right) ^{i+1}}\in V$ (since $\left( \dfrac{p_n}{n^{i+1} }\right) ^v =\dfrac{p_n^v }{\left( n^v \right) ^{i+1}}$). It remains to prove that $\dfrac{p_n^v }{v!}\in V$. To do this, we will need the *Frobenius endomorphism* $\mathbf{f}_n$. It is defined as follows: For any commutative ring $R$, we let \begin{align*} \mathbf{f}_n:\Lambda_{R}\rightarrow\Lambda_{R} \end{align*} be the $R$-algebra homomorphism that sends each symmetric function $f$ to $f\left( x_{1}^{n},x_{2}^{n},x_{3}^{n},\ldots\right) $ (where we regard $f$ as a symmetric formal power series in countably many indeterminates $x_{1},x_{2} ,x_{3},\ldots$). This homomorphism $\mathbf{f}_n$ is called the $n$-th *Frobenius endomorphism* and is functorial in $R$ (that is, it commutes with the morphisms $\Lambda_{R}\rightarrow\Lambda_{S}$ induced by ring homomorphisms $R\rightarrow S$). If you like to think in terms of plethysm, $\mathbf{f}_n$ can be described as sending each $f\in\Lambda_{R}$ to the plethysm $f\left[ p_n\right] $. The functoriality of $\mathbf{f}_n$ in $R$ entails that the $\mathbf{f}_n$ defined for $R=\mathbb{Z}$ is a restriction of the $\mathbf{f}_n$ defined for $R=\mathbb{Q}$. Thus, we can safely denote both of these maps by $\mathbf{f}_n$ without risking confusion. They both are ring homomorphisms (since they are $R$-algebra homomorphisms for appropriate $R$). Of course, $\mathbf{f}_n\left( \Lambda_{\mathbb{Z}}\right) \subseteq\Lambda _{\mathbb{Z}}$ (since the $\mathbf{f}_n$ defined for $R=\mathbb{Z}$ is a restriction of the $\mathbf{f}_n$ defined for $R=\mathbb{Q}$). It is easy to see that $\mathbf{f}_n\left( p_{i}\right) =p_{in}$ for each $i>0$. Hence, for each positive integer $i$ and each nonnegative integer $k$, we have \begin{align*} \mathbf{f}_n\left( \dfrac{p_{i}}{i^{k}}\right) =\dfrac{p_{in}}{i^{k} }=n^{k}\cdot\dfrac{p_{in}}{\left( in\right) ^{k}}\in V \end{align*} (since $\dfrac{p_{in}}{\left( in\right) ^{k}}$ is one of the designated generators of the $\Lambda_{\mathbb{Z}}$-algebra $V$). Therefore, \begin{align*} \Lambda_{\mathbb{Z}}\left[ \mathbf{f}_n\left( \dfrac{p_{i}}{i^{k}}\right) \ \mid\ i>0\text{ and }k\geq0\right] \subseteq V \end{align*} (since $V$ is a $\Lambda_{\mathbb{Z}}$-algebra). Now, from $V=\Lambda_{\mathbb{Z}}\left[ \dfrac{p_{i}}{i^{k}}\ \mid\ i>0\text{ and }k\geq0\right] $, we obtain \begin{align*} \mathbf{f}_n\left( V\right) & =\mathbf{f}_n\left( \Lambda _{\mathbb{Z}}\left[ \dfrac{p_{i}}{i^{k}}\ \mid\ i>0\text{ and }k\geq0\right] \right) \\ & =\underbrace{\left( \mathbf{f}_n\left( \Lambda_{\mathbb{Z}}\right) \right) }_{\subseteq\Lambda_{\mathbb{Z}}}\left[ \mathbf{f}_n\left( \dfrac{p_{i}}{i^{k}}\right) \ \mid\ i>0\text{ and }k\geq0\right] \\ & \qquad\left( \text{since }\mathbf{f}_n\text{ is a ring homomorphism} \right) \\ & \subseteq\Lambda_{\mathbb{Z}}\left[ \mathbf{f}_n\left( \dfrac{p_{i} }{i^{k}}\right) \ \mid\ i>0\text{ and }k\geq0\right] \subseteq V. \end{align*} Let $\mu$ be the partition $\underbrace{\left( 1,1,\ldots,1\right) }_{v\text{ entries}}$. Then, $p_{\mu}=p_{1}^v $ and $z_{\mu}=v!\cdot \underbrace{1^v }_{=1}=v!$ and $\left\vert \mu\right\vert =v$ and $\ell\left( \mu\right) =v$. Hence, \begin{align*} \underbrace{\left\vert \mu\right\vert }_{=v}+\underbrace{\ell\left( \mu\right) }_{=v} & =\underbrace{v}_{< nv} + v\\ & <\underbrace{nv}_{=\left\vert \lambda\right\vert }+\underbrace{v} _{=\ell\left( \lambda\right) }=\left\vert \lambda\right\vert +\ell\left( \lambda\right) =N. \end{align*} Hence, $z_{\mu}^{-1}p_{\mu}\in V$ (by our induction hypothesis, applied to $\mu$ instead of $\lambda$). In view of $z_{\mu}=v!$ and $p_{\mu}=p_{1}^v $, this rewrites as $v!^{-1}\cdot p_{1}^v \in V$. Hence, \begin{equation} \mathbf{f}_n\left( v!^{-1}\cdot p_{1}^v \right) \in \mathbf{f} _n\left( V\right) \subseteq V. \label{darij1.pf.t2.c2.5} \tag{4} \end{equation} However, since $\mathbf{f}_n$ is a $\mathbb{Q}$-algebra homomorphism, we have \begin{align*} \mathbf{f}_n\left( v!^{-1}\cdot p_{1}^v \right) =v!^{-1}\cdot\left( \mathbf{f}_n\left( p_{1}\right) \right) ^v =\dfrac{\left( \mathbf{f}_n\left( p_{1}\right) \right) ^v }{v!}=\dfrac{p_n^v }{v!} \end{align*} (since $\mathbf{f}_n\left( p_{1}\right) =p_n$). Thus, \eqref{darij1.pf.t2.c2.5} rewrites as $\dfrac{p_n^v }{v!}\in V$. Hence, \eqref{darij1.pf.t2.c2.parfrac} becomes \begin{align*} \dfrac{p_n^v }{v!\cdot n^v }=a\cdot\underbrace{\dfrac{p_n^v }{\left( n^v \right) ^{i+1}}}_{\in V}+b\cdot\underbrace{\dfrac{p_n^v }{v!}}_{\in V}\in V \end{align*} (since $V$ is a ring and since $a$ and $b$ are integers). In view of \eqref{darij1.pf.t2.c2.1}, this rewrites as $z_{\lambda}^{-1}p_{\lambda}\in V$. Hence, $z_{\lambda}^{-1}p_{\lambda}\in V$ has been proved in Case 2. Let us finally consider Case 3. In this case, not all parts of $\lambda$ are equal. We need another notation: If $\alpha=\left( \alpha_{1},\alpha_{2} ,\ldots,\alpha_{m}\right) $ and $\beta=\left( \beta_{1},\beta_{2} ,\ldots,\beta_n\right) $ are two partitions, then $\alpha\sqcup\beta$ shall denote the partition obtained by sorting the tuple $\left( \alpha_{1} ,\alpha_{2},\ldots,\alpha_{m},\beta_{1},\beta_{2},\ldots,\beta_n\right) $ in weakly decreasing order. For instance, $\left( 3,2,2\right) \sqcup\left( 5,3,2\right) =\left( 5,3,3,2,2,2\right) $. It is easy to see that if $\alpha$ and $\beta$ are two partitions that have no part in common, then \begin{equation} z_{\alpha\sqcup\beta}=z_{\alpha}z_{\beta}. \label{darij1.pf.t2.c3.zaub} \tag{5} \end{equation} Moreover, if $\alpha$ and $\beta$ are any two partitions, then \begin{equation} p_{\alpha\sqcup\beta}=p_{\alpha}p_{\beta}. \label{darij1.pf.t2.c3.paub} \tag{6} \end{equation} Now, recall that not all parts of $\lambda$ are equal. Hence, we can write $\lambda$ in the form $\lambda=\alpha\sqcup\beta$ where $\alpha$ and $\beta$ are two nonempty partitions that have no part in common. (Indeed, we can define $\alpha$ and $\beta$ by choosing an arbitrary part $i$ of $\lambda$, then letting $\alpha$ be the partition consisting of all parts of $\lambda$ equal to $i$, while $\beta$ is the partition consisting of all remaining parts of $\lambda$.) Consider these $\alpha$ and $\beta$. It is easy to see that $\left\vert \alpha\right\vert <\left\vert \alpha\sqcup\beta\right\vert $ (since $\beta$ is nonempty) and $\ell\left( \alpha\right) <\ell\left( \alpha\sqcup\beta\right) $ (for the same reason). Since $\alpha\sqcup \beta=\lambda$, these two inequalities rewrite as $\left\vert \alpha \right\vert <\left\vert \lambda\right\vert $ and $\ell\left( \alpha\right) <\ell\left( \lambda\right) $. Adding these two inequalities together, we obtain \begin{align*} \left\vert \alpha\right\vert + \ell\left( \alpha\right) <\left\vert \lambda\right\vert +\ell\left( \lambda\right) =N. \end{align*} Hence, $z_{\alpha}^{-1}p_{\alpha}\in V$ (by our induction hypothesis, applied to $\alpha$ instead of $\lambda$). Similarly, $z_{\beta}^{-1}p_{\beta}\in V$. However, from \eqref{darij1.pf.t2.c3.zaub} and \eqref{darij1.pf.t2.c3.paub}, we obtain \begin{align*} z_{\alpha\sqcup\beta}^{-1}p_{\alpha\sqcup\beta}=\left( z_{\alpha}z_{\beta }\right) ^{-1}p_{\alpha}p_{\beta}=\underbrace{z_{\alpha}^{-1}p_{\alpha}}_{\in V}\cdot\underbrace{z_{\beta}^{-1}p_{\beta}}_{\in V}\in V \end{align*} (since $V$ is a ring). In view of $\alpha\sqcup\beta=\lambda$, this rewrites as $z_{\lambda}^{-1}p_{\lambda}\in V$. Hence, $z_{\lambda}^{-1}p_{\lambda}\in V$ has been proved in Case 3. We have now proved $z_{\lambda}^{-1}p_{\lambda}\in V$ in all three cases 1, 2 and 3. Thus, the induction step is complete. Thus, Theorem 2 is proved by induction. $\blacksquare$ We are not quite ready to prove Theorem 1 yet. We first need some more notations. We let $\operatorname{QPar}$ be the set of all partitions that have no part divisible by $q$. (If $q=2$, these are precisely the partitions into odd parts.) We let $J$ be the ideal of the ring $\Lambda_{\mathbb{Q}}$ generated by the $p_{i}$ with $i\equiv0\mod q$. In other words, $J=\sum\limits_{i=1}^{\infty}p_{iq}\Lambda_{\mathbb{Q}}$. Recall that the family $\left( p_{\lambda}\right) _{\lambda\in\operatorname{Par}}$ is a basis of the $\mathbb{Q}$-vector space $\Lambda_{\mathbb{Q}}$. Thus, the $\mathbb{Q} $-vector subspace $J$ of $\Lambda_{\mathbb{Q}}$ has basis $\left( p_{\lambda }\right) _{\lambda\in\operatorname{Par}\setminus\operatorname{QPar}}$ (because multiplying any $p_{\mu}$ by a $p_{iq}$ yields a $p_{\lambda}$ with $\lambda\in\operatorname{Par}\setminus\operatorname{QPar}$, and conversely, any $p_{\lambda}$ with $\operatorname{Par}\setminus\operatorname{QPar}$ can be obtained in such a way). A well-known fact (or easy exercise) in abstract algebra says the following: > **Lemma 4.** Let $B$ be a subring of a ring $A$. Let $I$ be a (two-sided) ideal of $A$. Then, $B+I$ is a subring of $A$. Applying Lemma 4 to $A=\Lambda_{\mathbb{Q}}$, $B=\Lambda_{\mathbb{Z}_{\left( q\right) }}$ and $I=J$, we conclude that $\Lambda_{\mathbb{Z}_{\left( q\right) }}+J$ is a subring of $\Lambda_{\mathbb{Q}}$. We denote this subring $\Lambda_{\mathbb{Z}_{\left( q\right) }}+J$ by $W$. We note that $W$ is furthermore a $\mathbb{Z}_{\left( q\right) }$-subalgebra of $\Lambda _{\mathbb{Q}}$ (since $W$ is a subring of $\Lambda_{\mathbb{Q}}$ and is preserved under scaling by $\mathbb{Z}_{\left( q\right) }$). Next, we observe: > **Proposition 5.** We have $V\subseteq W$. *Proof of Proposition 5.* We know that $W$ is a commutative ring (since it is a subring of $\Lambda_{\mathbb{Q}}$) and contains $\Lambda_{\mathbb{Z}}$ as a subring (since $\Lambda _{\mathbb{Z}}\subseteq \Lambda _{\mathbb{Z}_{\left( q\right) }}\subseteq \Lambda_{\mathbb{Z}_{\left( q\right) }}+J=W$). Hence, $W$ is a $\Lambda_{\mathbb{Z}}$-algebra. Thus, in order to prove that $V\subseteq W$, it suffices to show that $\dfrac{p_{i}}{i^{k}}\in W$ for each positive integer $i$ and each nonnegative integer $k$ (by the definition of $V$). So let us show this. Fix a positive integer $i$ and a nonnegative integer $k$. We must prove that $\dfrac{p_{i}}{i^{k}}\in W$. If $i\equiv0\mod q$, then this follows from the obvious fact that $\dfrac{p_{i}}{i^{k}}\in J\subseteq\Lambda_{\mathbb{Z}_{\left( q\right) }}+J=W$. Thus, we WLOG assume that $i\not \equiv 0\mod q$. Hence, $i$ is coprime to $q$. Hence, $\dfrac{1}{i}\in \mathbb{Z}_{\left( q\right) }$, so that $\dfrac{1}{i^{k}}\in\mathbb{Z}_{\left( q\right) }\subseteq W$. Now, $\dfrac{p_{i}}{i^{k}} =\underbrace{\left( \dfrac{1}{i}\right) ^{k}}_{\in W} \underbrace{p_{i}}_{\in W}\in W$ (since $W$ is a ring). This completes our proof of Proposition 5. $\blacksquare$ At last, we can prove Theorem 1. *Proof of Theorem 1.* It is clear that $\mathbb{Z}_{\left( q\right) }\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] \subseteq \Lambda_{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i} \ \mid\ i\not \equiv 0\mod q\right] $. Hence, it suffices to prove the reverse inclusion, i.e., to prove that \begin{align*} \Lambda_{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i} \ \mid\ i\not \equiv 0\mod q\right] \subseteq\Lambda _{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i}\ \mid \ i\not \equiv 0\mod q\right] . \end{align*} Thus, we fix an arbitrary $f\in\Lambda_{\mathbb{Z}_{\left( q\right) }} \cap\mathbb{Q}\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] $. We must prove that $f\in\Lambda_{\mathbb{Z}_{\left( q\right) }} \cap\mathbb{Q}\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] $. We have $f\in\Lambda_{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] \subseteq \mathbb{Q}\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] $. Hence, $f$ is a $\mathbb{Q}$-linear combination of the family $\left( p_{\lambda}\right) _{\lambda\in\operatorname{QPar}}$ (since this family $\left( p_{\lambda}\right) _{\lambda\in\operatorname{QPar}}$ is a basis of the $\mathbb{Q}$-vector space $\mathbb{Q}\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] $). In other words, we can write $f$ in the form \begin{equation} f=\sum_{\lambda\in\operatorname{QPar}}c_{\lambda}p_{\lambda} \label{darij1.pf.t1.f=} \tag{7} \end{equation} for some $c_{\lambda}\in\mathbb{Q}$. Consider these $c_{\lambda}$. We let $\left\langle \cdot,\cdot\right\rangle $ denote the Hall inner product on $\Lambda_{\mathbb{Q}}$. This is a $\mathbb{Q}$-bilinear form sending $\Lambda_{\mathbb{Q}}\times\Lambda_{\mathbb{Q}}$ to $\mathbb{Q}$ and sending $\Lambda_{\mathbb{Z}_{\left( q\right) }}\times\Lambda_{\mathbb{Z}_{\left( q\right) }}$ to $\mathbb{Z}_{\left( q\right) }$ (since its restriction to $\Lambda_{\mathbb{Z}_{\left( q\right) }}\times\Lambda_{\mathbb{Z}_{\left( q\right) }}$ is the Hall inner product on $\Lambda_{\mathbb{Z}_{\left( q\right) }}$). It is well-known (see, e.g., Corollary 2.5.17(b) in [Grinberg/Reiner, arXiv:1409.8356v7][1]) that the families $\left( p_{\lambda}\right) _{\lambda\in\operatorname{Par}}$ and $\left( z_{\lambda}^{-1}p_{\lambda }\right) _{\lambda\in\operatorname{Par}}$ are dual bases of $\Lambda _{\mathbb{Q}}$ with respect to the Hall inner product. Hence, \begin{equation} \left\langle p_{\lambda},z_{\mu}^{-1}p_{\mu}\right\rangle =\delta_{\lambda ,\mu} \label{darij1.pf.t1.dualbases} \tag{8} \end{equation} for any $\lambda\in\operatorname{Par}$ and $\mu\in\operatorname{Par}$ (where the $\delta_{\lambda,\mu}$ is a Kronecker delta). In other words, \begin{equation} \left\langle p_{\lambda},p_{\mu}\right\rangle =z_{\mu}\delta_{\lambda,\mu } \label{darij1.pf.t1.dualbases2} \tag{9} \end{equation} for any $\lambda\in\operatorname{Par}$ and $\mu\in\operatorname{Par}$. Now, fix a partition $\mu\in\operatorname{QPar}$. Then, Theorem 2 (applied to $\lambda=\mu$) yields $z_{\mu}^{-1}p_{\mu}\in V\subseteq W$ (by Proposition 5). Hence, $z_{\mu}^{-1}p_{\mu}\in W=\Lambda_{\mathbb{Z}_{\left( q\right) } }+J$. In other words, we can write $z_{\mu}^{-1}p_{\mu}$ in the form $z_{\mu }^{-1}p_{\mu}=w_{1}+w_{2}$ for some $w_{1}\in\Lambda_{\mathbb{Z}_{\left( q\right) }}$ and some $w_{2}\in J$. Consider these $w_{1}$ and $w_{2}$. Now, it is easy to see that $\left\langle f,w_{1}\right\rangle \in \mathbb{Z}_{\left( q\right) }$. [*Proof:* We have $f\in\Lambda _{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i}\ \mid \ i\not \equiv 0\mod q\right] \subseteq\Lambda_{\mathbb{Z} _{\left( q\right) }}$ and $w_{1}\in\Lambda_{\mathbb{Z}_{\left( q\right) } }$. Hence, $\left\langle f,w_{1}\right\rangle \in\mathbb{Z}_{\left( q\right) }$, because the Hall inner product $\left\langle \cdot,\cdot\right\rangle $ sends $\Lambda_{\mathbb{Z}_{\left( q\right) }}\times\Lambda_{\mathbb{Z} _{\left( q\right) }}$ to $\mathbb{Z}_{\left( q\right) }$.] Furthermore, it is easy to see that $\left\langle f,w_{2}\right\rangle =0$. [*Proof:* We have $w_{2}\in J$; thus, we can write $w_{2}$ as a $\mathbb{Q} $-linear combination of the family $\left( p_{\lambda}\right) _{\lambda \in\operatorname{Par}\setminus\operatorname{QPar}}$ (since this family is a basis of the $\mathbb{Q}$-vector space $J$). In other words, we can write $w_{2}$ in the form \begin{equation} w_{2}=\sum_{\beta\in\operatorname{Par}\setminus\operatorname{QPar}}d_{\beta }p_{\beta} \label{darij1.pf.t1.w2=} \tag{10} \end{equation} for some coefficients $d_{\beta}\in\mathbb{Q}$. Consider these $d_{\beta}$. From \eqref{darij1.pf.t1.f=} and \eqref{darij1.pf.t1.w2=}, we obtain \begin{align*} \left\langle f,w_{2}\right\rangle & =\left\langle \sum_{\lambda \in\operatorname{QPar}}c_{\lambda}p_{\lambda},\sum_{\beta\in \operatorname{Par}\setminus\operatorname{QPar}}d_{\beta}p_{\beta }\right\rangle \\ & =\sum_{\lambda\in\operatorname{QPar}}\ \ \sum_{\beta\in\operatorname{Par} \setminus\operatorname{QPar}}c_{\lambda}d_{\beta}\underbrace{\left\langle p_{\lambda},p_{\beta}\right\rangle }_{\substack{=z_{\beta}\delta _{\lambda,\beta}\\\text{(by \eqref{darij1.pf.t1.dualbases2})}}}\\ & =\sum_{\lambda\in\operatorname{QPar}}\ \ \sum_{\beta\in\operatorname{Par} \setminus\operatorname{QPar}}c_{\lambda}d_{\beta}z_{\beta}\underbrace{\delta _{\lambda,\beta}}_{\substack{=0\\\text{(since }\lambda\neq\beta \\\text{(because }\lambda\in\operatorname{QPar}\\\text{whereas }\beta \in\operatorname{Par}\setminus\operatorname{QPar}\text{))}}}\\ & =\sum_{\lambda\in\operatorname{QPar}}\ \ \sum_{\beta\in\operatorname{Par} \setminus\operatorname{QPar}}c_{\lambda}d_{\beta}z_{\beta}0=0, \end{align*} qed.] From $z_{\mu}^{-1}p_{\mu}=w_{1}+w_{2}$, we obtain \begin{align*} \left\langle f,z_{\mu}^{-1}p_{\mu}\right\rangle =\left\langle f,w_{1} +w_{2}\right\rangle =\underbrace{\left\langle f,w_{1}\right\rangle } _{\in\mathbb{Z}_{\left( q\right) }}+\underbrace{\left\langle f,w_{2} \right\rangle }_{=0}\in\mathbb{Z}_{\left( q\right) }. \end{align*} On the other hand, from \eqref{darij1.pf.t1.f=}, we obtain \begin{align*} \left\langle f,z_{\mu}^{-1}p_{\mu}\right\rangle & =\left\langle \sum _{\lambda\in\operatorname{QPar}}c_{\lambda}p_{\lambda},z_{\mu}^{-1}p_{\mu }\right\rangle =\sum_{\lambda\in\operatorname{QPar}}c_{\lambda} \underbrace{\left\langle p_{\lambda},z_{\mu}^{-1}p_{\mu}\right\rangle }_{\substack{=\delta_{\lambda,\mu}\\\text{(by \eqref{darij1.pf.t1.dualbases})} }}=\sum_{\lambda\in\operatorname{QPar}}c_{\lambda}\delta_{\lambda,\mu}\\ & =c_{\mu}. \end{align*} Hence, \begin{align*} c_{\mu}=\left\langle f,z_{\mu}^{-1}p_{\mu}\right\rangle \in\mathbb{Z}_{\left( q\right) }. \end{align*} Forget that we fixed $\mu$. We thus have shown that $c_{\mu}\in\mathbb{Z} _{\left( q\right) }$ for each $\mu\in\operatorname{QPar}$. In other words, $c_{\lambda}\in\mathbb{Z}_{\left( q\right) }$ for each $\lambda \in\operatorname{QPar}$. Hence, \eqref{darij1.pf.t1.f=} becomes \begin{align*} f=\sum_{\lambda\in\operatorname{QPar}}\underbrace{c_{\lambda}}_{\in \mathbb{Z}_{\left( q\right) }}p_{\lambda}\in\sum_{\lambda\in \operatorname{QPar}}\mathbb{Z}_{\left( q\right) }p_{\lambda}=\mathbb{Z} _{\left( q\right) }\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] \end{align*} (by the definition of $\operatorname{QPar}$). Forget that we fixed $f$. We thus have shown that $f\in\mathbb{Z}_{\left( q\right) }\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] $ for each $f\in\Lambda_{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i}\ \mid\ i\not \equiv 0\mod q\right] $. In other words, \begin{align*} \Lambda_{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i} \ \mid\ i\not \equiv 0\mod q\right] \subseteq\Lambda _{\mathbb{Z}_{\left( q\right) }}\cap\mathbb{Q}\left[ p_{i}\ \mid \ i\not \equiv 0\mod q\right] . \end{align*} As explained, this completes the proof of Theorem 1. $\blacksquare$ [1]: https://arxiv.org/abs/1409.8356v7