On the converse of Gaschütz' complement theorem

DOI10.1515/JGTH-2022-0178MaRDI QIDQ6095989zbMATH OpenOpenAlexFDO

Authors Benjamin Sambale

Publication date 11 September 2023

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2303.00254

zbMATH Keywords

complement

Mathematics Subject Classification ID

Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Products of subgroups of abstract finite groups (20D40)

Abstract: Let N be a normal subgroup of a finite group G. Let Nle Hle G such that N has a complement in H and (|N|,|G:H|)=1. If N is abelian, a theorem of Gasch"utz asserts that N has a complement in G as well. Brandis has asked whether the commutativity of N can be replaced by some weaker property. We prove that N has a complement in G whenever all Sylow subgroups of N are abelian. On the other hand, we construct counterexamples if Z(N)cap N' e 1. For metabelian groups N, the condition Z(N)cap N'=1 implies the existence of complements. Finally, if N is perfect and centerless, then Gasch"utz' theorem holds for N if and only if Inn(N) has a complement in Aut(N).

Review text

Let \(G\) be a finite group, \(N\trianglelefteq G\). A subgroup \(H\leq G\) is called complement of \(N\) if \(G = HN\) and \(H\cap N = 1\) whence \(G\) is determined as \(G\cong N \rtimes H\). A theorem of Gaschütz' states that if \(N\) is an abelian normal subgroup of \(G\), \(N\leq H\leq G\), \(N\) has a complement in \(H\) and \(\gcd(|N|,|G:H|) = 1\). Then \(N\) has a complement in \(G\). The main result of the paper is a generalization of this theorem where it is shown that if all Sylow subgroups of \(N\) are abelian, then Gaschütz' theorem holds (Theorem 2). The author also provides several existence theorems for the complements. Moreover, several counterexamples which show how far these theorems can be generalized are also given.

Cites work

• Absolute retracts in group theory
• An introduction to homological algebra
• Complementation of normal subgroups. In finite groups
• Das System aller Erweiterungen einer Gruppe
• Endliche Gruppen I
• Finite group theory.
• Finite soluble groups
• scientific article; zbMATH DE number 3136688 (Why is no real title available?)
• scientific article; zbMATH DE number 3157181 (Why is no real title available?)
• scientific article; zbMATH DE number 4044061 (Why is no real title available?)
• scientific article; zbMATH DE number 706263 (Why is no real title available?)
• scientific article; zbMATH DE number 6182495 (Why is no real title available?)
• scientific article; zbMATH DE number 3350143 (Why is no real title available?)
• scientific article; zbMATH DE number 3051009 (Why is no real title available?)
• On a Class of Metabelian Groups
• On complements to normal subgroups in finite solvable groups
• On finite complete groups
• On the existence of a complement for a finite simple group in its automorphism group
• Splitting Properties of Group Extensions
• The converse of a theorem of W. Gaschütz on Frattini subgroups
• Verschränkte Homomorphismen endlicher Gruppen
• Zerfällung topologischer Gruppen
• Zur Erweiterungstheorie der endlichen Gruppen.
• Über modulare Darstellungen endlicher Gruppen, die von freien Gruppen induziert werden

Cited in

(5)

• PARTIAL COMPLEMENTS IN FINITE GROUPS
• scientific article; zbMATH DE number 3915191 (Why is no real title available?)
• scientific article; zbMATH DE number 202553 (Why is no real title available?)
• The \(\mathcal{X}\)-series of a \(p\)-group and complements of abelian subgroups
• Global representation ring and Knutson Index

This page was built for publication: On the converse of Gaschütz' complement theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6095989)