: Let ( G ) act on the set of left cosets ( G/H = aH \mid a \in G ) by left multiplication: ( g \cdot (aH) = (ga)H ).