4
$\begingroup$

Let $G, H$ be groups and $A\subset G, B\subset H$ be subgroups. And let $\phi:B\to Aut(A)$ be any homomorphism. Define a group $K=G*H/N$ where $N$ is the normal subgroup in the free product $G*H$ generated by $\lbrace b^{-1}ab=\phi(b)(a) | a\in A, b\in B \rbrace$.

Then this is a generalization of both semidirect product when $A=G, B=H$, and HNN extension when $B=H=\langle t\rangle$.

Is there any reference about this kind of product? For example, what the normal form for given word is, when this group has a torsion, when two given elements are conjugate, or commute.

$\endgroup$
1
  • $\begingroup$ (Sorry, I can't make the symbols work.) Isn't this just $G*_A A\rtimes B*_B H$? $\endgroup$ Sep 19, 2011 at 11:56

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.