On the converse of Gaschütz' complement theorem

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Autoren

  • Benjamin Sambale
Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Seiten (von - bis)931-949
Seitenumfang19
FachzeitschriftJournal of group theory
Jahrgang26
Ausgabenummer5
Frühes Online-Datum11 Mai 2023
PublikationsstatusVeröffentlicht - 1 Sept. 2023

Abstract

Let N be a normal subgroup of a finite group G. Let N ≤ H ≤ G such that N has a complement in H and (|N|, |G: H|) = 1. If N is abelian, a theorem of Gaschütz 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) ∩ N ′ ≠ 1. For metabelian groups N, the condition Z (N) ≠ N ′ = 1 implies the existence of complements. Finally, if N is perfect and centerless, then Gaschütz' theorem holds for N if and only if Inn (N) has a complement in Aut (N).

ASJC Scopus Sachgebiete

Zitieren

On the converse of Gaschütz' complement theorem. / Sambale, Benjamin.
in: Journal of group theory, Jahrgang 26, Nr. 5, 01.09.2023, S. 931-949.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Sambale B. On the converse of Gaschütz' complement theorem. Journal of group theory. 2023 Sep 1;26(5):931-949. Epub 2023 Mai 11. doi: 10.48550/arXiv.2303.00254, 10.1515/jgth-2022-0178
Sambale, Benjamin. / On the converse of Gaschütz' complement theorem. in: Journal of group theory. 2023 ; Jahrgang 26, Nr. 5. S. 931-949.
Download
@article{9563ce32b03b4e6bb50019522b57f709,
title = "On the converse of Gasch{\"u}tz' complement theorem",
abstract = "Let N be a normal subgroup of a finite group G. Let N ≤ H ≤ G such that N has a complement in H and (|N|, |G: H|) = 1. If N is abelian, a theorem of Gasch{\"u}tz 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) ∩ N ′ ≠ 1. For metabelian groups N, the condition Z (N) ≠ N ′ = 1 implies the existence of complements. Finally, if N is perfect and centerless, then Gasch{\"u}tz' theorem holds for N if and only if Inn (N) has a complement in Aut (N).",
author = "Benjamin Sambale",
note = "Funding statement: The work is supported by the German Research Foundation (SA 2864/1-2 and SA 2864/4-1).",
year = "2023",
month = sep,
day = "1",
doi = "10.48550/arXiv.2303.00254",
language = "English",
volume = "26",
pages = "931--949",
journal = "Journal of group theory",
issn = "1433-5883",
publisher = "Walter de Gruyter GmbH",
number = "5",

}

Download

TY - JOUR

T1 - On the converse of Gaschütz' complement theorem

AU - Sambale, Benjamin

N1 - Funding statement: The work is supported by the German Research Foundation (SA 2864/1-2 and SA 2864/4-1).

PY - 2023/9/1

Y1 - 2023/9/1

N2 - Let N be a normal subgroup of a finite group G. Let N ≤ H ≤ G such that N has a complement in H and (|N|, |G: H|) = 1. If N is abelian, a theorem of Gaschütz 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) ∩ N ′ ≠ 1. For metabelian groups N, the condition Z (N) ≠ N ′ = 1 implies the existence of complements. Finally, if N is perfect and centerless, then Gaschütz' theorem holds for N if and only if Inn (N) has a complement in Aut (N).

AB - Let N be a normal subgroup of a finite group G. Let N ≤ H ≤ G such that N has a complement in H and (|N|, |G: H|) = 1. If N is abelian, a theorem of Gaschütz 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) ∩ N ′ ≠ 1. For metabelian groups N, the condition Z (N) ≠ N ′ = 1 implies the existence of complements. Finally, if N is perfect and centerless, then Gaschütz' theorem holds for N if and only if Inn (N) has a complement in Aut (N).

UR - http://www.scopus.com/inward/record.url?scp=85163134466&partnerID=8YFLogxK

U2 - 10.48550/arXiv.2303.00254

DO - 10.48550/arXiv.2303.00254

M3 - Article

AN - SCOPUS:85163134466

VL - 26

SP - 931

EP - 949

JO - Journal of group theory

JF - Journal of group theory

SN - 1433-5883

IS - 5

ER -