Gruppenkopplungen mit zyklischer Ausgangsgruppe bzw. zyklischer Ableitung. (Group couplings with cyclic starting group resp. cyclic derivation) (Q2639173): Difference between revisions

Let \(G=(G,\cdot)\) be a group. A map \(\kappa\) : \(G\to Aut G\); \(x\to \kappa_ x\) is called a coupling, if \(\forall x,y\in G\), \(\kappa_{x\cdot \kappa_ x(y)}=\kappa_ x\kappa_ y\). By \(x\circ y:=x\cdot \kappa_ x(y)\) one obtains a new group multiplication \(G^{\kappa}:=(G,\circ)\) called the \(\kappa\)-derivation of G [the reviewer, Arch. Math. 16, 247-256 (1965; Zbl 0131.017)]. Let \(\Delta_{\kappa}:=\{\kappa_ x|\) \(x\in G\}\) and \(U_{\kappa}:=\{u\in G|\kappa_ u=id\}\). Then \(\kappa\) is called homomorphic, if \(\kappa\) is a homomorphism with resp. to (G,\(\cdot)\) and invariant, if \(U_{\kappa}\trianglelefteq (G,\cdot)\). If \(\kappa\) is invariant, then \(\kappa\) induces a coupling \(\kappa '\) on \(G/U_{\kappa}\) such that \((G/U_{\kappa})^{\kappa '}\) and \(\Delta_{\kappa}\) are isomorphic. The author studies the problems: Determine all invariant couplings \(\kappa\) of G such that \(\Delta_{\kappa}\cong G^{\kappa}/U_{\kappa}\) is cyclic resp. such that \(G/U_{\kappa}\) is cyclic. These problems can be reduced via \(\kappa \to \kappa '\) to: (A) If (G,\(\cdot)\) is finite and cyclic, find all couplings \(\kappa\) and determine the structure of \(G^{\kappa}\). (B) Find all finite groups G and their couplings \(\kappa\) such that \(G^{\kappa}\) is cyclic. The author gives a complete answer for (A) if \(\Delta_{\kappa}\) is cyclic or if G is a p-group and for (B) if G is nilpotent.