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

Let $N$ be a normal subgroup of $G \times H$, and let $\pi_1: G \times H \to G$ and $\pi_2: G \times H \to H$ be the canonical projections. Then $\pi_1(N)$ is normal in $G$ and $\pi_2(N)$ is normal in $H$. What else can we say? I know that it is not true, in general, that $N \simeq \pi_1(N) \times \pi_2(N)$.

I'm particularly interested in the case where $G$ and $H$ are simple. In that case, $N \simeq \pi_1(N) \times \pi_2(N)$ except possibly in the case where $\pi_1(N) = G$ and $\pi_2(N) = H$. In that case, what do we know?

share|improve this question
add comment

4 Answers

up vote 9 down vote accepted

See Goursat's lemma.

share|improve this answer
    
Perfect! So in particular, if I understand correctly, if $G$ and $H$ are distinct simple groups, then it is true that for a normal subgroup $N$, $N \simeq \pi_1(N) \times \pi_2(N)$. –  Gabe Cunningham May 6 '10 at 13:00
2  
Wow, I never knew this had a name. –  HJRW May 6 '10 at 17:32
add comment

Let $N$ be normal in $G\times H$. For $n=(n_1, n_2) \in N$ and $(g, 1) \in G\times H$ follows $([n_1, g], 1) = (n_1^{-1}n_1^g, 1) = n^{-1}\cdot n^{(g, 1)} \in N$ (taking the notations used in group theory: $n^g = g^{-1}ng$ etc), i.e., $[\pi_1(N), G]\times 1 \le N$ (where $[A, B]$ denotes the subgroup generated by the commutators $[a, b]$ with $a \in A, b\in B$). Also $1\times[\pi_2(N), H] \le N$, hence $[\pi_1(N), G]\times[\pi_2(N), H] \le N$.

As $[\pi_1(N), G]$ is normal in $G$, one can easily deduce for $G, H$ simple the cases described by Jack Schmidt (and also what happens in the missing case that one of the two groups is abelian but the other one not).

share|improve this answer
    
Thanks, fixed the missing case. –  Jack Schmidt May 6 '10 at 14:38
add comment

If G and H are non-abelian simple groups and N is a normal subgroup of G×H, then N is equal (not just isomorphic) to 1×1, 1×H, G×1, or G×H. If G and H are simple groups but not isomorphic, then the same is true. If G and H are isomorphic abelian simple groups, then G×H is a two-dimensional vector space over some Z/pZ, and so it has 1 + (p+1) + 1 normal subgroups, 1 of dimension 0, p+1 of dimension 1, and 1 of dimension 2. Only in the last case can it happen that N is not precisely equal to (and also not isomorphic to) π1(N)×π2(N), but of course this happens for p-1 of the 1-dimensional subspaces, the ones that have non-trivial projection onto both the x and y axes.

share|improve this answer
add comment

You can certainly have other situations, even in the simple case. For instance if $G$ and $H$ are isomorphic, the diagonal maps onto each factor.

share|improve this answer
    
See Goursat's lemma ;-) –  Kevin Buzzard May 6 '10 at 12:45
1  
The diagonal's very rarely normal! –  HJRW May 6 '10 at 17:31
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.