Related papers: Definability of groups in $\aleph_0$-stable metric…

We prove that if $F$ is a finitely generated abelian group of orientation preserving $C^1$ diffeomorphisms of $R^2$ which leaves invariant a compact set then there is a common fixed point for all elements of $F.$ We also show that if $F$ is…

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 study the structure of invariant measures for continuous automorphisms of compact metrizable abelian groups satisfying the descending chain condition. We show that the finitely supported invariant measures are weak-* dense in the space…

We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chunk result reconstructing a hyper-definable group from its…

It is shown that every separable abelian topological group is isomorphic with a topological subgroup of a monothetic group (that is, a topological group with a single topological generator). In particular, every separable metrizable abelian…

Different group structures which underline the integrable systems are considered. In some cases, the quantization of the integrable system can be provided with substituting groups by their quantum counterparts. However, some other group…

We show that in a Morse local-to-global group where stable subgroups are separable, the product of any stable subgroups is separable. As an application, we show that the product of stable subgroups in virtually special groups is separable.

We show that a large class of divisible abelian $\ell$-groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets of these functions. This has various applications to the…

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

The stable torsion length in a group is the stable word length with respect to the set of all torsion elements. We show that the stable torsion length vanishes in crystallographic groups. We then give a linear programming algorithm to…

Given a group $G$ with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of $G$ is finitely generated and virtually abelian of rank at most $2$. In particular this gives a new proof of the above…

We consider metric versions of the notions of local embeddability and LEF. We pay special attention to normally finitely generated groups with word metrics.

Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or…

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…

I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is governed by the possibility of collapse: elements may be…

We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product…

Let G be a locally compact group, and let U be its unitary representation on a Hilbert space H. Endow the space L(H) of linear bounded operators on H with weak operator topology. We prove that if U is a measurable map from G to L(H) then it…

An endomorphisms $\varphi$ of an abelian group $A$ is said inertial if each subgroup $H$ of $A$ has finite index in $H+\varphi (H)$. We study the ring of inertial endomorphisms of an abelian group. Here we obtain a satisfactory description…

We prove an analogue of the fixed-point theorem for the case of definably amenable groups.