# Permutation group  Main Article Discussion Related Articles  [?] Bibliography  [?] External Links  [?] Citable Version  [?] This editable Main Article is under development and subject to a disclaimer. [edit intro]
In mathematical group theory, the set of permutations on a set of objects form a group, is called a permutation group, with composition as the group operation. For example, let $A$ denote a finite set of $n$ distinct objects, and let $S_{A}$ denote the set of permutations of the elements of $A$ . The criteria of associativity and the existence of inverses are obvious from the definition of permutations as bijections from $A$ to itself. The existence of an identity is slightly more difficult to establish, but we can define an identity mapping $i(a)=a,\forall a\in A$ , and it is clear that this mapping is both a permutation and an identity.
Since all permutation groups over sets with the same number of elements are isomorphic, and since abstract algebra is generally only concerned with groups, rings, fields et cetera up to isomorphism, the generic permutation group over $n$ elements is simply denoted $S_{n}$ .