17
$\begingroup$

Is $GL_n(\mathbb{Q}_p)=GL_n(\mathbb{Z}_p)GL_n(\mathbb{Q})$? Generally, let $R$ be a discrete valuation ring and $K$ its fraction field. Let $\widehat{R}$ be the completion and $\widehat{K}$ the fraction field of $\widehat{R}$. Is $GL_n(\widehat{K})=GL_n(\widehat{R})GL_n(K)$? We know it is true when $n=1$.

$\endgroup$
1
  • $\begingroup$ The completion is still a discrete valuation ring. So we may use Smith normal form. $\endgroup$ Commented May 15, 2018 at 7:35

1 Answer 1

26
$\begingroup$

Yes: more generally for every topological group $G$, dense subgroup $H$ and open subgroup $U$, we have $G=UH$.

This applies when $F$ is a valued field, $A$ an open subring (typically, elements of non-negative valuation), and $K$ any dense subfield of $F$, $G=\mathrm{GL}_n(F)$, $H=\mathrm{GL}_n(K)$, $U=\mathrm{GL}_n(A)$.

$\endgroup$
2
  • 1
    $\begingroup$ There is a $K$ that should be an $F$. I tried to edit this but for some reason an edit has to be at least 6 characters. $\endgroup$ Commented May 15, 2018 at 13:14
  • 1
    $\begingroup$ @GeoffroyHorel it's now been edited $\endgroup$
    – YCor
    Commented May 15, 2018 at 13:48

You must log in to answer this question.

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