Related papers: Strongly bounded groups and infinite powers of fin…

This note is a continuation of the study of the relationship between the geometry of Cayley graphs and the size of its metric-functional boundary. We show that, if there exists a Cayley graph with finitely many Busemann points, then the…

One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some…

Given a finite group $G$, we denote by $L(G)$ the subgroup lattice of $G$ and by ${\rm Isolated}(G)$ the set of isolated subgroups of $G$. In this note, we describe finite groups $G$ such that $|{\rm Isolated}(G)|=|L(G)|-k$, where…

We prove the following to results: (1) A subgroup G of the isometry group of a Riemannian manifold M acts properly on M if and only if G is closed in the isometry group of M. (2) The orbits of an isometric action are closed if and only if…

We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for…

Classically, an abelian group $G$ is said to be slender if every homomorphism from the countable product $\mathbb Z^{\mathbb N}$ to $G$ factors through the projection to some finite product $\mathbb Z^n$. Various authors have proposed…

We consider the {\it concentration functions problem} for discrete quantum groups; we prove that if $\mathbb{G}$ is a discrete quantum group, and $\mu$ is an irreducible state in $l^1(\mathbb{G})$, then the convolution powers $\mu^n$,…

This work deals with relations between a bounded cohomological invariant and the geometry of Hermitian symmetric spaces of noncompact type. The invariant, obtained from the K\"ahler class, is used to define and characterize a special class…

We introduce the notion of a strong equivalence between graded algebras and prove that any partially-strongly-graded algebra by a group $G$ is strongly-graded-equivalent to the skew group algebra by a product partial action of $G$. As to a…

We prove that for a metric space $X$ and a finite group $G$ acting on $X$ by isometries, if $X$ coarsely embeds into a Hilbert space, then so does the quotient $X/G$. A crucial step towards our main result is to show that for any integer $k…

A profinite group is called small if it has only finitely many open subgroups of index n for each positive integer n. We show that every Frattini cover of a small profinite group is small. A profinite group is called strongly complete if…

Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a…

We prove general results about separation and weak$^\#$-convergence of boundedly finite measures on separable metric spaces and Souslin spaces. More precisely, we consider an algebra of bounded real-valued, or more generally a $*$-algebra…

We say that a subset $X$ quasi-isometrically boundedly generates a finitely generated group $\Gamma$ if each element $\gamma$ of a finite-index subgroup of $\Gamma$ can be written as a product $\gamma = x_1 x_2 \cdots x_r$ of a bounded…

We prove that every \omega-categorical, generically stable group is nilpotent-by-finite and that every \omega-categorical, generically stable ring is nilpotent-by-finite.

An action of a compact, in particular finite group on a C*-algebra is called properly outer if no automorphism of the group that is distinct from identity is implemented by a unitary element of the algebra of local multipliers of the…

We describe isomorphisms between strongly triangular matrix rings that were defined earlier in Berkenmeier et al. (2000) as ones having a complete set of triangulating idempotents, and we show that the so-called triangulating idempotents…

We prove that any isomorphism $\theta:M_0\simeq M$ of group measure space II$_1$ factors, $M_0=L^\infty(X_0, \mu_0) \rtimes_{\sigma_0} G_0$, $M=L^\infty(X, \mu) \rtimes_{\sigma} G$, with $G_0$ containing infinite normal subgroups with the…

Let G be an algebraic group over an algebraically closed field of positive characteristic such that its neutral connected component is a unipotent group. We consider a certain class of closed idempotents in the braided monoidal category…

Assuming that every set is constructible, we find a $\Pi^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily…