Mappings/Bijective mappings/Group/Exercise

Let ${}S$ be a set and define

${}G={\left\{F:S\rightarrow S\mid F{\text{ bijective}}\right\}}\,.$

Show that ${}G$ is, with the composition of mappings as operation, a group.

Create a solution