When does a homomorphism factor through a free group? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T15:51:10Z http://mathoverflow.net/feeds/question/103468 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103468/when-does-a-homomorphism-factor-through-a-free-group When does a homomorphism factor through a free group? Mark Grant 2012-07-29T19:11:09Z 2012-08-01T09:42:37Z <p>Let $f\colon\thinspace G\to H$ be a surjective homomorphism of finitely generated groups. Are there any methods to decide whether $f$ factors through a free group? That is, does there exist a free group $F$ and homomorphisms $g\colon\thinspace G\to F$ and $h\colon\thinspace F\to H$ such that $f=h\circ g$?</p> <p>I know of one necessary condition, given by cohomology. If $f$ factors through a free group then $f^*\colon\thinspace H^i(H;M)\to H^i(G;M)$ is zero for all $i>1$ and all $H$-modules $M$ (since free groups have cohomological dimension one).</p> <p>This question was inspired by Tom Goodwillie's <a href="http://mathoverflow.net/questions/89178/cohomological-dimension-of-a-homomorphism/89225#89225" rel="nofollow">answer</a> to my earlier <a href="http://mathoverflow.net/questions/89178/cohomological-dimension-of-a-homomorphism" rel="nofollow">question on cohomological dimension of group homomorphisms</a>.</p> http://mathoverflow.net/questions/103468/when-does-a-homomorphism-factor-through-a-free-group/103472#103472 Answer by Roberto Frigerio for When does a homomorphism factor through a free group? Roberto Frigerio 2012-07-29T19:56:41Z 2012-07-29T19:56:41Z <p>Even in special cases your question seems to be very hard. Let me mention just a very special case, i.e. the case when $H=G/[G,G]$ is the abelianization of $G$ and $f\colon G\to H$ is the natural projection. In this case, your problem reduces to the question whether $corank(G)=b_1(G)$, where $corank(G)$ is, by definition, the maximal rank of a free group which is a quotient of $G$, and $b_1(G)$ is the first Betti number of $G$, i.e. the rank of $H$.</p> <p>It is not difficult to show that, if $H$ has torsion, then $f$ cannot factor through a free group. However, if $H$ is free, then the situation is quite complicated. For example, if $G$ is the fundamental group of a link complement, then $corank(G)=b_1(G)$ if and only if the link is a homology boundary link. </p> <p>In principle, results by Makanin about equations in free groups show that, if a finite presentation of $G$ is given, then there exists an algorithm deciding whether $corank(G)=b_1(G)$ or not. However, this algorithms cannot be exploited in practice even when dealing with very short presentations. On the other hand, computable (noncomplete) obstructions to the equality $corank(G)=b_1(G)$ may be obtained via the analysis of Alexander module invariants of $G$. Several results in this spirit may be found in the book "Algebraic invariants of links" by J.A. Hillman.</p> http://mathoverflow.net/questions/103468/when-does-a-homomorphism-factor-through-a-free-group/103474#103474 Answer by Ralph for When does a homomorphism factor through a free group? Ralph 2012-07-29T20:28:30Z 2012-07-29T20:57:38Z <p>$f: G \to H$ factors through a free group iff there is a subgroup $N \le \operatorname{ker}(f)$ and a free group $F$ such that $G = N \rtimes F\;\;$ ($N$ normal ).</p> <p>Proof: $(\Rightarrow)$ Let $G \xrightarrow{g} E \xrightarrow{} H$ be a factorization of $f$ with $E$ free and let $N$ be the kernel of $g$. Clearly $N \le \operatorname{ker}(f)$ and as a subgroup of a free group, $F := G/N$ is itself free. Thus we have an extensions $1 \to N \to G \to F \to 1$ that splits since $F$ is free. </p> <p>$(\Leftarrow)$ Suppose $N\le \operatorname{ker}(f)$ and $G = N \rtimes F$ with $F$ free. Hence $N$ is normal in $G$ and because $N \le \operatorname{ker}(f)$, $f$ has a factorization $G \to G/N=F \to H$ through a free group. </p> <p><strong>Remark:</strong> That $f$ is surjective wasn't used. But if we know that $f$ is surjective, we can conclude that the rank of $F$ is greater or equal than the minimal number of generators of $H$. </p>