4

I have seen it claimed online that:

Given two groups $G = \langle X \mid R \rangle$ and $H = \langle Y \mid S \rangle$ with some action $\phi\colon H \to \text{Aut}(G)$, then $$ G\rtimes_\phi H \;=\; \langle X, Y \mid R,\,S,\,yxy^{-1}=\phi(y)(x)\text{ for all }x\in X\text{ and }y\in Y\rangle. $$

Specifically I have seen it on stack exchange, and on group props, however neither of these sources have a proof, or any references.

I have searched all over for a references to a book or paper, however I have yet to find any.

To be more clear: I am looking for proof that the group formed by the semidirect product $G\rtimes_\phi H$ is isomorphic to the group given by the presentation $$\langle X, Y \mid R,\,S,\,yxy^{-1}=\phi(y)(x)\text{ for all }x\in X\text{ and }y\in Y\rangle.$$

Does anyone have any ideas? Thanks!

Shaun
  • 47,747
Chris
  • 323
  • Hmm, not sure of a reference, as it is just immediate from the definition. – Tobias Kildetoft Feb 05 '16 at 22:03
  • What do you mean by a proof? A proof that it is a group? That is a straightforward exercise. – David Hill Feb 05 '16 at 22:03
  • 1
    I understand that the presentation defines a group upto isomorphism, however how can one show that group is isomorphic to the semi direct product? – Chris Feb 05 '16 at 22:10
  • 3
    It is proved in Section 10.2 of the book "Presentations of Groups" by D.L. Johnson, The result proved there is more general and covers all extensions, not just semidirect products. But the proof is not exactly difficult! – Derek Holt Feb 05 '16 at 22:42
  • @DerekHolt: I can find neither Section 10.2 nor that presentation in Section 10 of that book. – Shaun Jan 12 '18 at 17:22

1 Answers1

4

Derek Holt commented exactly what I was looking for:

Section 10.2 of the book "Presentations of Groups" by D.L. Johnson

Thanks!

Shaun
  • 47,747
Chris
  • 323