a95159230146fdf5.tex
1: \begin{abstract}
2:   We generalize two of our previous results on abelian definable
3:   groups in $p$-adically closed fields
4:   \cite{J-Y-Non-compact,jy-abelian} to the non-abelian case.  First,
5:   we show that if $G$ is a definable group that is not definably
6:   compact, then $G$ has a one-dimensional definable subgroup which is
7:   not definably compact.  This is a $p$-adic analogue of the
8:   Peterzil-Steinhorn theorem for o-minimal theories
9:   \cite{Peterzil-Steinhorn}.  Second, we show that if $G$ is a group
10:   definable over the standard model $\Qq_p$, then $G^0 = G^{00}$.  As
11:   an application, definably amenable groups over $\Qq_p$ are open
12:   subgroups of algebraic groups, up to finite factors.  We also prove
13:   that $G^0 = G^{00}$ when $G$ is a definable subgroup of a linear
14:   algebraic group, over any model.
15: \end{abstract}
16: