When does a subgroup H of a group G have a complement in G? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T20:12:10Z http://mathoverflow.net/feeds/question/5528 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g When does a subgroup H of a group G have a complement in G? Will Orrick 2009-11-14T16:42:09Z 2012-02-08T17:52:30Z <p>Let H be a subgroup of G. (We can assume G finite if it helps.) A complement of H in G is a subgroup K of G such that HK = G and |H&cap;K|=1. Equivalently, a complement is a transversal of H (a set containing one representative from each coset of H) that happens to be a group.</p> <p>Contrary to my initial naive expectation, it is neither necessary nor sufficient that one of H and K be normal. I ran across both of the following counterexamples in Dummit and Foote:</p> <ul> <li><p>It is not necessary that H or K be normal. An example is S<sub>4</sub> which can be written as the product of H=&lang;(1234), (12)(34)&rang;&cong;D<sub>8</sub> and K=&lang;(123)&rang;&cong;&#8484;<sub>3</sub>, neither of which is normal in S<sub>4</sub>.</p></li> <li><p>It is not sufficient that one of H or K be normal. An example is Q<sub>8</sub> which has a normal subgroup isomorphic to Z<sub>4</sub> (generated by i, say), but which cannot be written as the product of that subgroup and a subgroup of order 2.</p></li> </ul> <p>Are there any general statements about when a subgroup has a complement? The <A href="http://en.wikipedia.org/wiki/Complement_%28group_theory%29" rel="nofollow">Wikipedia page</A> doesn't have much to say. In practice, there are many situations where one wants to work with a transversal of a subgroup, and it's nice when one can find a transversal that is also a group. Failing that, one can ask for the smallest subgroup of G containing a transversal of H.</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/5534#5534 Answer by Alex Collins for When does a subgroup H of a group G have a complement in G? Alex Collins 2009-11-14T17:05:59Z 2009-11-14T17:05:59Z <p>A partial answer to this question is known as the Schur-Zassenhaus lemma (or theorem). If N is a normal subgroup of a finite group G whose order is prime to its index (such a subgroup is called a (normal) Hall subgroup of G) then N has a complement in G.</p> <p>Check the Wikipedia page <a href="http://en.wikipedia.org/wiki/Schur-Zassenhaus_theorem" rel="nofollow">http://en.wikipedia.org/wiki/Schur-Zassenhaus_theorem</a>. I also think that Rotman's coverage of this in his `Introduction to the Theory of Groups' is particularly good; the chapter on group cohomology IIRC.</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/5535#5535 Answer by Greg Kuperberg for When does a subgroup H of a group G have a complement in G? Greg Kuperberg 2009-11-14T17:15:13Z 2009-11-14T17:15:13Z <p>If $H$ is normal, then there is a well-known textbook answer. $H$ has a complement if and only if $G$ is a semidirect product of $H$ and its complement. The complement is isomorphic to the quotient $G/H$, and if you don't know whether there is one, you can do an extension calculation to see if it exists. For instance, if the extension is central, then the question is whether the 2-cocycle of the extension is null-homologous in $H^2(G/H,H)$.</p> <p>When $H$ is not normal, I once noticed that the isomorphism type of a complement is not unique. $S_3 \subset S_4$ is complemented both by the cyclic group $C_4$ and by the Klein group $C_2 \times C_2$, because they both act freely transitively on four points.</p> <p>It seems reasonable to generally think of a complement of a non-normal subgroup as a freely transitive subgroup of a group action. This yields a converse answer for "when" it happens. In particular, every finite group $K$ arises exactly once as a complement of $S_{n-1} \subset S_n$, namely when $n = |K|$.</p> <p>You can sometimes use topology to know that there isn't a freely transitive action. For example, $\mathrm{SO}(n-1) \subset \mathrm{SO}(n)$ does not have one when $n=3$ or $n \ge 5$, because otherwise there is no Lie group with the topology of its quotient. I don't know any very good obstructions in the finite group case, but I bet that there are some.</p> <p>Thurston (and I'm sure others) has remarked that $\mathrm{SO(3)} \subset \mathrm{Isom}(\mathbb{H}^3)$ has a complement. It is the homothety group the plane, realized as the stabilizer of concentric horospheres.</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/5582#5582 Answer by Theo Johnson-Freyd for When does a subgroup H of a group G have a complement in G? Theo Johnson-Freyd 2009-11-14T21:53:44Z 2009-11-14T21:53:44Z <p>This doesn't quite answer your question, but rather answers the question in the opposite direction. Thus, while I can't say precisely what subgroups have complements, I can give conditions that the complements must satisfy.</p> <p>To present a group as $G = KH$ with $H \cap K = 1$ is equivalent to the following:</p> <ul> <li>Maps $\lambda_K : H \times K \to K$ and $\rho_H: H \times K \to H$.</li> <li>such that $\lambda_K$ is a left group action of $H$ on the <em>set</em> $K$, and $\rho_H$ is a right group action of $K$ on the <em>set</em> $H$. Moreover, each action fixes the identity element of the other group.</li> <li>and these maps are required to satisfy two coherency conditions: $$\lambda_K ( h, k_1 k_2 ) = \lambda_K( h, k_1 ) \cdot \lambda_K( \rho_H( h, k_1), k_2 )$$ $$\rho_H ( h_1 h_2, k ) = \rho_H (h_1, \lambda_K( h_2, k) ) \cdot \rho_H( h_2, k)$$ where $\cdot$ is the group operation in $K$ in the first line and in $H$ in the second line.</li> </ul> <p>To prove that this data is equivalent, in one direction observe that the factorization $G = KH$ defines for each $g$ a pair, so let $\lambda(h,k), \rho(h,k)$ the unique elements in $K,H$ such that $\lambda(h,k)\cdot \rho(h,k) = hk$ as elements of $G$, and check that these maps satisfy the above axioms. In the other direction, the group structure on $K\times H$ is $$(k_1,h_1) \cdot (k_2, h_2) = (k_1 \cdot \lambda_K(h_1,k_2), \rho_H(h_1,k_2) \cdot k_2)$$</p> <p>(Hm, I seem to have switched the order of $K,H$ from your question. Oh, well.)</p> <p>In any case, if one of the maps $\lambda, \rho$ is trivial, then the coherency conditions assert that the other action is by group automoprhisms, and $G$ is the semidirect product. More generally, the construction is due to Zappa-Szep, and is sometimes called the <strong>knit product</strong> or <strong>double cross product</strong>, usually written $G = K \bowtie H$. Groups of this form are called <strong>factorized</strong>.</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/14249#14249 Answer by Steve D for When does a subgroup H of a group G have a complement in G? Steve D 2010-02-05T08:30:45Z 2010-02-05T08:30:45Z <p>This <a href="http://arxiv.org/abs/math.GR/0703471" rel="nofollow">arXiv paper</a> on bicrossed products (knit products) gives an elementary introduction, classifies some examples, and shows $A_6$ cannot be written as such a product:</p> <p>EDIT: Sorry, my comments on the content of that paper are based on an earlier version (v2).</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/38230#38230 Answer by William DeMeo for When does a subgroup H of a group G have a complement in G? William DeMeo 2010-09-09T21:14:06Z 2010-09-09T21:21:06Z <p>(This is a follow up question rather than an answer.) </p> <p>Wouldn't it make more sense if the complement of a subgroup $H \leq G$ were defined to be a subgroup $K\leq G$ such that $H \cap K = 1$ and $\langle H, K \rangle = G$? That is, shouldn't we allow for the possibility that the set $HK$, consisting of all products $h k$ ($h\in H, k\in K$), is not a group? (Yet we may still have $HK \subsetneq \langle H, K \rangle = G$ in this situation.)</p> <p>..or does everyone take $HK$ to mean $\langle H, K \rangle$ in this context?</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/38269#38269 Answer by Noah Snyder for When does a subgroup H of a group G have a complement in G? Noah Snyder 2010-09-10T05:23:53Z 2010-09-10T05:23:53Z <p>There's an excellent online resource for group theory definitions and theorems called <a href="http://groupprops.subwiki.org/wiki/Main_Page" rel="nofollow">"Groupprops, The Group Properties Wiki."</a> It's still in pre-alpha, but it has a lot of stuff and hopefully will continue to improve.</p> <p>In particular, there are a bunch of theorems for figuring out when a p-group has a normal complement which you can find linked from <a href="http://groupprops.subwiki.org/wiki/Category%3ANormal_p-complement_theorems" rel="nofollow">this page</a>.</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/87853#87853 Answer by Marty Isaacs for When does a subgroup H of a group G have a complement in G? Marty Isaacs 2012-02-07T23:20:54Z 2012-02-07T23:20:54Z <p>Given $H \subseteq G$, there are a number of conditions sufficient to guarantee that there exists a $normal$ complement for $G$. One of the more interesting of these is due to Frobenius: Assume that $H \cap H^g = 1$ for all elements $g \in G - H$. Then $H$ has a normal complement in $G$. As yet, there is no proof known that does not use characters.</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/87858#87858 Answer by Derek Holt for When does a subgroup H of a group G have a complement in G? Derek Holt 2012-02-08T00:00:19Z 2012-02-08T00:00:19Z <p>Let me mention one other condition. Suppose the finite group $G$ has an abelian Sylow $p$-subgroup $P$ for some prime $p$. Then Burnside's Transfer Theorem says that $P$ has a normal complement in $G$ if and only if $P$ is in the centre of its normalizer in $G$; i.e. $P \le Z(N_G(P))$.</p> <p>This often provides the quickest way of showing that groups of a specific order cannot be simple. For example, if $|G|=56$, then $G$ has 1 or 8 Sylow $7$-subgroups. In the first case, the unique Sylow $7$-subgroup is normal in $G$, whereas in the second case, a Sylow $7$-subgroup $P$ is abelian and self-normalizing in $G$, and hence has a normal complement of order 8. In either case $G$ is not simple. There are alternative ways to prove this without using BTT, but it gets more and more indispensable as the group order increases.</p> <p>Of course $P$ might have a non-normal complement in $G$ even when the condition fails. For example, in $A_5$ a Sylow 5-subgroup has the complement $A_4$.</p> <p>In a finite solvable group $G$, by the theory of Hall subgroups, any subgroup $H$ (not necessarily normal) such that $|H|$ is coprime to $|G:H|$ has a unique conjugacy class of complements in $G$.</p> http://mathoverflow.net/questions/5528/when-does-a-subgroup-h-of-a-group-g-have-a-complement-in-g/87912#87912 Answer by Gabe Conant for When does a subgroup H of a group G have a complement in G? Gabe Conant 2012-02-08T17:52:30Z 2012-02-08T17:52:30Z <p>A lot can be said in the finitely generated abelian case, just by using the structure theorem. </p> <p>Call a group <strong>transversal</strong> if every subgroup has a complement; <strong>non-transversal</strong> of it has proper, nontrivial subgroups, none of which has a complement; and <strong>semi-transversal</strong> if it is not transversal but some proper, nontrivial subgroup has a complement.</p> <p>Take a finite abelian group $G=\mathbb{Z}/p_1^{e_1}\mathbb{Z}\times\ldots\times\mathbb{Z}/p_k^{e_k}\mathbb{Z}$ with $r\geq 0$, distinct primes $p_1,\ldots,p_k$ and $e_i\geq 1$. </p> <p>Then $G$ is transversal when $e_i=1$ for all $i$, semi-transversal when $k>1$ and $e_i>1$ for some $i$, and non-transversal when $k=1$ and $e_1>1$.</p> <p>For an infinite finitely generated abelian group $G$, $G$ is non-transversal if $G=\mathbb{Z}$, and semi-transversal otherwise.</p> <p>Given a finitely generated abelian group $G$ and $S\subseteq G$, call $S$ <strong>independent</strong> if $0\not\in S$ and for all $x_1,\ldots,x_k\in S$, $r_1,\ldots, r_k\in\mathbb{Z}$, we have that $\sum_{i=1}^k r_ix_i=0$ implies $r_ix_i=0$ for all $i$. Call $S$ a <strong>basis</strong> of $G$ if it is independent and $G=\left&lt; S\right>$.</p> <p>Then if $H\leq G$, $H$ has a complement if and only if $H$ has a basis that can be expanded to a basis of $G$. If $S$ is a basis for $H$ and $S\subseteq T$ for some basis $T$ of $G$, then the complement of $H$ is $\left&lt; T\backslash S\right>$.</p> <p>So if $G$ is a vector space over $\mathbb{Z}/p\mathbb{Z}$ then any subgroup has a complement, since any subspace has a basis that can be completed to the whole space. My definition of independence is the same as linear independence.</p> <p>If $G$ is a free module over $\mathbb{Z}/p^n\mathbb{Z}$ then my definition of independence is weaker than linear independence. I would like to say that $H\leq G$ has a complement if and only if it has a module basis, but I can't prove the reverse direction of this.</p> <p>I know less about the divisible abelian case, except that if $G$ is a divisible abelian group then saying that $H\leq G$ has a complement is the same as saying that $H$ is divisible. In particular $\mathbb{Q}$ and the Prufer $p$-group $\mathbb{Z}(p^\infty)$ are both non-transversal.</p>