Translate of a subset of a group

ID: translate-of-a-subset-of-a-group

For a subset of a group and , its left translate is and its right translate is . In an additive abelian group, these are the same translated set . Multiplication by is a bijection, so translation preserves cardinality.
Left and right translates can differ in a noncommutative group. In the symmetric group , take and , composing permutations right to left. Then while . When is a subgroup, these translated sets are precisely left and right cosets. Translation lets additive combinatorics compare configurations without treating their absolute location as part of their shape.

New to topics? Read the docs here!