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

Let $A$, $B$ and $C$ be discrete countable groups. Let $\alpha$ be an action of $A$ on $B$ and let $\beta$ be an action of $B$ on $C$.

Question Does there always exist a group $G$ which has $A$, $B$ and $C$ as subgroups and such that the group generated by $A$ and $B$ is $A\ltimes B$ and the group generated by $B$ and $C$ is $B\ltimes C$?

One obvious situation when such a group $G$ exists is when the action $\beta$ extends to an action of $A\ltimes B$. Then we can take $G=(A\ltimes B)\ltimes C$. But I'm interested in situations when $\beta$ doesn't extend.

For example take $A$ to be the infinite cyclic group with generator $t$, $B$ to be the free group on infinitely many generators indexed by $\mathbb Z$ (denote the generators by $g_n, n\in \mathbb Z$), and $C$ to be the rational numbers. Let $g_n$ act on $C$ by multiplication by $n$ if $n\neq 0$ and by identity for $n=0$, and let $t$ act on $B$ by sending $g_n$ to $g_{n+1}$.

Question In this specific situation does there exist $G$ as above?

share|improve this question
The solution below via HNN-extensions shows this works in general, by appealing to `big' groups. An interesting further question is "When does there exist a group $G$ as above, generated by $A, B$ and $C$?" –  Jonathan Kiehlmann Jul 7 '11 at 11:55
The amalgamated product is generated by $A,B,C$. You probably meant something else. –  Mark Sapir Jul 7 '11 at 13:24

1 Answer 1

up vote 12 down vote accepted

The answer to the specific question is "yes". Let $U$ be the semidirect product of $C$ and $B$. Then as $G$, you take the HNN extension of $U$ with the free letter $t$ and associated subgroups equal to $B$, with the automorphism provided by the shift of generators. The result then follows from the usual properties of HNN extensions. The same argument applies in general when $A$ is cyclic.

In general you can take the semidirect products and take their amalgamated product with amalgamated subgroup $B$.

share|improve this answer

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.