What number sets are used to show how subgroups can be seen as translations of the larger group