Es sei ( G , 0 , + ) {\displaystyle {}(G,0,+)} eine kommutative Gruppe und H ⊆ G {\displaystyle {}H\subseteq G} eine Untergruppe. Für Elemente x , y ∈ G {\displaystyle {}x,y\in G} setzen wir x ∼ H y {\displaystyle {}x\sim _{H}y} (und sagen, dass x {\displaystyle {}x} und y {\displaystyle {}y} äquivalent sind), wenn x − y ∈ H {\displaystyle {}x-y\in H} .
