Related papers: Separability of unipotent-free abelian subgroups i…

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

We show that for any finitely generated subgroup $H$ of a limit group $L$ there exists a finite-index subgroup $K$ containing $H$, such that $K$ is a subgroup of a group obtained from $H$ by a series of extensions of centralizers and free…

Let G be a finite abelian group and F a field such that char(F) does not divide |G|. Denote by FG the group algebra of G over F. A (semisimple) abelian code is an ideal of FG. Two codes I and J of FG are G-equivalent if there exists an…

If $\Gamma$ is an irreducible non-uniform higher-rank characteristic zero arithmetic lattice (for example, $SL_n(\mathbb{Z})$, $n \geq 3$) and $\Lambda$ is a finitely generated group that is elementarily equivalent to $\Gamma$, then…

In this article, we characterise geometrically when a right-angled Artin group splits over an abelian subgroup. More precisely, given a finite graph $\Gamma$, we show that $A(\Gamma)$ splits over an abelian subgroup if and only if it is…

We study model geometries of finitely generated groups. If a finitely generated group does not contain a non-trivial finite rank free abelian commensurated subgroup, we show any model geometry is dominated by either a symmetric space of…

By a recent result of Juh\'{a}sz and van Mill, a locally compact topological group whose dense subspaces are all separable is metrizable. In this note we investigate the following question: is every locally compact group having all dense…

In this paper, we establish sharp thresholds on the independence number of the comaximal subgroup graph $\Gamma(G)$ that guarantee solvability, supersolvability, and nilpotency of the underlying group $G$. Specifically: \begin{itemize}…

For every finitely generated free group $F$, we construct an irreducible open $3$-manifold $M_F$ whose end set is homeomorphic to a Cantor set, and with the end homogeneity group of $M_F$ isomorphic to $F$. The end homogeneity group is the…

Let $\Gamma$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $\Gamma$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $\Gamma$ is bi-interpretable…

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

We establish several finiteness properties of groups defined by algebraic difference equations. One of our main results is that a subgroup of the general linear group defined by possibly infinitely many algebraic difference equations in the…

Let $G$ be a nonabelian group and $n$ a natural number. We say that $G$ has a strict $n$-split decomposition if it can be partitioned as the disjoint union of an abelian subgroup $A$ and $n$ nonempty subsets $B_1, B_2, \ldots, B_n$, such…

We give a new proof of the theorem stating that for any connected linear algebraic group G over an algebraically closed field k of characteristic 0 and for any closed connected subgroup H of G, the unramified Brauer group of G/H vanishes.

Let M = H^3 / \Gamma be a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of \Gamma and g is in \Gamma, then the double coset HgK is separable in \Gamma. As a consequence we prove that if M is a closed,…

We give an upper bound for the essential dimension of a smooth unipotent algebraic group over an arbitrary field. We also show that over a field $k$ which is finitely generated over a perfect field, a smooth unipotent algebraic $k$-group is…

It is shown, for a given graph group $G$, that the fixed point subgroup Fix$\,\varphi$ is finitely generated for every endomorphism $\varphi$ of $G$ if and only if $G$ is a free product of free abelian groups. The same conditions hold for…

We prove that if $A$ is a non-separable abelian tracial von Neuman algebra then its free powers $A^{*n}, 2\leq n \leq \infty$, are mutually non-isomorphic and with trivial fundamental group, $\mathcal F(A^{*n})=1$, whenever $2\leq…

Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to…

Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has…