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$ Commented 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$ Commented 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$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .