Homepage › Solution manuals › David S. Dummit › Abstract Algebra › Problem 5.4.16 (If $K \unlhd G$ then $K' \unlhd G$.)

Problem 5.4.16 (If $K \unlhd G$ then $K' \unlhd G$.)

Prove that if K is a normal subgroup of G then K ′ ⊴ G .

Answers

Proof. If h , k ∈ K , then for all g ∈ G , 𝑔h g − 1 ∈ K and 𝑔𝑘 g − 1 ∈ K , thus

g [ h , k ] g − 1 = [ 𝑔h g − 1 , 𝑔𝑘 g − 1 ] ∈ K ′ .

Since K ′ is generated by the commutators [ h , k ] , ( h , k ∈ K ) , then K ′ ⊴ G . □

User profile picture
2026-09-10 12:12
Comments