My idea was to start with a group on . Then we know, that the multiplication should be: for some .

On the other hand we have to use the fact that the groups on are related... Hmm, I think I've just got one idea (looks like writing this thing on the forum is helpful..., but I will think on this tomorrow)