Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This question arose in the context of this problem:

Let $G$ and $G'$ be groups and $V$ a subgroup of $G\times G'$. Do there exist subgroups $H \leq G$ and $H'\leq G'$ such that $V \cong H\times H'$?

In the case that the answer is "no": Are there any reasonable constraints to $G$ and $G'$ such that the answer is "yes"? For finite abelian groups, the answer appears to be yes.

Clarification

My question is about the subgroup $V$ being isomorphic to a direct product of subgroups. This condition is strictly weaker than being equal to a direct product of subgroups: For the "equal" version, the classical counterexample is the diagonal subgroup $V = \langle (1,1)\rangle \leq G\times G$ where $G$ may be any group but the trivial one. However, this doesn't provide a counterexample to my question, since $V\cong G\times\{1\}$.

share|improve this question
2  
There's a subgroup of index 2 in $S_3 \times S_3$ that is not of that form. If the groups are finite of coprime order then the answer is yes. –  Derek Holt Oct 16 '13 at 21:41
    
Consider the subgroup $\langle (1,1) \rangle \subseteq (\mathbb{Z}/2\mathbb{Z})^2$. –  Brandon Carter Oct 16 '13 at 22:01
    
@BrandonCarter: $\langle (1,1)\rangle \cong \mathbb Z/2\mathbb Z$. –  azimut Oct 16 '13 at 23:19
    
@azimut: My mistake, I thought you were looking for subgroups not equal to a product of subgroups, rather than isomorphic. –  Brandon Carter Oct 17 '13 at 0:55
1  
See my answer in this topic and the comments to this for your question to when the answer is "yes". –  user89712 Oct 17 '13 at 20:22
add comment

2 Answers

up vote 4 down vote accepted

This is based on the comment of @Derek Holt:

A counterexample is given by the subgroup $$V = \{(g,h) \in S_3\times S_3 \mid \operatorname{sgn}(gh) = +1\}$$ of $S_3\times S_3$.

Reason:

Since $V$ is the kernel of the group epimorphism $$S_3\times S_3\to \{\pm 1\},\quad (g,h)\mapsto \operatorname{sgn}(gh),$$ $V$ is indeed a subgroup and $[S_3\times S_3 : V] = 2$. So $\lvert V\rvert = 18$.

Assume that $V$ is isomorphic to the direct product of two subgroups of $S_3$. Then by its order, up to swapping the factors there is only the possibility $V\cong A_3\times S_3$. Now the group $A_3\times S_3$ contains elements of order $6$ (for example $((1,2),(1,2,3))$, while $V$ does not. (Up to swapping the components, an element of order $6$ in $S_3\times S_3$ is a pair consisting of a transposition $\tau$ and a $3$-cycle $\sigma$. Because of $\operatorname{sgn}(\tau\sigma) = -1$, $(\tau,\sigma)\notin V$.)

Contradiction.


If $G$ and $G'$ are finite groups of coprime order, then the claim is true. In this case we can even get equality in the statement $V \cong H\times H'$, see this answer by user.

share|improve this answer
add comment

Subgroups of Direct product of groups are described by the Goursat's Lemma. Here is the wikipedia link for it

http://en.wikipedia.org/wiki/Goursat%27s_lemma

share|improve this answer
2  
It is not at all clear to me how that answers the question. –  Tobias Kildetoft Oct 18 '13 at 12:00
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.