Lema 6.1.3.

Misalkan \(H\) subgrup dari suatu grup \(G\) dan misalkan \(g_1, g_2 \in G\text{.}\) Syarat-syarat berikut ekuivalen.
  1. \(g_1 H = g_2 H\text{;}\)
  2. \(H g_1^{-1} = H g_2^{-1}\text{;}\)
  3. \(g_1 H \subset g_2 H\text{;}\)
  4. \(g_2 \in g_1 H\text{;}\)
  5. \(g_1^{-1} g_2 \in H\text{.}\)
Dalam Konteks