MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let G be a zariski dense subgroup of algebraic group H. Then is H the zariski closure of G? Conversely, If G is a subgroup of the algebraic group H and if H is the zariski closure of G, then is G Zariski dense in H?

What are the equivalent conditions of being zariski dense subgroup of an algebraic group?

Thanks in advance.

share|cite|improve this question
Either I don't understand the question, or this is just a trivial consequence of the definition of "dense". – Martin Brandenburg Sep 27 '10 at 15:45
It seems like an elementary exercise in general topology, and it has nothing to do with Zariski topology or algebraic groups. – Qfwfq Sep 27 '10 at 15:49

I am also not sure, whether I understand the question properly; but it seems to me that one should distinguish carefully between the group scheme and its geometric points here.

To fix ideas, let $K$ be an algebraically closed field and $G/K$ an algebraic group. An algebraic subgroup of $G$ is by definition a closed subgroup scheme of $G$. Furthermore there is the abstract group $G(K)$, and we have the Zariski topology on $G(K)$. There is a bijection $H\mapsto H(K)$ from the set of smooth algebraic subgroups of $G$ to the set of closed subgroups of $G(K)$. (Cf. Milne's lecture notes on algebraic groups for example.)

If $\Gamma$ is a subgroup of $G(K)$, then there is a unique smooth algebraic subgroup $\Gamma^{zar}$ of $G$, such that $\Gamma^{zar}(K)=\overline{\Gamma}$. Some people call the algebraic group $\Gamma^{zar}$ the Zariski closure of $\Gamma$.

Assume now that $G$ is smooth. With the above terminology we see:

a) If $\Gamma$ is Zariski dense in $G(K)$, then $\Gamma^{zar}=G$.

b) If $H$ is a smooth algebraic subgroup of $G$ and $H(K)$ is Zariski dense in $G(K)$, then $H(K)=G(K)$ and consequently $H=G$.

And one cannot drop the smoothness assumption on $G$ here.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.