Permutation group/Definition

Permutation group

For a set $M$, we call the set

$\mathrm{Aut}(M)=\mathrm{Perm}(M)=\{\phi :M⟶M\mid \phi \text{ bijective}\}$

of all bijective mappings on $M$ the automorphism group or the permutation group of $M$.