Satz von Cayley
according to Cayley's theorem, this gives a chain of monomorphisms