On the number of invariant Sylow subgroups under coprime action
Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Finite nilpotent groups, (p)-groups (20D15) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Arithmetic and combinatorial problems involving abstract finite groups (20D60)
In this paper and in this review, only finite groups are considered. The general assumption is that a group \(A\) acts on a group \(G\) and that \(\gcd(|A|, |G|)=1\). Let \(\nu_p^A(G)\) denote the number of \(A\)-invariant Sylow \(p\)-subgroups of \(G\). The aim of this paper is to obtain some arithmetical properties on these numbers. The first main result of the paper, Theorem~A, can be regarded as a generalisation of a result of [\textit{M. Hall}, J. Algebra 7, No. 3, 363--371 (1967; Zbl 0178.02102)]: If \(N\) is an \(A\)-invariant normal subgroup of \(G\), then for every prime \(p\) and every \(A\)-invariant Sylow \(p\)-subgroup \(P\) of \(G\) we have that \(\nu_p^A(G)=\nu_p^A(G/N)\nu_p^A(N)\nu_p^A(\text{N}_{PN}(P\cap N))\). In Theorem~B, it is shown that if \(H\) is an \(A\)-invariant subgroup of \(G\) and \(\text{C}_G(A)\leq \text{N}_G(H)\), then \(\nu_p^A(H)\) divides \(\nu_p^A(G)\) for every prime \(p\). In general, for every \(A\)-invariant subgroup \(H\) of \(G\), it is shown that \(\nu_p^A(H)\leq \nu_p^A(G)\) for every prime \(p\). For soluble groups, this result is improved in Theorem~C: If \(G\) is a soluble finite group acted on comprimely by a finite group \(A\) and \(H\) is an \(A\)-invariant subgroup of \(G\), then \(\nu_p^A(H)\) divides \(\nu_p^A(G)\) for every prime \(p\). The solubility hypothesis cannot be removed, as shown in one example. The authors present some examples showing that some arithmetical properties that one could expect do not hold. For instance, \(\nu_p^A(G)\) need not be congruent to~\(1\) modulo~\(p\). Lemma~2.2 shows that if the action of \(A\) on~\(G\) is coprime, then \(\nu_p^A(G)\) divides \(\nu_p(G)\), but this property does not hold when the action is not coprime.
- Arithmetical conditions on invariant Sylow numbers
- On the number of invariant Hall subgroups under coprime action
- Sylow 2-subgroups of the fixed point subgroup and the solvability of finite groups
- Invariant class sizes and solvability of finite groups under coprime action.
- Indices of maximal invariant subgroups and solvability of finite groups
- On the number of invariant Hall subgroups under coprime action
- Restrictions on maximal invariant subgroups implying solvability of finite groups
- Invariant complements normalized by the fixed point subgroup
- Orbits of maximal invariant subgroups and solvability of finite groups
- Indices of maximal invariant subgroups and solvability of finite groups
- Coprime action and arithmetical conditions on invariant conjugacy classes.
- Some sufficient and necessary conditions for p-solvability of a finite group
This page was built for publication: On the number of invariant Sylow subgroups under coprime action
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401719)
