On finite products of groups and supersolubility. (Q975097): Difference between revisions

Let \(G\) be a finite group. Two subgroups \(X\) and \(Y\) of \(G\) are called permutable if the set \(XY=\{xy\mid x\in X,\;y\in Y\}\) is a subgroup of \(G\). Two subgroups \(X\) and \(Y\) of \(G\) are called conditionally permutable (c-permutable, for brevity) in \(G\) if \(X\) permutes with \(Y^g\) for some element \(g\in G\). If \(G=AB\) (\(A,B\) subgroups of \(G\)) and every subgroup of \(A\) is c-permutable in \(G\) with every subgroup of \(B\), then \(G\) is called the totally c-permutable product of \(A\) and \(B\). The supersolvable residual \(G^{\mathcal U}\) of \(G\) is the smallest normal subgroup of \(G\) such that the factor group \(G/G^{\mathcal U}\) is supersolvable. In the paper under review it is proved (Theorem 2) that if the finite group \(G=AB\) is the totally c-permutable product of the subgroups \(A\) and \(B\), then \(G^{\mathcal U}=A^{\mathcal U}B^{\mathcal U}\).