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 (h(1),.., h(d)) of H we say that (N, (h(1),..., h(d))) satisfies the strong complement property, if < h(1)(x1),.., h(d)(xd)> is a complement of N in G for all x(1),..., x(d) is an element of N. When d is the minimal number of elements needed to generate H, and (N, (h(1),..., h(d)>)) satisfies the strong complement property for every generating sequence (h(1),..., h(d)) with length d, then we say that (N, H) satisfies the strong complement property. In the case when vertical bar N vertical bar and vertical bar H vertical bar 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, (h(1),..., h(d))) 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.

Groups satisfying a strong complement property

Detomi E.;Lucchini A.;Moscatiello M.;
2019

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 (h(1),.., h(d)) of H we say that (N, (h(1),..., h(d))) satisfies the strong complement property, if < h(1)(x1),.., h(d)(xd)> is a complement of N in G for all x(1),..., x(d) is an element of N. When d is the minimal number of elements needed to generate H, and (N, (h(1),..., h(d)>)) satisfies the strong complement property for every generating sequence (h(1),..., h(d)) with length d, then we say that (N, H) satisfies the strong complement property. In the case when vertical bar N vertical bar and vertical bar H vertical bar 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, (h(1),..., h(d))) 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.
File in questo prodotto:
File Dimensione Formato  
DLTstrongJAlgR.pdf

accesso aperto

Descrizione: Pre-print dell'autore
Tipologia: Preprint (submitted version)
Licenza: Accesso libero
Dimensione 307.46 kB
Formato Adobe PDF
307.46 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3307028
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
  • OpenAlex ND
social impact