Paramorphisms of a group. (Q2585896)

Verf. betrachtet eine Gesamtheit von Elementen, die bezüglich einer Multiplikation ``\(\cdot \)'' eine Gruppe \(G\) und bezüglich einer anderen Multiplikation ``\(\times\)'' eine Gruppe \(\overline{G}\) bilden, und bildet die Funktion \(P(U, V)=(U\cdot V)^{-1}\cdot (U\times V)\) (wo \(A^{-1}\) in \(G\) zu \(A\) invers ist). Das assoziative Gesetz und die Existenz des inversen Elements und der Identität bedingen gewisse Eigenschaften der Funktionen \(P(U, V)\). Umgekehrt bestimmt jede diesen Eigenschaften genügende Funktion \(P(U, V)\) von Elementenpaaren von \(G\) eine Multiplikation ``\(\times\)'', bezüglich deren die Elemente von \(G\) eine Gruppe \(\overline{G}\) bilden, die pseudomorph zu \(G\) genannt wird. Ein besonderer Fall des Pseudomorphismus ist der Paramorphismus, der folgendermaßen entsteht: Es sei \(\pi \) eine ein-eindeutige Abbildung von \(G\) auf sich selbst, derart, daß \(X\to U=X\cdot X^\pi \), und es werde definiert \(P( U, V)=P(X\cdot X^\pi, Y\cdot Y^\pi )=(X\cdot X^\pi \cdot Y\cdot Y^\pi )^{-1}\cdot X\cdot Y\cdot (X\cdot Y)^\pi \). Die Paramorphismen von \(G\) sind die einzigen Pseudomorphismen, die Automorphismen von \(G\) sind. Verf. untersucht die Gruppe dieser Paramorphismen (die zu der Gruppe der Permutationen der Elemente von \(G\) isomorph sind) und gibt eine Anzahl von Beziehungen unter gewissen ihrer Untergruppen an.