normal subgroup

This term is a technical specification within group theory. It describes a subgroup that remains unchanged when its elements are conjugated by any element of the larger group. This property is the essential prerequisite for defining a quotient group, as it ensures that the group operation is well-defined on the resulting cosets.

In mathematical discourse, the term is used with high precision. While "normal" in common English suggests typicality or lack of deviation, in this algebraic context, it refers specifically to the structural symmetry of the subgroup relative to the parent group.