Could $F_\infty \rtimes Z$ be isomorphic to $F_\infty$? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T16:35:08Z http://mathoverflow.net/feeds/question/106472 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106472/could-f-infty-rtimes-z-be-isomorphic-to-f-infty Could $F_\infty \rtimes Z$ be isomorphic to $F_\infty$? Kevin Schreve 2012-09-06T01:39:37Z 2012-09-06T14:50:36Z <p>Let $F_\infty$ be the free group on infinitely many generators, and $\phi: \mathbb{Z} \rightarrow$ Aut$(F_\infty)$ be any group homomorphism. </p> <p>My question is: If we form the semi-direct product $F_\infty \rtimes Z$ could this group be free- in particular could it be isomorphic to $F_\infty$? </p> <p>Thanks</p> <p>-Kevin</p> http://mathoverflow.net/questions/106472/could-f-infty-rtimes-z-be-isomorphic-to-f-infty/106473#106473 Answer by Todd Trimble for Could $F_\infty \rtimes Z$ be isomorphic to $F_\infty$? Todd Trimble 2012-09-06T03:14:11Z 2012-09-06T04:25:07Z <p>It's certainly not free for every group homomorphism $\phi: \mathbb{Z} \to Aut(F_\infty)$; for example, if $\phi$ is trivial, then the semidirect product would be the cartesian product $F_\infty \times \mathbb{Z}$. This cannot be a free group, because every subgroup of a free group is free, but $F_\infty \times \mathbb{Z}$ contains a subgroup of the form $\mathbb{Z} \times \mathbb{Z}$ which is not free. </p> <p>On the other hand, there are plenty of examples of $\phi$ where it is free. Take for example any surjective group homomorphism $F_\infty \to \mathbb{Z}$, and let $K$ be the kernel. Then $K$, being a subgroup of a free group, is free. Moreover, the exact sequence </p> <p>$$1 \to K \to F_\infty \to \mathbb{Z} \to 1$$ </p> <p>splits, and this implies $F_\infty$ is a semidirect product of $\mathbb{Z}$ with $K$ in some way (see for example <a href="http://en.wikipedia.org/wiki/Splitting_lemma#Non-abelian_groups" rel="nofollow">Wikipedia</a>). Notice also $K$ cannot be finitely generated (if it were, then so would be the semidirect product), so $K$ must be a countably generated free group, and we are done. </p> http://mathoverflow.net/questions/106472/could-f-infty-rtimes-z-be-isomorphic-to-f-infty/106517#106517 Answer by Kevin Schreve for Could $F_\infty \rtimes Z$ be isomorphic to $F_\infty$? Kevin Schreve 2012-09-06T14:50:36Z 2012-09-06T14:50:36Z <p>This isn't an answer- but this was my first question posted so I can't comment yet? Anyway, thanks very much for your answer.</p>