No Arabic abstract
In this paper we revisit two concepts which were originally introduced by Aschbacher and are crucial in the theory of saturated fusion systems: Firstly, we give a new approach to defining the centralizer of a normal subsystem. Secondly, we revisit the construction of the product of two normal subsystems which centralize each other.
Suppose $mathcal{E}$ is a normal subsystem of a saturated fusion system $mathcal{F}$ over $S$. If $Xleq S$ is fully $mathcal{F}$-normalized, then Aschbacher defined a normal subsystem $N_{mathcal{E}}(X)$ of $N_{mathcal{F}}(X)$. In this short note we revisit and generalize this result using the theory of localities. Our more general approach leads in particular to a normal subsystem $C_{mathcal{E}}(X)$ of $C_{mathcal{F}}(X)$ for every $Xleq S$ which is fully $mathcal{F}$-centralized.
The article deals with profinite groups in which the centralizers are pronilpotent (CN-groups). It is shown that such groups are virtually pronilpotent. More precisely, let G be a profinite CN-group, and let F be the maximal normal pronilpotent subgroup of G. It is shown that F is open and the structure of the finite quotient G/F is described in detail.
A group $G$ is said to have restricted centralizers if for each $g$ in $G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. Given a set of primes $pi$, we take interest in profinite groups with restricted centralizers of $pi$-elements. It is shown that such a profinite group has an open subgroup of the form $Ptimes Q$, where $P$ is an abelian pro-$pi$ subgroup and $Q$ is a pro-$pi$ subgroup. This significantly strengthens a result from our earlier paper.
The article deals with profinite groups in which the centralizers are abelian (CA-groups), that is, with profinite commutativity-transitive groups. It is shown that such groups are virtually pronilpotent. More precisely, let G be a profinite CA-group. It is shown that G has a normal open subgroup N which is either abelian or pro-p. Further, a rather detailed information about the finite quotient G/N is obtained.
The article deals with profinite groups in which centralizers are virtually procyclic. Suppose that G is a profinite group such that the centralizer of every nontrivial element is virtually torsion-free while the centralizer of every element of infinite order is virtually procyclic. We show that G is either virtually pro-p for some prime p or virtually torsion-free procyclic. The same conclusion holds for profinite groups in which the centralizer of every nontrivial element is virtually procyclic; moreover, if G is not pro-p, then G has finite rank.