No CrossRef data available.
Article contents
ONE-DIMENSIONAL SUBGROUPS AND CONNECTED COMPONENTS IN NON-ABELIAN p-ADIC DEFINABLE GROUPS
Published online by Cambridge University Press: 29 April 2024
Abstract
We generalize two of our previous results on abelian definable groups in p-adically closed fields [12, 13] to the non-abelian case. First, we show that if G is a definable group that is not definably compact, then G has a one-dimensional definable subgroup which is not definably compact. This is a p-adic analogue of the Peterzil–Steinhorn theorem for o-minimal theories [16]. Second, we show that if G is a group definable over the standard model $\mathbb {Q}_p$, then
$G^0 = G^{00}$. As an application, definably amenable groups over
$\mathbb {Q}_p$ are open subgroups of algebraic groups, up to finite factors. We also prove that
$G^0 = G^{00}$ when G is a definable subgroup of a linear algebraic group, over any model.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline620.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline621.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline622.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline623.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline624.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline625.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline626.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline627.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline628.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline629.png?pub-status=live)