Subgroups of direct products of free groups
1
1
I am reading the following paper of Miller: http://researchers.ms.unimelb.edu.au/ He says that if $G= F_{1} times F_{2}$ is a direct product of two free groups and $H$ is a subgroup of $G$ , then it can be assumed that the projection maps $$text{p}_{i} colon H rightarrow F_{i}$$ are surjective. I do not understand why is this trivial. If ${f_{1},cdots,f_{n}}$ is a basis of the free group $F_{1}$ , why should we have elements of the form $(f_{i},h_{i})$ in $H$ for all $iin {1,cdots,n}$ ? He simply says that this follows because subgroups of free groups are free.
group-theory free-groups direct-product
share | cite | improve this question
asked 2 days ago...