0
$\begingroup$

Let $G$ be a connected algebraic group and $H$ a closed connected subgroup of $G$ (these are the general hypothesis I work with).

Let us denote $N_G(H) = \{ g \in G \, / \, \forall h \in H; \, ghg^{-1} \in H \}$ the Normalizer of $H$ in $G$ and $C_G(H) = \{ g \in G \, / \, \forall h \in H; \, gh = hg \}$ the Centralizer of $H$ in $G$.

Is it true that $C_G(H)$ is the identity component of $N_G(H)$ ? (i.e. the greatest connected algbraic group that contains the identity element).

Thanks in advance.

K. Y.

$\endgroup$
  • $\begingroup$ No it is not in general. Take $G=H=SL_2$ $N_G(H)=G$ is connected but $C_G(H)=Z(G)$ is of order $2$ and thus disconnected. You might want to look for more hypothesis in your problem. $\endgroup$ – Clément Guérin Apr 5 '18 at 23:30
  • $\begingroup$ What if, for example, $H$ is a proper subgroup of $G$? $\endgroup$ – Kal_Aki Apr 5 '18 at 23:44
  • $\begingroup$ It does not significantly change the problem because in an algebraic group, you have many connected non-abelian subgroups that are self-normalizing (parabolic subgroups, maximal subgroups). $\endgroup$ – Clément Guérin Apr 5 '18 at 23:52
  • $\begingroup$ For example, I think it is possible if $G = GL_n(\mathbb{k})$ and $H = D_n(\mathbb{k})$. Is it right? $\endgroup$ – Kal_Aki Apr 6 '18 at 0:29
  • $\begingroup$ In the case you mention it works. More generally if you take $H$ to be a Cartan subgroup of a connected reductive group $G$ it will work as well. $\endgroup$ – Clément Guérin Apr 6 '18 at 1:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.