A normal subgroup is a subgroup that is invariant under conjugation by any element of the parent group, meaning it is preserved under the group's internal symmetries. This property ensures that the quotient group, formed by the parent group and the normal subgroup, is well-defined and itself a group.