Subgroups of direct product of groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T18:25:24Z http://mathoverflow.net/feeds/question/24122 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24122/subgroups-of-direct-product-of-groups Subgroups of direct product of groups Sebastian Burciu 2010-05-10T16:31:45Z 2010-05-10T17:13:49Z <p>I am interested in the following question on products of finite groups. Let $\Gamma$ be a subgroup of $U_1\times U_2$ such that the compositions with the canonical projections $\Gamma \subset U_1\times U_2 \rightarrow U_1$ and $\Gamma \subset U_1\times U_2 \rightarrow U_2$ are both surjective.</p> <p>Does it follow that there is a group $G$ such that $\Gamma$ is isomorphic to the fiber product $U_1 \times_G U_2$? This means that there are surjections $\pi_1:U_1\rightarrow G$ and $\pi_2:U_2\rightarrow G$ such that $\Gamma$ is the set of pairs $(u_1,u_2)$ with $\pi_1(u_1)=\pi_2(u_2)$.</p> <p><a href="http://en.wikipedia.org/wiki/Goursat_lemma" rel="nofollow">Goursat's</a> Lemma mentioned <a href="http://mathoverflow.net/questions/23692/what-are-the-normal-subgroups-of-a-direct-product" rel="nofollow">in this question</a> proves the statement in the case $\Gamma$ is a normal subgroup of $U_1\times U_2$.</p> <p>If the statement is not true without the normality assumption, then what would be a general characterization of these subgroups $\Gamma$?</p> http://mathoverflow.net/questions/24122/subgroups-of-direct-product-of-groups/24124#24124 Answer by Jack Schmidt for Subgroups of direct product of groups Jack Schmidt 2010-05-10T17:13:49Z 2010-05-10T17:13:49Z <p>Goursat's Lemma provides a complete characterization of subgroups of a direct product of two groups as fiber products. In the language I am used to: subgroups correspond to the graphs of isomorphisms between isomorphic sections of the two factors. Some subgroup embedding properties can be read from the embedding of the sections in the factors (for instance being normal in the factors, or being central in the factors), but there are no embedding properties required to use the lemma.</p> <p>Goursat's lemma appears in Roland Schmidt's Lattice of Subgroups book in chapter 1.6 <a href="http://books.google.com/books?id=EuVadOnix5MC&amp;pg=PA34" rel="nofollow">(google books)</a>, and as an exercise in several textbooks.</p>