In flipping through the Springer lecture notes on Serre's 1964 'Lie Algebras and Lie Groups' lectures at Harvard, I found this pair of suprising results (page 157):

Let $G$ be a locally compact group. Then

- (Gleason-Montgomery-Zippin-Yamabe) G is a real Lie group iff it does not contain arbitrarily small subgroups (i.e., there exists a neighbourhood of the identity containing no nontrivial subgroup).
- (Lazard) G is a $p$-adic Lie group iff it contains an open subgroup $U$ such that $U$ is a finitely generated pro-$p$-group with $[U,U] \subset U^{p^2}$.

Are there further results that tell us when $G$ is a Lie group over $K$, $K = \mathbb{C}$ or $[K: \mathbb{Q}_p] < \infty$?

adjointquotients since $m$ is odd. So by Zariski closure with analytic and algebraic Ad$_G$, SO$(q)(K)$ and SO$(q')(K)$ are not isomorphic $K$-analytically, but they are isomorphic topologically! $\endgroup$ – user36938 Jul 20 '13 at 14:33