Cayley's theorem
Eine "mengentheoretische Darstellung" ist ein Homomorphismus der darzustellenden Gruppe auf die Permutationsgruppe formula_186 einer beliebigen Menge formula_187; siehe dazu auch den Satz von Cayley.