Set-direct factorizations of groups

DOI10.1016/J.JALGEBRA.2018.09.025MaRDI QIDQ1799029zbMATH OpenOpenAlexFDO

Authors Dan Levy, Attila Maróti

Publication date 18 October 2018

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.04643, http://real.mtak.hu/86097/1/AM_DL_07Sep2018.pdf

zbMATH Keywords

central productsdirect factorizations of groups

Mathematics Subject Classification ID

Products of subgroups of abstract finite groups (20D40) General structure theorems for groups (20E34) Direct sums, direct products, etc. for abelian groups (20K25)

Abstract: We consider factorizations $G=XY$ where $G$ is a general group, $X$ and $Y$ are normal subsets of $G$ and any $ginG$ has a unique representation $g=xy$ with $xinX$ and $yinY$. This definition coincides with the customary and extensively studied definition of a direct product decomposition by subsets of a finite abelian group. Our main result states that a group $G$ has such a factorization if and only if $G$ is a central product of $leftlangleXightangle$ and $leftlangleYightangle$ and the central subgroup $leftlangleXightanglecapleftlangleYightangle$ satisfies certain abelian factorization conditions. We analyze some special cases and give examples. In particular, simple groups have no non-trivial set-direct factorization.

Review text

In the main result of this paper (Theorem 1.2), the authors prove that for a general group $G$ and two normal subsets $X,Y\subseteq G$ every element $g\in G$ has a unique factorization $g=xy$ with $x\in X$ and $y\in Y$ (this means that $G$ is a set-direct product of $X$ and $Y$) if and only if $G$ is a central product of $\langle X\rangle$ and $\langle Y\rangle$ and for every $m\in\langle X\rangle$ and every $n\in\langle Y\rangle$ the subgroup $Z=\langle X\rangle\cap \langle Y\rangle$ is the set-direct product of $(m^{-1}X)\cap Z$ and $(n^{-1}Y)\cap Z$. Some particular cases, e.g. finite quasi-simple groups, are also studied. For instance, it is proved that simple groups have no non-trivial set-direct factorization.

Recommendations

• Factoring nonabelian finite groups into two subsets
• Factorizations of some simple linear groups
• Simulated factorizations
• Factoring by cyclic and simulated subsets
• Factorizations of finite groups.

Cites work

• A Fixed-Point Theorem for Central Elements in Quasisimple Groups
• Factoring groups into subsets.
• scientific article; zbMATH DE number 1759154 (Why is no real title available?)
• scientific article; zbMATH DE number 3294681 (Why is no real title available?)
• On Minimal Logarithmic Signatures of Finite Groups
• The classification of the finite simple groups
• The maximal factorizations of the finite simple groups and their automorphism groups

Cited in

(2)

• ON GROUP FACTORIZATIONS USING FREE MAPPINGS
• On the class of KN-complete groups

Describes a project that uses

Uses Software

• GAP
• CTblLib
• ATLAS Group Representations
• CTblLib

This page was built for publication: Set-direct factorizations of groups

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