1
$\begingroup$

Suppose a finite group $G$ is the product of two of its proper subgroups $G=AB$. Assume also that $A\lhd G$ and that $A,B$ have relatively prime orders. Isn't it true that any subgroup $H$ of $G$ can be written as $H=(H\cap A)(H\cap B)$?

  • 0
    Sure, but that will always be the case. Alternatively, ask you local, friendly, neighbourhood professor (or on here!) if you don't know or aren't sure.2012-07-24

2 Answers 2

5

While Qiaochu's answer settles the original question, it might be worth noting that every subgroup $H$ of $AB$ under these hypotheses can be written in the form $(H \cap A)(H \cap B^{x})$ for some $x \in A.$ Let $\pi$ be the set of prime divisors of $A$. Then $H/(H \cap A)$ is isomorphic to a subgroup of $B$, so is a $\pi^{\prime}$-group. By the Schur-Zassenhaus theorem, we have $H = (H \cap A)C$ for some subgroup $C$ of $H$ with $(H \cap A) \cap C = 1.$ By Schur-Zassenhaus again, we have $C^{g} \leq B$ for some $g \in G.$ Write $g = ab$ for some $a \in A, b \in B.$ Then $C^{a} \leq B.$ Hence $H^{a} = (H \cap A)^{a}C^{a} \leq (H^{a} \cap A)(H^{a} \cap B) \leq H^{a}.$ Setting $x = a^{-1}$, conjugating by $x$ gives $H = (H \cap A)(H \cap B^{x}).$

  • 0
    Well, the Schur Zassenhaus Theorem require that $A$ or $G/A$ be solvable when $A$ is a normal subgroup whose order and index in $G$ are coprime. But since $|A|$ an $|G/A|$ are coprime, at least one of them has odd order, so is solvable ( though this does ultimately rely on the Feit-Thompson odd order theorem)2012-07-24
5

No. For example, $H$ may be a nontrivial conjugate of $B$. If $B$ is not normal such a conjugate always exists and by hypothesis $H \cap A$ will be trivial and $H \cap B$ will be strictly smaller than $H$.

For an explicit example, take $G = S_3, A = A_3$, let $B$ be the subgroup generated by a transposition, and let $H$ be the subgroup generated by another transposition. Then $(H \cap A)$ and $(H \cap B)$ are both trivial.

  • 0
    @Don: I misundrstood. I thought you were asking for groups $G = AB$ such that $A \lhd G$ and ${\rm gcd}(|A|,|B|) = 1$, of which $S_{3}$ and $A_{4}$ are examples.2012-07-23