Groups satisfying a strong complement property

Eloisa Detomi, Andrea Lucchini, Mariapia Moscatiello, Pablo Spiga, Gunnar Traustason

Research output: Contribution to journalArticle

Abstract

Let G=NH be a finite group where N is normal in G and H is a complement of N in G. For a given generating sequence (h1,…,hd) of H we say that (N,(h1,…,hd)) satisfies the strong complement property, if 〈h1 x1,…,hd xd〉 is a complement of N in G for all x1,…,xd∈N. When d is the minimal number of elements needed to generate H, and (N,(h1,…,hd〉)) satisfies the strong complement property for every generating sequence (h1,…,hd) with length d, then we say that (N,H) satisfies the strong complement property. In the case when |N| and |H| are coprime, we show that (N,H) can only satisfy the strong complement property if H is cyclic or if H acts trivially on N. We give on the other hand a number of examples that show this does not need to be the case when considering the strong complement property of (N,(h1,…,hd)) for a given fixed generating sequence. In the case when N and H are not of coprime order, we give examples where (N,H) satisfies the strong complement property and where H is not cyclic and does not act trivially on N.
Original languageEnglish
Pages (from-to)35-52
Number of pages18
JournalJournal of Algebra
Volume535
Early online date26 Jun 2019
DOIs
Publication statusE-pub ahead of print - 26 Jun 2019

Cite this

Groups satisfying a strong complement property. / Detomi, Eloisa ; Lucchini, Andrea; Moscatiello, Mariapia ; Spiga, Pablo; Traustason, Gunnar.

In: Journal of Algebra, Vol. 535, 01.10.2019, p. 35-52.

Research output: Contribution to journalArticle

Detomi, Eloisa ; Lucchini, Andrea ; Moscatiello, Mariapia ; Spiga, Pablo ; Traustason, Gunnar. / Groups satisfying a strong complement property. In: Journal of Algebra. 2019 ; Vol. 535. pp. 35-52.
@article{187c677bfde64357a14dc1a5b988b693,
title = "Groups satisfying a strong complement property",
abstract = "Let G=NH be a finite group where N is normal in G and H is a complement of N in G. For a given generating sequence (h1,…,hd) of H we say that (N,(h1,…,hd)) satisfies the strong complement property, if 〈h1 x1,…,hd xd〉 is a complement of N in G for all x1,…,xd∈N. When d is the minimal number of elements needed to generate H, and (N,(h1,…,hd〉)) satisfies the strong complement property for every generating sequence (h1,…,hd) with length d, then we say that (N,H) satisfies the strong complement property. In the case when |N| and |H| are coprime, we show that (N,H) can only satisfy the strong complement property if H is cyclic or if H acts trivially on N. We give on the other hand a number of examples that show this does not need to be the case when considering the strong complement property of (N,(h1,…,hd)) for a given fixed generating sequence. In the case when N and H are not of coprime order, we give examples where (N,H) satisfies the strong complement property and where H is not cyclic and does not act trivially on N.",
author = "Eloisa Detomi and Andrea Lucchini and Mariapia Moscatiello and Pablo Spiga and Gunnar Traustason",
year = "2019",
month = "6",
day = "26",
doi = "10.1016/j.jalgebra.2019.05.047",
language = "English",
volume = "535",
pages = "35--52",
journal = "Journal of Algebra",
issn = "0021-8693",
publisher = "Elsevier Academic Press Inc",

}

TY - JOUR

T1 - Groups satisfying a strong complement property

AU - Detomi, Eloisa

AU - Lucchini, Andrea

AU - Moscatiello, Mariapia

AU - Spiga, Pablo

AU - Traustason, Gunnar

PY - 2019/6/26

Y1 - 2019/6/26

N2 - Let G=NH be a finite group where N is normal in G and H is a complement of N in G. For a given generating sequence (h1,…,hd) of H we say that (N,(h1,…,hd)) satisfies the strong complement property, if 〈h1 x1,…,hd xd〉 is a complement of N in G for all x1,…,xd∈N. When d is the minimal number of elements needed to generate H, and (N,(h1,…,hd〉)) satisfies the strong complement property for every generating sequence (h1,…,hd) with length d, then we say that (N,H) satisfies the strong complement property. In the case when |N| and |H| are coprime, we show that (N,H) can only satisfy the strong complement property if H is cyclic or if H acts trivially on N. We give on the other hand a number of examples that show this does not need to be the case when considering the strong complement property of (N,(h1,…,hd)) for a given fixed generating sequence. In the case when N and H are not of coprime order, we give examples where (N,H) satisfies the strong complement property and where H is not cyclic and does not act trivially on N.

AB - Let G=NH be a finite group where N is normal in G and H is a complement of N in G. For a given generating sequence (h1,…,hd) of H we say that (N,(h1,…,hd)) satisfies the strong complement property, if 〈h1 x1,…,hd xd〉 is a complement of N in G for all x1,…,xd∈N. When d is the minimal number of elements needed to generate H, and (N,(h1,…,hd〉)) satisfies the strong complement property for every generating sequence (h1,…,hd) with length d, then we say that (N,H) satisfies the strong complement property. In the case when |N| and |H| are coprime, we show that (N,H) can only satisfy the strong complement property if H is cyclic or if H acts trivially on N. We give on the other hand a number of examples that show this does not need to be the case when considering the strong complement property of (N,(h1,…,hd)) for a given fixed generating sequence. In the case when N and H are not of coprime order, we give examples where (N,H) satisfies the strong complement property and where H is not cyclic and does not act trivially on N.

U2 - 10.1016/j.jalgebra.2019.05.047

DO - 10.1016/j.jalgebra.2019.05.047

M3 - Article

VL - 535

SP - 35

EP - 52

JO - Journal of Algebra

JF - Journal of Algebra

SN - 0021-8693

ER -