相关论文: Infinitary Axiomatizability of Slender and Cotorsi…

Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the…

Given an aleph_1-free abelian group G we characterize the class C_G of all torsion abelian groups T satisfying Ext(G,T)=0 assuming the continuum hypothesis CH. Moreover, in Godel's constructable universe we prove that this characterizes C_G…

We introduce and systematically study linear sofic groups and linear sofic algebras. This generalizes amenable and LEF groups and algebras. We prove that a group is linear sofic if and only if its group algebra is linear sofic. We show that…

We prove in ZFC that the Baer-Specker group Z^omega has 2^{aleph_1} non-free pure subgroups of cardinality aleph_1 which are almost disjoint: there is no non-free subgroup embeddable in any pair.

It is known that every torsion-free abelian group of finite rank has a maximal completely decomposable summand that is unique up to isomorphism. We show that groups of infinite rank need not have maximal completely decomposable summands,…

We study the notion of linear sofic approximations for algebras, analogous to the concept of sofic representations for groups. We prove that for a finitely generated amenable $K$-algebra with no zero divisors, all linear sofic…

We give Scott sentences for certain computable groups, and we use index set calculations as a way of checking that our Scott sentences are as simple as possible. We consider finitely generated groups and torsion-free abelian groups of…

Finitely generated (non-abelian) free metabelian pro-p groups, and wreath products of f.g. free abelian pro-p groups, are all finitely axiomatizable in the class of all profinite groups.

In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…

We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of…

Birman-Lubotzky-McCarthy proved that any abelian subgroup of the mapping class groups for orientable surfaces is finitely generated. We apply Birman-Lubotzky-McCarthy's arguments to the mapping class groups for non-orientable surfaces. We…

The problem of the existence of non-pseudo-$\aleph_1$-compact $\mathbb R$-factorizable groups is studied. It is proved that any such group is submetrizable and has weight larger than $\omega_1$. Closely related results concerning the…

Any non-residually finite Baumslag-Solitar group has a non-residually finite image in the abstract commensuration of a nonabelian free group. This gives a new proof (avoiding Britton's Lemma) of the classification of residually finite…

The Baumslag-Solitar groups: BS(m,n)=<x,y| x y^{m} x^{-1} = y^{n}> are some of the simplest interesting infinite groups which are not lattices in Lie groups. They have been studied in depth from the point of view of combinatorial group…

We consider model-theoretic properties related to the expressive power of three analogues of $L_{\omega_1, \omega}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the…

We introduce a new class of Abelian groups which lies strictly between the classes of co-Hopfian groups and Dedekind-finite groups, calling these groups {\it Bassian-finite}. We prove the surprising fact that in the torsion case the…

We prove that all invariant random subgroups of the lamplighter group $L$ are co-sofic. It follows that $L$ is permutation stable, providing an example of an infinitely presented such a group. Our proof applies more generally to all…

We show that a linear group without unipotent elements of infinite order possesses properties akin to those held by groups of non positive curvature. Moreover in positive characteristic any finitely generated linear group acts properly and…

By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality…

The Lodha-Moore groups provide the first known examples of type F_\infty groups that are non-amenable and contain no non-abelian free subgroups. These groups are related to Thompson's group F in certain ways, for instance they contain it as…