Group classes and mutually permutable products. (Q2491820)

A factorized group \(G=AB\) is said to be the mutually (respectively totally) permutable product of the subgroups \(A\) and \(B\) if \(A\) permutes with the subgroups of \(B\) and \(B\) permutes with the subgroups of \(A\) (respectively if every subgroup of \(A\) permutes with every subgroup of \(B\)). These types of products have been studied by many authors in the last fifteen years and many interesting structural results have been obtained. The present paper contains some non-trivial, interesting and nice results on mutually permutable products, many of them motivated by the corresponding ones of the totally permutable case. The first one contains information about the normal structure of \(G\). It asserts that if \(G\) is the mutually permutable product of subgroups \(A\) and \(B\), then \(\text{Core}_GA\cdot\text{Core}_GB\neq 1\). This result was already known in the totally permutable case. In this context, the authors prove that the soluble radical has a nice behaviour in this kind of products (Theorem 4). In fact, they prove that the soluble radical \(S(A)\) of \(A\) coincides with the intersection of \(A\) and the solvable radical \(S(G)\) of \(G\). This result is obviously true when the product is normal. Another result is the behaviour of some classes of groups with respect to mutually permutable products. One of the most remarkable analyses the behaviour of the classes T, PT and PST with respect to this kind of products. Assume that \(X\) is one of the following classes: T, PT or PST. If \(G\) is the mutually permutable product of subgroups \(A\) and \(B\) and \(G\) belongs to \(X\), then \(A\) belongs to \(X\) (Theorem 5). We remind that a group \(H\) is a PST-group (respectively PT-group, T-group) if Sylow permutability (respectively permutability, normality) is transitive in \(H\). All groups in the three above classes are SC-groups, that is, all chief factors are simple. In [J. Algebra 294, No. 1, 127-135 (2005; Zbl 1083.20020)], \textit{J. Cossey, M. C. Pedraza-Aguilera} and the reviewer considered the following question: if \(G\) is a mutually permutable product of the subgroups \(A\) and \(B\) and \(A\) is an SC-group, what condition on \(B\) guarantees that \(G\) is an SC-group? It is proved in the above paper that \(G\) is an SC-group provided that \(B\) is quasinilpotent. Corollary 1 of the present paper gives some more information about this question showing that \(G\) is also an SC-group if \(B\) is a T-group. Finally the authors give an alternative proof of a result established by Cossey, Pedraza-Aguilera and the reviewer [loc. cit.]: a mutually permutable product \(G\) of SC-groups \(A\) and \(B\) is an SC-group provided that \(A\cap B\) is core-free in \(G\).