Cayley's theorem
Diese beiden Homomorphismen sind injektiv und definieren daher Isomorphismen von "G" auf Untergruppen formula_16 bzw. formula_17 von formula_11 (wie im Satz von Cayley). Für ein gegebenes "g" wird die Permutation formula_19 von "G" oft „die Translation von links mit "g"“ genannt.