A foundational result of abstract group theory showing that every group, however it is defined, can be viewed concretely as a group of permutations. Arthur Cayley stated the correspondence in an 1854 paper but did not explicitly show it was a structure-preserving embedding rather than a mere one-to-one correspondence, so the theorem predates general recognition of its own complete modern proof by decades. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
StatementEvery group G is isomorphic to a subgroup of a symmetric group; concretely, G embeds into the group of permutations of its own underlying set. 1 Classification
Statement FormCharacterization Theorem 1 Connections
Associated With
The theorem states every group embeds as a subgroup of a symmetric group, so its subject is the group concept itself.
Additional Source Wikipedia: Cayley's TheoremLead section
In Branch
Source Wikipedia: Cayley's Theorem
Named After
Derived from the theorem's own name (unambiguous possessive-token match to exactly one live mathematician entity, w-bfill-g5-0924 browse backfill)
Proved By
Source Wikipedia: Cayley's Theorem
Sources
1. Wikipedia: Cayley's Theorem
Wikimedia FoundationLead section
every group G is isomorphic to a subgroup of a symmetric group
History
Cayley made this result known to the mathematical community at the time, thus predating Jordan by 16 years or so.
- In Category: Theorems
- In Branch: Algebra
- Proved By: Arthur Cayley
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.