On mutually permutable products of finite groups. (Q5920329): Difference between revisions

A finite group \(G\) is the product of its pairwise permutable subgroups \(G_1,\ldots,G_n\) if \(G=G_1G_2\cdots G_n\) and \(G_iG_j=G_jG_i\) for all \(i\neq j\). The subgroups appearing in this decomposition of \(G\) are called the factors of the decomposition. A widely examined question is that if \(G\) is a product of some of its permutable subgroups then what can be said about \(G\) if some properties of the factors are known. As a generalization of Burnside's famous \(p^\alpha q^\beta\) theorem, it was partly proved by \textit{H. Wielandt} [Math. Z. 55, 1-7 (1951; Zbl 0043.25803); Ill. J. Math. 2, No. 4B, 611-618 (1958; Zbl 0084.02904)] and completed by \textit{O. H. Kegel} [Arch. Math. 12, 90-93 (1961; Zbl 0099.01401)] that if \(G\) is a product of some of its pairwise permutable nilpotent subgroups, then \(G\) is solvable. This theorem, which is now called the Kegel-Wielandt theorem, was a motivation for a number of results about products of pairwise permutable subgroups of a group. The authors of this paper use the concept of mutually \(m\)-permutable products introduced by \textit{A. Ballester-Bolinches, J. Cossey and M. C. Pedraza-Aguilera} [Commun. Algebra 29, No. 7, 3145-3152 (2001; Zbl 0985.20013)], which says that \(G=G_1G_2\) is a mutually \(m\)-permutable product of the subgroups \(G_1\) and \(G_2\) if both of them permute with every maximal subgroup of the other one. Among other results, the following is proved. Let \(G=G_1G_2\cdots G_n\) be the product of its pairwise permutable subgroups \(G_1,\ldots,G_n\) such that \((|G_iG_j:G_i|,|G_iG_j:G_j|)=1\) and \(G_iG_j\) is a mutually \(m\)-permutable product for all \(i\neq j\). If all \(G_i\) are nilpotent, then \(G\) is supersolvable.