Related papers: Commutators in groups definable in o-minimal struc…

We define the notion of accessibility for a pro-$p$ group. We prove that finitely generated pro-$p$ groups are accessible given a bound on the size of their finite subgroups. We then construct a finitely generated inaccessible pro-$p$…

Commensurable groups are bi-interpretable, under suitable definability conditions.

Let $\gamma_n=[x_1,\dots,x_n]$ be the $n$th lower central word. Denote by $X_n$ the set of $\gamma_n$-values in a group $G$ and suppose that there is a number $m$ such that $|g^{X_n}|\leq m$ for each $g\in G$. We prove that…

We introduce the Hausdorff measure for definable sets in an o-minimal structure, and prove the Cauchy-Crofton and co-area formulae for the o-minimal Hausdorff measure. We also prove that every definable set can be partitioned into "basic…

For odd and for even involutive, commutative residuated chains a representation theorem is presented in this paper by means of direct systems of abelian o-groups equipped with further structure. This generalizes the corresponding result of…

We determine the smallest irreducible Brauer characters for finite quasi-simple orthogonal type groups in non-defining characteristic. Under some restrictions on the characteristic we also prove a gap result showing that the next larger…

We present an explicit structure for the Baer invariant of a finitely generated abelian group with respect to the variety $[\mathfrak{N}_{c_1},\mathfrak{N}_{c_2}]$, for all $c_2\leq c_1\leq 2c_2$. As a consequence we determine necessary and…

We define the notion of computability of F{\o}lner sets for finitely generated amenable groups. We prove, by an explicit description, that the Kharlampovich group, a finitely presented solvable group with unsolvable word problem, has…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of…

We demonstrate the following uniform local definable cell decomposition theorem in this paper. Consider a structure $\mathcal M = (M, <,0,+, \ldots)$ elementarily equivalent to a locally o-minimal expansion of the group of reals $(\mathbb…

We introduce the notions of definable amenability and extreme definable amenability for groups in continuous structures and conduct an extensive analysis of them, drawing parallels with the classical first-order case. We characterize both…

An $\mathfrak{M}_C$ group is a group in which all chains of centralizers have finite length. In this article, we show that every nilpotent subgroup of an $\mathfrak{M}_C$ group is contained in a definable subgroup which is nilpotent of the…

We provide an algorithm which, for a given quadratic equation in the Grigorchuk group determines if it has a solution. As a corollary to our approach, we prove that the group has a finite commutator width.

This article began as a study of the structure of infinite permutation groups G in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations. One is the generalisation in which point…

We give necessary and sufficient conditions on a non-oscillatory curve in an o-minimal field such that, for any bounded definable function, the germ of the function on an initial segment of the curve can be continuously extended to a closed…

We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense…

By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an expansion of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show…

We prove that every amenable group of cohomological dimension two whose integral group ring is a domain is solvable and investigate certain homological finiteness properties of groups that satisfy the analytic zero divisor conjecture and…

In this paper we prove that the homological dimension of an elementary amenable group over an arbitrary commutative coefficient ring is either infinite or equal to the Hirsch length of the group. Established theory gives simple group…