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$ 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$ May 15, 2018 at 13:14
  • 1
    $\begingroup$ @GeoffroyHorel it's now been edited $\endgroup$
    – YCor
    May 15, 2018 at 13:48

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.