Equivalence between two comeager sets related to free groups

Question

Let $G$ be a non discrete Polish group. For every $n\ge 2$ equip $G^n$ with the product topology.

Saying that $F_n=\{(g_1,\dots,g_n)\in G^n: \{g_1,...,g_n\}$ freely generates a free subgroup of rank $n$} is comeager in $G^n$ is equivalent to say that $F'_n=\{(g_1,\dots,g_n)\in G^n: \{g_1,...,g_n\}$ freely generates a free subgroup of rank at most $n$} is comeager in $G^n$ ?

Since $F_n\subseteq F_n'$ we have that if $F_n$ is comeager that $F'_n$ is comeager too.

My problem is the other implication. My intuitive idea is the following: suppose $F'_n$ is comeager and take $(g_1,...,g_n)\in F'_n$ such that $\{g_1,...,g_n\}$ freely generates a free subgroup of rank$<n$, say $n-1$ for example. So there are two elements $g_i$ in $(g_1,...,g_n)$ which are equal. Suppose $g_1=g_2$. My hope would be that there is a tuple $(h_1,g_2,...,g_n)\in G^n$ such that $\{h_1,g_2,...,g_n\}$ freely generates a free subgroup of rank $n$. So this tuple would be in $F_n$ and maybe it might be helpful to deduce that also $F_n$ is comeager.

Observe that if $\{g_1,g_2,...,g_n\}$ freely generates a free subgroup of rank $n$ then $\{g_2,...,g_n\}$ freely generates a free subgroup of rank $n-1$.

Warning: before reading the answer, it might be helpful to look at this: If I say $\{g_1,\dots,g_n\}$ freely generates a subgroup of $G$, does that mean the elements $g_i$ are all distinct?

Answer 1

Let $\Delta\subset G^n$ be the set of points whose coordinates are not all distinct. As you observe, $F'_n\setminus F_n\subseteq\Delta$. But $\Delta$ is meager: for each pair of distinct $i,j\in\{1,\dots,n\}$, the set of points $(g_1,\dots,g_n)$ with $g_i=g_j$ is clearly closed and has empty interior since $G$ is not discrete, and $\Delta$ is the union of these sets over the finitely many such pairs $(i,j)$. So if $F'_n$ is comeager, so is $F_n=F'_n\setminus\Delta$.