Translation in a group (source code)

= Translation in a group

Left and right multiplication by a fixed group element are bijections, called left and right translations.

Both translations are bijections because the <inverse element> gives the inverse multiplication operation.