Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If group G has a set of generators and set of relations, and given H, K two normal subgroups. Suppose one can write down the elements in H and K explicitly (also in terms of generators and relations). Now how to obtain an element which is in the intersection H\cap K but not in the commutator subgroup [H,K]?

share|improve this question
2  
Your question is very vaguely stated. An element of the intersection is precisely an element of the kernel of the product map $G\to G/H\times G/K$. Does that help? –  HJRW Apr 3 '12 at 20:26
1  
    
Thank you! I will check that paper. –  Changlong Apr 4 '12 at 16:19
    
Why do you think there is such element? A priori $H \cap K=[H,K]$, e.g. $H=K=G$ and $G$ is perfect. So there cannot be a general procedure without more conditions. –  Yiftach Barnea Apr 18 '12 at 7:34
add comment

1 Answer 1

I would just like to mention that this question has topological relevance, as shown in

R. Brown ``Coproducts of crossed $P$-modules: applications to second homotopy groups and to the homology of groups'', Topology 23 (1984) 337-345.

Denote the classifying space of a group $G$ by $BG$. Given normal subgroups $M,N$ of $G$ one can form the space $X$ as the homotopy pushout (i.e. double mapping cylinder) of the two maps $BG \to B(G/M), BG \to B(G/N)$. Then the second homotopy group of $X$ is isomorphic to

$$(M \cap N)/ [M,N] . $$

Actually the result of the paper says more, namely that the homotopy 2-type of $X$ is described by the crossed module $M \circ N \to G$ where $\circ$ is the coproduct of the title of the paper. It is feasible that the question asked could be helped by an analysis of this coproduct. (Note that normal subgroups of a group are special cases of crossed modules.)

share|improve this answer
    
Thank you! Indeed I was considering the condition that $(M\cap N)=[M,N]$. I will check your paper. –  Changlong Apr 4 '12 at 16:18
    
I think the following papers are also relevant: Gilbert, N. D. Identities between sets of relations. J. Pure Appl. Algebra 84 (1993), no. 3, 263–276. Bogley, W. A.; Gilbert, N. D. The homology of Peiffer products of groups. New York J. Math. 6 (2000), 55–71. –  Ronnie Brown Jun 5 '12 at 11:52
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.