Über lokal-nilpotente Gruppen (Q2653663)

Eine Gruppe \(\mathfrak G\) heißt nilpotent, wenn sie eine Zentrenreihe von endlicher Länge besitzt; \(\mathfrak G\) heißt lokal-nilpotent, wenn jede endliche Menge von Elementen \(\in\mathfrak G\) eine nilpotente Untergruppe erzeugt. Verf. gibt einen einfachen Beweis des Satzes von \textit{B. I. Plotkin}: ,,Eine Gruppe \(\mathfrak G\), in der jede echte Untergruppe von ihrem Normalisator verschieden ist, ist lokal-nilpotent'' [Dokl. Akad. Nauk SSSR, n. Ser. 76, 639--641 (1951; Zbl 0043.02201)]. Der Beweis wird geführt mit Hilfe folgender, auch an sich interessanter Sätze: a) Jede Gruppe \(\mathfrak G\) besitzt einen eindeutig bestimmten, maximalen lokal-nilpotenten Normalteiler, der alle lokal-nilpotenten Normalteiler umfaßt. b) Das Erzeugnis zweier lokal-nilpotenter Normalteiler einer Gruppe \(\mathfrak G\) ist lokal-nilpotent. c) Jede endlich erzeugte nilpotente Gruppe erfüllt die Maximalbedingung für Untergruppen.