Inversion in groups. (Q2585213)

Verf. befassen sich mit (1,1)-Transformationen einer Gruppe \(\mathfrak G\) in sich selbst; die Gesamtheit der Transformationen der genannten Art bildet offenbar eine Gruppe. Als Inversion von \(\mathfrak G\) mit Bezug auf \(t\in\mathfrak G\) wird die Transformation \(x\to tx^{-1}t\), als Rechts- bzw. Linksverschiebung mit Bezug auf \(t\in\mathfrak G\) wird die Transformation \(x\to T_r(x)=xt\), bzw. \(x\to T_l(\overline x)=tx\) bezeichnet. Es wird bewiesen: 1) \(\mathfrak G\) sei irgendeine Gruppe. Dann ist die Inversion mit Bezug auf das 1-Element durch folgende Eigenschaften charakterisiert: a) das 1-Element ist invariant, b) ist \(F\) die Inversion mit Bezug auf das 1-Element und \(T_r\) die Rechtsverschiebung mit Bezug auf irgendein Element \(t\), so ist \(T_rFT_r^{-1}F=T_rT_l\). 2) Die notwendige und hinreichende Bedingung dafür, daß eine Gruppe entweder abelsch oder eine hamiltonische 2-Gruppe sei, ist, daß Entfernungen (im Sinne von Menger) in ihr unter Inversion mit Bezug auf irgendein Element invariant seien. Satz~2 charakterisiert also alle Gruppen, in denen der Abstand zweier Elemente unter Inversion invariant ist.