For a subgroup of a group and , its right coset is . The map is a bijection from onto , with inverse ; in particular all right cosets have the same cardinality as . Multiplication by subgroup elements is on the left in this expression because is the factor on the right.
New to topics? Read the docs here!