On the pronormality of subgroups of odd index in finite simple symplectic groups

Resumo

A subgroup H of a group G is pronormal if the subgroups H and H^g are conjugate in 〈H,H^g〉 for every g ∈ G. It was conjectured in [1] that a subgroup of a finite simple group having odd index is always pronormal. Recently the authors [2] verified this conjecture for all finite simple groups other than PSL_n(q), PSU_n(q), E₆(q), ²E₆(q), where in all cases q is odd and n is not a power of 2, and P Sp_2n(q), where q ≡ ±3 (mod 8). However in [3] the authors proved that when q ≡ ±3 (mod 8) and n ≡ 0 (mod 3), the simple symplectic group P Sp²ⁿ(q) has a nonpronormal subgroup of odd index, thereby refuted the conjecture on pronormality of subgroups of odd index in finite simple groups.

The natural extension of this conjecture is the problem of classifying finite nonabelian simple groups in which every subgroup of odd index is pronormal. In this paper we continue to study this problem for the simple symplectic groups P Sp_2n(q) with q ≡ ±3 (mod 8) (if the last condition is not satisfied, then subgroups of odd index are pronormal). We prove that whenever n is not of the form 2^m or 2^m(2^2k+1), this group has a nonpronormal subgroup of odd index. If n = 2^m, then we show that all subgroups of P Sp_2n(q) of odd index are pronormal. The question of pronormality of subgroups of odd index in P Sp_2n(q) is still open when n = 2^m(2^2k + 1) and q ≡ ±3 (mod 8).