Assertion: abelian group's element | /r/AtLocation | precisely one left coset of h
Facets:
Source sentences:
text: Furthermore, every element of G is contained in precisely one left coset of H; the left cosets are the equivalence classes corresponding to the equivalence relation a 1 ~ a 2 if and only if a 1 −1a 2 is in H.