Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
up vote 11 down vote favorite
1

Let $k$ be an algebraically closed field and let $G\leq\rm{GL}_n(k)$. Assume that $M<G$ is a maximal subgroup (in the abstract group sense). Denote by $\bar{G}^Z$ the Zariski closure of $G$ in $\rm{GL}_n(k)$. Is it true that $\bar{M}^Z<\bar{G}^Z$ is a maximal subgroup in the algebraic groups sense? If yes, would it be a maximal subgroup in the abstract group sense?
Thanks in advance for any help.

share|improve this question
Do you mean by linear group, an (affine) algebraic group ? – QiL'8 Oct 29 '12 at 21:56
That was redundant, since it just meant that $G\leq{\rm{GL}}_n(k)$. BTW, I found a nice counter-example since then. I just didn't delete the question since I hoped that someone will answer it eventually (didn't want to answer my own question) – Dennis Gulko Oct 29 '12 at 23:46
Thanks! I asked the question because a linear subgroup is always closed for the Zariski topology. It would be nice if you could give your counterexample. – QiL'8 Oct 30 '12 at 8:42
1  
Take $G={\rm{SO}}_2(\mathbb{R})\ltimes\mathbb{R}^2$. Then $H={\rm{SO}}_2(\mathbb{R})$ is a maximal subgroup of $G$. Then $\bar{G}^Z={\rm{SO}}_2(\mathbb{C})\ltimes\mathbb{C}^2$ and $\bar{H}^Z={\rm{SO}}_2(\mathbb{C})$, which is no longer maximal, since it stabilizes a line $L=\langle(1,i)\rangle$, and hence is a subgroup of ${\rm{SO}}_2(\mathbb{C})\ltimes L$ – Dennis Gulko Oct 30 '12 at 9:04

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.