Semidirect product

  • Thread starter murmillo
  • Start date
  • #1
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
22,089
3,297
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.
 

Related Threads on Semidirect product

Replies
0
Views
680
Replies
4
Views
709
  • Last Post
Replies
0
Views
944
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
11
Views
5K
  • Last Post
Replies
15
Views
18K
Replies
0
Views
4K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
12
Views
1K
Replies
1
Views
928
Top