Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Goursat's Lemma characterizes the subgroups of direct products. Is there a similar characterization for the subgroups of semidirect products? What about if I'm only interested in the normal subgroups?

share|cite|improve this question
If you have a non-split semi-direct product, then there are not two projections, only one. So any such characterization can't be too similar. – Matt E Sep 21 '10 at 15:25
up vote 8 down vote accepted

The short answer is that there is nothing nearly so nice as Goursat's Lemma. You can certainly reduce easily to the case where $\pi_K(H)=K$, much like you can reduce Goursat's Lemma to the case of a subdirect product, but after that it gets complicated. To give you an idea, here are three references.

A theorem of Rosenbaum (Die Untergruppen von halbdirekten Produkten, Rostock. Math. Kolloq. No. 35 (1988), 21-30) gives (from the MathScieNet Review MR991728 (90c:20032)):

Theorem. A set $U$ of elements of the semidirect product $G=NK$ with $N\triangleleft G$ is a subgroup of $G$ if and only if

  1. $UN\cap K$ and $U\cap K$ are subgroups of $G$;
  2. $U\cap N$ is a subgroup and $UK\cap N$ is a collection of $U\cap N$-cosets in $N$; and
  3. There is a mapping $\varphi$ defined for all $g\in UK\cap N$ mapping $(U\cap K)g$ onto some coset $n(U\cap N)$, with $n\in N$, satisfying $\varphi(g_1g_2)=g_2^{-1}\varphi(g_1)g_2\varphi(g_2)$.

The criterion was then used by Gutiérrez-Barrios to develop a criterion for a set of elements to be a normal subgroup of the semidirect product (Die Normalteiler von halbdirekten Produkten. Wiss. Z. Pädagog. Hochsch. Erfurt/Mühlhausen Math.-Natur. Reihe 25 (1989), no. 2, 108-114. MR1044548 (91b:20029))

Usenko (Subgroups of semidirect products, english translation in Ukrainian Math. J. 43 (1991), no. 7-8, 982-988 (1992), MR1148867 (92k:20045)) uses crossed homomorphisms to study subgroups of semidirect products.

share|cite|improve this answer

While searching on the net i found this article. See whether it helps or not:

If one can't access this then try: or

Thanks to Jack.

share|cite|improve this answer
The reference is: Usenko, V. M. "Subgroups of semidirect products." Ukrain. Mat. Zh. 43 (1991) 1048–1055. (translated as) – Jack Schmidt Sep 21 '10 at 19:19
@Jack Schmidt: Yes Jack whats the problem with that – anonymous Sep 21 '10 at 19:22
@Chandru: not everyone has access to the springer full text, and it's always nice to give the reference in a readable format. Jack is providing an English translation and a link to the MathReview. He is complementing your reply, not criticising it. – Arturo Magidin Sep 21 '10 at 19:28
@Arturo Magidin: I am not saying anything against him Arturo, i actually didnt know what was the problem. – anonymous Sep 21 '10 at 19:30

Your Answer


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.