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$
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$
  • $\begingroup$ It can't be true for any affine X since X may not even have any F-points. $\endgroup$ – Peter McNamara Feb 1 '12 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$ – Alexander Braverman Feb 1 '12 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, privacy policy and cookie policy

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