It is well known that the Stiefel–Whitney classes $w\_i$ of a smooth manifold are generated, over the Steenrod algebra, by those of the form $w\_{2^{i}}$. I wonder if it the same statement is known/true in the case of odd primes. More precisely


**Question:** Given a smooth manifold $M$, is it true that the Pontrjagin classes $p\_i\in H^\*(M,\mathbb{Z}/q\mathbb{Z})$ are generated, over the algebra of Steenrod powers, by those of the form $p\_{q^i}$?


In the case of the Siefel-Whitney classes, that fact can be obtained using the formula
$$
Sq^i(w\_j)=\sum\_{t=0}^i {j+t-i-1 \choose t} w\_{i-t}w\_{j+t}.
$$
As far as I understand, such a nice formula does not exists in the case of odd primes. Nevertheless, my question is much weaker, and I have the feeling it should be known, at least in the case $q=3$ (which I am mainly interested in).


**EDIT:** As Oscar points out, the answer to this question is NO for $p\geq 5$. As far as I see it, though, it is not trivially false for $p=3$.



Steenrod powers of Pontryagin classes
Let's first consider Chern classes mod $p$ for an odd prime $p$, or if you like, $H^\*(BU; \mathbb{Z}/p)$. Theorem 4 of the paper [mod p Wu formulas for the Steenrod algebra and the Dyer-Lashof algebra](http://www.ams.org/journals/proc/1977-063-02/S0002-9939-1977-0454974-0/S0002-9939-1977-0454974-0.pdf) by Brian Shay gives a formula for the Steenrod powers of Chern classes:


$$ P^{j-k}(c\_j) = \sum (-1)^{\sum r\_\gamma} \prod \frac{(-1)^{l\_\alpha}}{l\_\alpha} \left\{\frac{(j\_\alpha - k\_\alpha)p + k\_\alpha}{j\_\alpha} {j\_\alpha \choose k\_\alpha} \frac{1}{t\_\alpha} {t\_\alpha \choose t\_{\alpha 1} \cdots t\_{\alpha ((j\_\alpha - k\_\alpha)p + k\_\alpha)}} \right\}^{l\_\alpha} c\_1^{r\_1} c\_2^{r\_2} \cdots c\_{(j - k)p + k}^{r\_{(j - k)p + k}} $$
for "admissible summands": $\sum\_\alpha k\_\alpha l\_\alpha = k$,
$\sum\_\alpha j\_\alpha l\_\alpha = j$, $\sum\_\gamma \gamma t\_{\alpha \gamma}
 = (j\_\alpha - k\_\alpha)p + k\_\alpha$, $\sum\_\alpha l\_\alpha t\_{\alpha \gamma} = r\_\gamma$, $\sum\_\gamma t\_{\alpha\gamma} = t\_\alpha$, $\sum\_\gamma r\_\gamma < p$, $j\_\alpha > k\_\alpha$ with at most one exception, for which $t\_\alpha = l\_\alpha = 1$, $k\_\alpha > 0$ unless $k = 0$.


This is indeed not the nicest formula. However, we're only really interested in the coefficient of $c\_{(j - k)p + k}$, and the only way to achieve that $r\_\gamma = 1$ for $\gamma = (j - k)p + k$ and $r\_\gamma = 0$ for all other values of $\gamma$ is to take $l\_\alpha = 1$ for a single index $\alpha$, for which $k\_\alpha = k$, $j\_\alpha = j$, $t\_{\alpha\gamma} = 1$ for $\gamma = (j - k)p + k$ and $t\_{\alpha\gamma} = 0$ for other $\gamma$. The resulting coefficient is therefore
$$ \frac{(j-k)p + k}{k} {j \choose k} . $$
Rewriting this cosmetically by setting $j = n - (p-1)m$ and $k = n - pm$, the coefficient of $c\_n$ in the expression for $P^m(c\_{n-(p-1)m})$ is
$$ \frac{n}{n - (p-1)m} {n - (p-1)m \choose m} = \frac{n}{m} { n - (p-1)m - 1 \choose m-1} . $$
Specialising to $m = 1$, the $c\_n$-coefficient in $P^1(c\_{n - p + 1})$ is simply $n$. (Sanity check: this is not too hard to check by hand, see Equation 12.3 in [Groupes de Lie et Puissances Reduites de Steenrod](http://www.maths.ed.ac.uk/~aar/papers/borelserre.pdf) by Borel and Serre.) Hence, for any $n > p$ that is not divisible by $p$, we can express $c\_n \textrm{ mod } p$ in terms of $P^1(c\_{n-p+1})$ and products of Chern classes in lower degrees.


More generally, for any $s \geq p$ and $r \geq 0$, the coefficient of $c\_{p^r s}$ in the expression for $P^{p^r}(c\_{p^r(s - p + 1)})$ is
$$s \, {p^r(s-p+1) - 1 \choose p^r - 1} . $$
The binomial factor is never divisible by $p$, so this coefficient is non-zero mod $p$ if and only if $s$ is coprime to $p$. Thus $c\_{p^r s}$ can be expressed in terms of products and Steenrod powers of Chern classes of lower degree whenever $s \geq p$ is coprime to $p$.


The conclusion is that $H^\*(BU, \mathbb{Z}/p)$ is generated over the Steenrod algebra by Chern classes in degree $p^r s$ for $r \geq 0$ and $s = 1, 2, \ldots p-1$, and we can also see that the classes in those degrees cannot be removed from the generating set.


Combining this with the definition of Pontrjagin classes, we see that the Pontragin classes mod $p$ are generated over the Steenrod algebra by Pontrjagin classes in degree $p^r s$ for $r \geq 0$ and $s = 1, \ldots, \frac{p-1}{2}$.


