Homepage › Solution manuals › David S. Dummit › Abstract Algebra › Problem 5.4.2 ($H \unlhd G \iff [G,H] \leq H$)

Problem 5.4.2 ($H \unlhd G \iff [G,H] \leq H$)

Prove that a subgroup H of G is normal if and only if [ G , H ] ≤ H .

Answers

Proof. Let H be a subgroup of G .

By Proposition 7, part (2),

H ⊴ G ⟺ [ H , G ] ≤ H ,

and by Exercise 1, [ H , G ] = [ G , H ] . Therefore

H ⊴ G ⟺ [ G , H ] ≤ H .

□

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