§ GAP permutation syntax

• The action of permutation on an element is given by $i^p$. This is the "exponential notation" for group actions.
• See that we only ever write permutations multiplicatively, eg (1) (23) is the composition of permutations [written multiplicatively ].
• Thus the identity permutation must be 1, and it's true that any number n^1 = n, so the identity permutation 1 fixes everything.