Presentation of semidirect product is disjoint union of presentations plus action by conjugation relations

From Groupprops
Revision as of 01:36, 20 April 2011 by Vipul (talk | contribs) (Created page with "==Statement== ===In terms of external semidirect product=== Suppose <math>N</math> is a group and <math>H</math> is a group acting on <math>N</math>, i.e., a [[homomorphism of g...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


In terms of external semidirect product

Suppose N is a group and H is a group acting on N, i.e., a homomorphism of groups \rho:H \to \operatorname{Aut}(N) is specified. Suppose we are given presentations for both N and H, and assume further that the generating sets for N and H have already been made disjoint, i.e., no generator letter is repeated between the two presentations.

The External semidirect product (?) N \rtimes H can be given the following presentation:

  • Generating set is taken as the union of generating sets for N and H.
  • Relation set is taken as the union of relation sets for N and H and the following action relations: for every generator a of N and every generator b of N, the relation bab^{-1} = w where w is the word (in N) for the element \rho(b) \cdot a).

In terms of internal semidirect product


Related facts