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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Gruppenkopplungen mit zyklischer Ausgangsgruppe bzw. zyklischer Ableitung. (Group couplings with cyclic starting group resp. cyclic derivation)
scientific article

    Statements

    Gruppenkopplungen mit zyklischer Ausgangsgruppe bzw. zyklischer Ableitung. (Group couplings with cyclic starting group resp. cyclic derivation) (English)
    0 references
    0 references
    1990
    0 references
    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.
    0 references
    0 references
    new group multiplication
    0 references
    \(\kappa \) -derivation
    0 references
    homomorphism
    0 references
    invariant couplings
    0 references
    finite groups
    0 references
    0 references
    0 references