Semidirect product

  • Thread starter murmillo
  • Start date
  • #1
murmillo
118
0
1. Homework Statement [/b]
I'm reading about semidirect products, and I don't understand this part:
Given two abstract groups H and K and a homomorphism
f : K --> AutH, define a group structure on the Cartesian product H X K
by the rule
(h1, k1) * (h2; k2) = (h1 x f(k1)(h2), k1k2).
I don't understand how how h1 x f(k1)(h2) is an element of H.


3. The Attempt at a Solution [/b]
I think that h1 x f(k1)(h2) is an element of H only when H is normal. But the rule is supposed to work for any two groups H and K.
 

Answers and Replies

  • #2
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,178
3,305
h1 is an element of H.
f(k1) is an automorphism of H, thus it takes elements of H to elements of H. In particular f(k1)(h2) is an element of H.
Multiplying the two element gives an element of H.
 

Suggested for: Semidirect product

  • Last Post
Replies
4
Views
377
  • Last Post
Replies
16
Views
577
Replies
2
Views
320
  • Last Post
Replies
2
Views
453
Replies
8
Views
560
Replies
5
Views
553
  • Last Post
Replies
9
Views
616
Replies
19
Views
1K
Top