A normal subgroup is a subgroup that is invariant under conjugation by members of the group. This means that for every element in the subgroup and every element in the group, the product of the group element and subgroup element, followed by the inverse of the group element, is still in the subgroup. Normal subgroups are essential for forming quotient groups and play a key role in understanding group structure and symmetry.
congrats on reading the definition of normal subgroups. now let's actually learn it.