Related papers: Approximate subgroups

A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of…

Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo…

Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares).

A topological group $G$ has the Approximate Fixed Point (AFP) property on a bounded convex subset $C$ of a locally convex space if every continuous affine action of $G$ on $C$ admits a net $(x_i)$, $x_i\in C$, such that…

A new flavour of amenability for discrete semigroups is proposed that generalises group amenability and follows from a \Folner-type condition. Some examples are explored, to argue that this new notion better captures some essential ideas of…

A closed subgroup H of the affine, algebraic group G is called observable if G/H is a quasi-affine algebraic variety. In this paper we define the notion of an observable subgroup of the affine, algebraic monoid M. We prove that a subgroup H…

We say that a finite almost simple $G$ with socle $S$ is admissible (with respect to the spectrum) if $G$ and $S$ have the same sets of orders of elements. Let $L$ be a finite simple linear or unitary group of dimension at least three over…

We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble…

We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…

It is proved that a discrete group $G$ is amenable if and only if for every unitary representation of $G$ in an infinite-dimensional Hilbert space $\cal H$ the maximal uniform compactification of the unit sphere $\s_{\cal H}$ has a…

The hyperlinear profile of a group measures the growth rate of the dimension of unitary approximations to the group. We construct a finitely-presented group whose hyperlinear profile is at least subexponential, i.e. at least…

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…

Let $G$ be an arbitrary group. We show that if the Fitting subgroup of $G$ is nilpotent then it is definable. We show also that the class of groups whose Fitting subgroup is nilpotent of class at most $n$ is elementary. We give an example…

This article introduces descriptive fixed sets and their properties in descriptive proximity spaces viewed in the context of planar ribbon complexes. These fixed sets are a byproduct of descriptive proximally continuous maps that spawn…

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

We study amenability of affine algebras (based on the notion of almost-invariant finite-dimensional subspace), and apply it to algebras associated with finitely generated groups. We show that a group G is amenable if and only if its group…

We start an analysis of geometric properties of a structure relative to a reduct. In particular, we look at definability of groups and fields in this context. In the relatively one-based case, every definable group is isogenous to a…

Let $G$ be a finite group and assume $p$ is a prime dividing the order of $G$. Suppose for any such $p$, that every two abelian $p$-subgroups of $G$ of equal order are conjugate. The structure of such a group $G$ has been settled in this…

It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic…

The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…