Cayley's theorem  In group theory, Cayley's theorem, named in honour of Arthur Cayley, states that every group "G" is isomorphic to a subgroup of the symmetric group acting on "G". This can be understood as an example of the group action of "G" on the elements of "G". A permutation of a set "G" is any bijective function taking "G" onto "G". The set of all permutations of "G" forms a group under function composition, called "the symmetric group on" "G", and written as Sym("G"). Cayley's theorem puts all groups on the same footing, by considering any group (including infinite groups such as (R,+)) as a permutation group of some underlying set. Thus, theorems that are true for subgroups of permutation groups are true for groups in general. Nevertheless, Alperin and Bell note that "in general the fact that finite groups are imbedded in symmetric groups has not influenced the methods used to study finite groups". The regular action used in the standard proof of Cayley's theorem does not produce the representation of "G" in a "minimal"-order permutation group. For example, formula_1, itself already a symmetric group of order 6, would be represented by the regular action as a subgroup of formula_2 (a group of order 720). The problem of finding an embedding of a group in a minimal-order symmetric group is rather difficult. While it seems elementary enough, at the time the modern definitions didn't exist, and when Cayley introduced what are now called "groups" it wasn't immediately clear that this was equivalent to the previously known groups, which are now called "permutation groups". Cayley's theorem unifies the two. Although Burnside  attributes the theorem  to Jordan,  Eric Nummela  nonetheless argues that the standard name—"Cayley's Theorem"—is in fact appropriate. Cayley, in his original 1854 paper,  showed that the correspondence in the theorem is one-to-one, but he failed to explicitly show it was a homomorphism (and thus an embedding). However, Nummela notes that Cayley made this result known to the mathematical community at the time, thus predating Jordan by 16 years or so. The theorem was later published by Walther Dyck in 1882 and is attributed to Dyck in the first edition of Burnside's book.