Classifying complements for groups. Applications

From MaRDI portal
Publication:746909

DOI10.5802/AIF.2958zbMATH Open1372.20031arXiv1204.1805OpenAlexW2963410050MaRDI QIDQ746909FDOQ746909


Authors: Gigel Militaru, Ana-Loredana Agore Edit this on Wikidata


Publication date: 21 October 2015

Published in: Annales de l’institut Fourier (Search for Journal in Brave)

Abstract: Let AleqG be a subgroup of a group G. An A-complement of G is a subgroup H of G such that G=AH and AcapH=1. The emph{classifying complements problem} asks for the description and classification of all A-complements of G. We shall give the answer to this problem in three steps. Let H be a given A-complement of G and (riangleright,riangleleft) the canonical left/right actions associated to the factorization G=AH. To start with, H is deformed to a new A-complement of G, denoted by Hr, using a certain map r:HoA called a deformation map of the matched pair (A,H,riangleright,riangleleft). Then the description of all complements is given: mathbbH is an A-complement of G if and only if mathbbH is isomorphic to Hr, for some deformation map r:HoA. Finally, the classification of complements proves that there exists a bijection between the isomorphism classes of all A-complements of G and a cohomological object mathcalD,(H,A,|,(riangleright,riangleleft)). As an application we show that the theoretical formula for computing the number of isomorphism types of all groups of order n arises only from the factorization Sn=Sn1Cn.


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




Recommendations




Cites Work


Cited In (8)





This page was built for publication: Classifying complements for groups. Applications

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