1
$\begingroup$

I want to know if connected reductive groups over non archimedean local fields have a dense countable subset. I was thinking that this should be true because if $G(\mathbb{F})$ is such group where $\mathbb{F}$ is a non archimedian local field then there exist an embedding of $G(\mathbb{F})$ into some matrix group GL$_n(\bar{\mathbb{F}})$. I then suppose that this map is continuous and open, right? and since $\bar{\mathbb{F}}$ has a dense countable set, or not? then $G(\mathbb{F})$ has a dense countable set. Can somone give me a reference of this result if it is true?

Thank you

$\endgroup$

2 Answers 2

4
$\begingroup$

I think this is true for any affine variety $X$ over $F$: by Noether normalization lemma it can be represented as a finite cover of an affine space, for which the statement is clearly true (then take pre-image in $X$).

$\endgroup$
2
  • $\begingroup$ It can't be true for any affine X since X may not even have any F-points. $\endgroup$ Feb 1, 2012 at 3:33
  • 1
    $\begingroup$ Well, but in that case it still has a dense countable subset by definition (I thought countable means actually no more than countable) $\endgroup$ Feb 1, 2012 at 4:04
4
$\begingroup$

This is true because G is unirational, eg Springer, Linear Algebraic Groups, Corollary 13.3.9(ii).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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