Derived Subgroup definition, Lec-6 Characteristics subgroup of a group,

Theorem: The derived /commutator subgroup G' of a group G is a characteristic subgroup of G
In particular G' is a normal subgroup of G,
Also G/G'is Abelian