The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the representation theory of Lie groups, and combinatorics. Cayley's theorem states that every group G is isomorphic to a subgroup of the symmetric group on (the underlying set of) G .