What is the intersection of all Sylow $p$-subgroup's normalizer? Intersection of all Sylow $p$-subgroups is generally denoted by $O_p(G)$ and it is one of the well studied topics in group theory as there are many theorems related to this.

Let $R$ be intersection of all Sylow $p$-subgroup's normalizer in $G$. It is easy to observe that $R$ is a characteristic subgroup of $G$ containing $O_p(G)$. I wonder the properties of $R$ and its relation with $O_p(G)$. 

If anyone can find or observe something about $R$, I would be thankful.
 A: For reference, here is what we've got so far:
Let $G$ be a finite group with Sylow $p$-subgroup $P$ and set  $R= \bigcap N_G(P^g) = \bigcap N_G(P)^g$ to be the intersection of the Sylow $p$-normalizers.
$R$ is an important subgroup, it is the normal core of $N_G(P)$ and the kernel of the permutation action of $G$ on its Sylow $p$-subgroups. In particular, if one wanted to organize groups by how they acted on their Sylow $p$-subgroups, we'd need two invariants: (1) a transitive permutation group whose point stabilizer is the normalizer of a Sylow $p$-subgroup, and (2) $R$.
Consider $[P,R]$. Since $R$ normalizes $P$, we get $[R,P] \leq P$. However $R$ is itself a normal (characteristic) subgroup of $G$, so $[R,P] \leq R$ as well. In other words $[R,P] \leq R \cap P$.
Consider $R \cap P$, a $p$-subgroup normalizing each Sylow subgroup $P^g$. Since $(R \cap P) P^g$ is a subgroup, it is a $p$-subgroup, and so is actually equal to $P^g$, since $P^g$ is maximal amongst $p$-subgroups. Hence $R \cap P \leq P^g$ for all $g$. Taking the intersection we get $R \cap P \leq O_p(G)$. Since $O_p(G)$ is a $p$-subgroup of $R$ contained in $P$, we also get $O_p(G) \leq R \cap P$. Hence $R \cap P = O_p(G)$.
For any $G$-normal subgroup $X$, $X \cap P$ is a Sylow $p$-subgroup of $X$. Hence $O_p(G)$ is a normal $p$-subgroup of $R$. By Schur-Zassenhaus $R=Q \ltimes O_p(G)$ for some $p'$-subgroup $Q$. Since $[Q,P] \leq R\cap P = O_p(G)$, we get that $Q$ centralizes $P/O_p(G)$, but $Q$ need not centralize $O_p(G)$, lest it centralize all of $P$.
Indeed, I think one of the first things to decide is how much different $R$ is from $Z=\bigcap C_G(P^g) = \bigcap C_G(P)^g$. When $O_p(G)=1$, we get $R=Z$, so that $Q \leq Z$.

A survey of small groups (in progress) reveals a variety of structures of $R/Z$:
Amongst the isomorphism classes of groups $G$ with $|G|\leq 1000$ and the conjugation action of $G$ on its Sylow 3-subgroups isomorphic to $A_4$'s action, the quotients $R/Z$ occur with the following frequencies:


*

*$R=Z$, 1705 times

*$[R:Z] = 2$, 199 times

*$[R:Z] = 3$, 115 times

*$R/Z \cong C_4$, 5 times

*$R/Z \cong C_2 \times C_2$, 13 times

*$R/Z \cong S_3$, 49 times

*$R/Z \cong C_6$, 3 times

*$R/Z \cong C_8$, 1 times

*$R/Z \cong D_8$, 1 times

*$R/Z \cong Q_8$, 1 times

*$R/Z \cong C_3 \times C_3$, 151 times

*$R/Z \cong C_3 \times S_3$, 2 times

*$R/Z \cong \operatorname{Dih}(C_3 \times C_3)$, 17 times

*$R/Z \cong C_3 \ltimes C_9$, 9 times

*$R/Z \cong C_3 \ltimes (C_3 \times C_3)$, 26 times

*$R/Z \cong C_3 \times C_3 \times C_3$, 21 times

*$R/Z \cong \operatorname{Dih}(C_3 \times C_3 \times C_3)$, 1 times

