Normal subgroups and complete r-homomorphisms of groups (Q1063689): Difference between revisions

Der Verf. betrachtet vollständige Verbandsepimorphismen \(\phi\) einer Gruppe G auf eine Gruppe \(\bar G\) (im Sinne von \textit{M. Suzuki} [Structure of a group and the structure of its lattice of subgroups (1956; Zbl 0070.254)], Chapter III) und untersucht die Bilder von Normalteilern N von G unter \(\phi\). Es gelingt ihm, die in den letzten Jahren von Busetto, Menegazzo, Napolitani und ihm für Bilder von Normalteilern unter Verbandsisomorphismen bewiesenen Sätze fast vollständig auf diese allgemeinere Situation auszudehnen. Grundlage dafür ist, daß sich der Satz von Zacher-Rips übertragen läßt: Ist \(K\leq H\leq G\) und \(| H:K| <\infty\), so ist auch \(| H^{\phi}:K^{\phi}| <\infty\). Daraus folgt sofort, daß D-normale Untergruppen von G durch \(\phi\) auf D-normale Untergruppen von \(\bar G\) abgebilet werden, und damit kann der Verf. die von ihm [in Ann. Mat. Pura Appl., IV. Ser. 131, 57-73 (1982)] für D-normale Untergruppen entwickelte Theorie auf die gegebene Situation anwenden. Er erhält, daß die maximalen Urbilder K des Herzens \(\bar K=(N^{\phi})_{\bar G}\) und H der normalen Hülle \(\bar H=(N^{\phi})^{\bar G}\) von \(N^{\phi}\) normal in G sind und die Faktorgruppen \(G/K\) und \(\bar G/\bar K\) sich wie bei Verbandsisomorphismen verhalten.