Definition und Erhaltung der Operation von Gruppomorphismen