English
Related papers

Related papers: On non-compact $p$-adic definable groups

200 papers

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…

Logic · Mathematics 2023-07-25 Annalisa Conversano

We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure…

Logic · Mathematics 2026-01-14 Jakub Gismatullin , Immanuel Halupczok , Dugald Macpherson

Let p be a prime. A p-adic functional on a torsion-free abelian group G is a group homomorphism from G to the p-adic integers. The group of all such p-adic functionals is viewed as a p-adic dual group of G, and is studied from the point of…

Group Theory · Mathematics 2016-08-10 Gregory R. Maloney

We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type…

Logic · Mathematics 2020-07-24 Francoise Point

Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $\kappa \in [\mathfrak…

General Topology · Mathematics 2021-04-26 M. K. Bellini , A. C. Boero , V. O. Rodrigues , A. H. Tomita

We prove a conjecture due to Baumgaertel and Lledo according to which for every compact group G one has Z(G)^ \cong C(G), where the `chain group' C(G) is the free abelian group (written multiplicatively) generated by the set G^ of…

Group Theory · Mathematics 2007-05-23 Michael Mueger

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Logic · Mathematics 2025-04-29 Pablo Andújar Guerrero

We study the $p$-adic algebraic groups $G$ from the definable topological-dynamical point of view. We consider the case that $M$ is an arbitrary $p$-adic closed field and $G$ an algebraic group over ${\mathbb Q}_p$ admitting an Iwasawa…

Logic · Mathematics 2021-07-13 Jiaqi Bao , Ningyuan Yao

We give a presentation of various results on zero-groups in o-minimal structures together with some new observations. In particular we prove that if G is a definably connected definably compact group in an o-minimal expansion of a real…

Logic · Mathematics 2007-05-23 Alessandro Berarducci

We classify up to coarse equivalence all countable abelian groups of finite torsion free rank. The Q-cohomological dimension and the torsion free rank are the two invariants that give us such classification. We also prove that any countable…

Group Theory · Mathematics 2008-03-05 J. Higes

We present a series of examples of precompact, noncompact, reflexive topological Abelian groups. Some of them are pseudocompact or even countably compact, but we show that there exist precompact non-pseudocompact reflexive groups as well.…

General Topology · Mathematics 2016-03-01 S. Ardanza-Trevijano , M. J. Chasco , X. Domínguez , M. G. Tkachenko

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie…

General Topology · Mathematics 2015-01-14 Arkady Leiderman , Sidney A. Morris , Mikhail G. Tkachenko

We show that a finitely generated abelian group $G$ of torsion-free rank $n\geq 1$ admits a $n+r$ dimensional model for the classifying space with isotropy in the family of subgroups of torsion-free rank less than or equal to $r\geq 0$.

Group Theory · Mathematics 2016-04-21 Ged Corob Cook , Victor Moreno , Brita Nucinkis , Federico Pasini

We consider $G$, a linear group defined over $k$, an algebraically closed field. By considering $k$ as an embedded residue field of an algebraically closed valued field $K$, we can associate to it a compact $G$-space $S^\mu_G(k)$,…

Logic · Mathematics 2022-08-09 Moshe Kamensky , Sergei Starchenko , Jinhe Ye

A topological space is called {\it dense-separable} if each dense subset of its is separable. Therefore, each dense-separable space is separable. We establish some basic properties of dense-separable topological groups. We prove that each…

General Topology · Mathematics 2022-12-27 Fucai Lin , Qiyun Wu , Chuan Liu

We show that if $\kappa \leq \omega$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<\kappa$ then there exists a topological group $G$ such…

General Topology · Mathematics 2020-06-25 Artur Hideyuki Tomita

Let $F$ be a non-Archimedean locally compact field, let $G$ be a split connected reductive group over $F$. For a parabolic subgroup $Q\subset G$ and a ring $L$ we consider the $G$-representation on the $L$-module$$(*)\quad\quad\quad\quad…

Representation Theory · Mathematics 2015-01-14 Elmar Grosse-Klönne

According to Comfort, Raczkowski and Trigos-Arrieta, a dense subgroup D of a compact abelian group G determines G if the restriction homomorphism G^ --> D^ of the dual groups is a topological isomorphism. We introduce four conditions on D…

General Topology · Mathematics 2016-03-25 Dikran Dikranjan , Dmitri Shakhmatov

A ring A is called presimplifiable if whenever a; b belongs to A and a = ab, then either a = 0 or b is a unit in A. Let A be a commutative ring and G be an abelian torsion group. For the group ring A[G], we prove that A[G] is…

Commutative Algebra · Mathematics 2020-12-29 Omar Al-mallah

We say that a subgroup $H$ of an infinite compact Abelian group $X$ is {\it $T$-characterized} if there is a $T$-sequence $\mathbf{u} =\{u_n \}$ in the dual group of $X$ such that $H=\{x\in X: \; (u_n, x)\to 1 \}$. We show that a closed…

Group Theory · Mathematics 2015-02-10 S. Gabriyelyan