A: On the embedding of $R$ in $G$:
$R$ is similar to $O_p(G)$, and it is a fairly convenient fact that $O_p(G) = P \cap P^g$ for two Sylow $p$-subgroups of $G$ for many $G$ (for instance $G$ with abelian Sylow $p$-subgroups by Brodkey (1963), or $G$ $p$-solvable for $p>2$ by Itô (1958) and Robinson (1984)), and $O_p(G) = P \cap P^g \cap P^h$ for all finite $G$ by Mazurov-Zenkov (1995). In other words, the intersection of all Sylow $p$-subgroups is also the intersection of a few well chosen Sylow $p$-subgroups.
$R$ is the intersection of all Sylow $p$-normalizers, so it is a reasonable question whether $R$ is the intersection of just a few Sylow $p$-normalizers.
Itô's specific bound of 2 is not enough for $R$: Let $G_1= \operatorname{GL}(2,2) \times \operatorname{GL}(2,2)$, $V= \operatorname{GF}(2)^4$ its natural module, and $G=G_1 \ltimes V$ be the associated affine group. Then the natural action of $G$ (with $V$ a regular normal subgroup) is also the action of $G$ by conjugation on its Sylow 3-subgroups. By Itô (1958), $O_p(G)$ is the intersection of two of its Sylow $3$-subgroups, but a direct calculation shows $R$ is not the intersection of two Sylow $3$-normalizers (but is the intersection of 3).
There are 6 other examples with very similar behavior ($p$ odd, $G$ is $p$-solvable, $R$ is the intersection of three but not two Sylow $p$-normalizers; in each case $p=3$ and $G$ is actually solvable).
Brodkey's bound of $2$ is also not enough for $R$: let $G=A_5 \times D_{10}$ acting on its Sylow $2$-subgroups (not its natural action). Then $O_p(G)$ s equal to the intersection of (any) two Sylow $2$-subgroups, but again $R$ requires three Sylow $2$-normalizers. There are four other examples of $G$ with less than 30 Sylow $2$-subgroups, all of which are abelian, yet whose $R$ is not the intersection of any two Sylow $2$-normalizers; in each case $R$ is the intersection of three Sylow $2$-normalizers.
Bibliography


*

*Itô, Noboru
Über den kleinsten p-Durchschnitt auflösbarer Gruppen.
Arch. Math. (Basel) 9 (1958) 27–32.
MR131455
DOI:10.1007/BF02287057

*Brodkey, Jerald S.
“A note on finite groups with an abelian Sylow group.”
Proc. Amer. Math. Soc. 14 (1963) 132–133.
MR142631
DOI:10.2307/2033973

*Robinson, Geoffrey R.
“On Sylow intersections in finite groups.”
Proc. Amer. Math. Soc. 90 (1984), no. 1, 21–24.
MR722407
DOI:10.2307/2044660

*Mazurov, V. D.; Zenkov, V. I.
“Intersections of Sylow subgroups in finite groups.”
The atlas of finite groups: ten years on (Birmingham, 1995), 191–197, 
London Math. Soc. Lecture Note Ser., 249, Cambridge Univ. Press, Cambridge, 1998.
MR1647422
DOI:10.1017/CBO9780511565830.019
A: 
$R_p(G)$ is $p$-solvable, but for every odd prime $p$ there is a finite group $G$ such that $R_p(G)$ is not solvable.

We consider solvability properties of $R_p(G) = \bigcap\{ N_G(P^g) : g \in G \}$ where $P$ is a Sylow $p$-subgroup of $G$. By the previous answer, $R_p(G) = Q \ltimes O_p(G)$ is $p$-closed, so definitely $p$-solvable ($p$-length 1, even).
If $p=2$, then clearly $R_2(G)$ is solvable by Feit–Thompson's odd order theorem. In cases where $|G|\leq 1000$, $R_p(G)$ is always solvable. However, in general this need not be true, since we can take $R_p(G) = G$ by taking any $G$ with a normal Sylow $p$-subgroup. Any such group is $p$-solvable, but need not be solvable. For example $G=A_5 \times C_7$ and $p=7$ works.
A slightly less  trivial example (the smallest pefect example in fact) is $G=A_5 \times \operatorname{GL}(3,2)$ with $p=5$ or $p=7$ and $R_p(G)$ is the coprime direct factor. The next smallest perfect example is $G=\operatorname{SL}(2,5) \ltimes \operatorname{GF}(11)^2$ with $p=11$, and then $O_p(G)=P=Z:=\bigcap\{ C_G(P^g) : g \in G\}$ is a Sylow $p$-subgroup, and $R_p(G)/O_p(G)=\operatorname{SL}(2,5)$ is $11$-solvable (being of order coprime to 11) but not solvable.
