Given a "free" finite group $G$, is the set of all its quotient groups closed under finite subdirect products? Let $G$ be a finite group.
Let $n$ be an integer such that $G$ has the following property:
"$n$-Free property": $G$ can be generated by $n$ elements, and for any two generating $n$-tuples $(g_1,\ldots,g_n)$, $(g_1',\ldots,g_n')$ there is an automorphism $\sigma$ of $G$ such that $\sigma(g_i) = g_i'$.
Under this assumption, if $A,B$ are two quotients of $G$, then is every subgroup of $A\times B$ which projects onto $A$ and $B$ which is also generated by $n$ elements also a quotient of $G$?
Essentially, the idea behind my question is: Is the "Free property" sufficient to say that $G$ is a free pro-$C$ group of rank $n$ (in the sense of Ribes-Zalesski's characterization of free profinite groups in their book "Profinite Groups"), where here $C$ is the class of all finite subdirect products of quotients of $G$.
 A: Okay, so I believe the answer is yes - here's a sketch:
Let $H$ be a subdirect product of $A$ and $B$, then by Goursat's lemma, there is a common quotient $C$ of $A,B$ such that $H$ can be written as the fiber product $H = A\times_C B$.
By assumption, $H$ is generated by $n$ elements, say $(h_1,\ldots,h_n)$, where $h_i = (a_i,b_i)$.
By assumption, there are surjections $f_A : G\rightarrow A$, and $f_B : G\rightarrow B$. Since $(a_1,\ldots,a_n)$ generate $A$, and $(b_1,\ldots,b_n)$ generate $B$, by Gaschutz's lemma, we may lift $(a_i),(b_i)$ (through $f_A,f_B$) to generating tuples
$$(\tilde{a}_1,\ldots,\tilde{a}_n),\qquad\text{and}\qquad(\tilde{b}_1,\ldots,\tilde{b}_n)$$
of $G$. By the "free property", these two generating tuples are mapped to each other by some automorphism $\sigma\in\text{Aut}(G)$. Suppose $\sigma(\tilde{a}_i) = \tilde{b}_i$.
But then, consider the surjections $f_A : G\rightarrow A$ and $f_B\circ\sigma : G\rightarrow B$. Their product defines a map
$$(f_A\times (f_B\circ\sigma)) : G\rightarrow H = A\times_C B$$
By construction, the image of $(\tilde{a}_1,\ldots,\tilde{a}_n)$ is precisely $(h_1,\ldots,h_n)$, which generate $H$, which proves that $H$ is a quotient of $G$.
A: As stated, no -- Take $A = B = G$ to be the trivial quotient of $G$ by $\{e\}$. Then $A \times B = G \times G$ is not a quotient of $G$ for most reasonable groups $G$.
