\(\mathfrak Z\)-permutable subgroups of finite groups. (Q264053)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\mathfrak Z\)-permutable subgroups of finite groups. |
scientific article |
Statements
\(\mathfrak Z\)-permutable subgroups of finite groups. (English)
0 references
5 April 2016
0 references
Let \(G\) be a group, two subgroups \(H\) and \(K\) of \(G\) are called permutable if the set \(HK=\{hk\mid h\in H,\;k\in K\}\) is a subgroup of \(G\). Let \(G\) be a finite group, a set \(\mathfrak Z\) is a complete set of Sylow subgroups of \(G\) if \(\mathfrak Z\) contains exactly one Sylow subgroup for each prime dividing the order of \(G\); \(\mathfrak Z\) is a Sylow basis of \(G\) if the Sylow subgroups in \(\mathfrak Z\) are pairwise permutable (a beautiful theorem due to Philip Hall asserts that a finite group admits a Sylow basis if and only if it is solvable). The main result proved in this paper is Theorem 1: Let \(\mathfrak Z\) be a complete set of Sylow subgroups of a finite group \(G\). Let \(A\) be a subnormal \(\mathfrak Z\)-permutable subgroup of \(G\). Then \(\langle A^G\rangle/\mathrm{Core}_G(A)\) is soluble. If, in addition, \(\mathfrak Z\) is a Sylow basis of \(G\), then \(\langle A^G\rangle/\mathrm{Core}_G(A)\) is nilpotent.
0 references
finite groups
0 references
soluble groups
0 references
complete sets of Sylow subgroups
0 references
Sylow bases
0 references
permutable subgroups
0 references
subnormal subgroups
0 references