text: Тогда на классах смежности H {\displaystyle H} в G {\displaystyle G} a H = { a h ∣ h ∈ H } {\displaystyle aH=\{\,ah\mid \,h\in H\}} можно ввести умножение: ( a H ) ( b H ) = a b H {\displaystyle (aH)(bH)=abH} Легко проверить что это умножение не зависит от выбора элементов в классах смежности, то есть если a H = a ′ H {\displaystyle aH=a'H} и b H = b ′ H {\displaystyle bH=b'H} , то a b H = a ′ b ′ H {\displaystyle abH=a'b'H} .