If we replace the representative element with another one, g', will we obtain a different coset?

A normal subgroup (also called an invariant subgroup) is a subgroup H of a group G such that all conjugates of every element in H belong to H. Algebraically, this condition is expressed as $gHg^{-1} = H$ for any element $g$ in G.

Conditions: H is a subgroup of G; The condition must hold for all elements in H; The condition must hold for all elements g in G

In the context of group theory, $gH$ represents the left coset of the subgroup H with respect to the element g, while $Hg$ represents the right coset of H with respect to g. For a normal subgroup, these two sets are identical.

Conditions: H is a subgroup of G; g is an element of the group G

A normal subgroup satisfies $gH = Hg$ because its defining property is that it is invariant under conjugation, meaning $gHg^{-1} = H$. By right-multiplying both sides of this equation by $g$, the $g^{-1}$ and $g$ cancel out, yielding the equality of the left coset $gH$ and the right coset $Hg$.

Conditions: H is a normal subgroup of G; g is an element of the group G

We can traverse all elements of a group G by constructing cosets using a subgroup H. By multiplying every element g in G with the subgroup H (forming left cosets gH or right cosets Hg), the union of all distinct cosets covers every element of G exactly once.

Conditions: G is a group; H is a subgroup of G

We can intuitively understand a normal subgroup by visualizing the group G as an outer rectangle and the subgroup H as an inner rectangle. The condition $gHg^{-1} = H$ means that if you 'transport' the entire region H using an element g and then bring it back using $g^{-1}$, the resulting region still lies completely within H.

Conditions: H is a subgroup of G; g is an element of G outside H