Normal subgroups are subgroups where conjugation does not affect membership. A subgroup N of a group G is normal if gng-1 is in N for all g in G and n in N. A subgroup N is normal if and only if every left coset of N is also a right coset of N. If every left coset equals a right coset, then conjugation preserves membership in N, making N a normal subgroup.