I have started reading about subgroup growth and, to my surprise, I haven't found a reference to whether direct products preserve subgroup growth.


Recall that, given a finitely generated group $G$, the function $s\_n(G)$ is given by
$$s\_n(G)=\#\{\text{subgroups of } G\text{ of index }\leq n\}.$$
We say that $G$ has *subgroup growth type* $f$ for some function $f$ if there are $a$, $b>0$ such that
\begin{align}
s\_n(G)&\leq f(n)^a \quad & &\text{for } n \text{ large enough},\\
f(n)&\leq s\_n(G)^b \quad & &\text{for infinitely many } n.
\end{align}


What I have found is the following: Let $G$ be a finitely generated group, let $N$ be a normal subgroup and let $Q=G/N$. Then Proposition 1.3.2 in *Subgroup growth* by A. Lubotzky and D. Segal states
\begin{align}
s\_n(G)&\leq s\_n(Q)s\_n(N)n^{\text{rk}(Q)},\\
s\_n(G)&\leq s\_n(Q)s\_n(N)c^n,\qquad \text{where}\ c=3^{d(Q)/3}.
\end{align}
Of course, these inequalities can be applied to a direct product $G\times G$ by taking $N=G\times 1$.


This seems to suggest that there should exist a group $G$ of intermediate growth and infinite rank such that $G\times G$ has strictly faster subgroup growth than $G$; more precisely, given any $a>0$,
$$s\_n(G\times G)>s\_n(G)^a \quad \text{for infinitely many } n.$$
Does such an example exist?



Subgroup growth of direct product
Subgroup growth of direct product is quite difficult in general. However, it is easier for pro-$p$ groups. You might like to see a recent paper: Y. Barnea and J.-C. Schlage-Puchta, [Branch groups, orbit growth, and subgroup growth types for pro-p group](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E142F008A7F6E25DD7A944CBA56F0692/S2050508620000086a.pdf/branch_groups_orbit_growth_and_subgroup_growth_types_for_pro_p_groups.pdf), Forum Math. Pi 8 (2020). We compute there the subgroup growth of the Grigorchuk group (and more complicated stuff). The big obstacle was exactly dealing with direct sums and we were able to solve it because we did think about it as a pro-$p$ group rather than in general.


