Related papers: Soficity and variations on Higman's group

This is a paper with two aims. First, we show that the map from $\mathbb{Z}/p\mathbb{Z}$ to itself defined by exponentiation $x\to m^x$ has few $3$-cycles -- that is to say, the number of cycles of length three is $o(p)$. This improves on…

In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical…

We give new characterizations of sofic groups: -- A group $G$ is sofic if and only if it is a subgroup of a quotient of a direct product of alternating or symmetric groups. -- A group $G$ is sofic if and only if any system of equations…

We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, showing that every hyperlinear approximation to such a group is essentially produced from a sofic approximation. This…

We investigate the notion of soficity for monoids. A group is sofic as a group if and only if it is sofic as a monoid. All finite monoids, all commutative monoids, all free monoids, all cancellative one-sided amenable monoids, all…

We define a notion of relative soficity for countable groups with respect to a family of groups. A group is sofic if and only if it is relative sofic with respect to the family consisting only of the trivial group. If a group is relatively…

We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence…

We give the following characterization of sofic (weakly sofic) groups: a group $G$ is sofic (weakly sofic) if and only if any system of equations solvable in any alternating group (any finite group) is solvable over $G$.

A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for…

We prove that all (generalized) Higman groups on at least $5$ generators are superrigid for measure equivalence. More precisely, let $k\ge 5$, and let $H$ be a group with generators $a_1,\dots,a_k$, and Baumslag-Solitar relations given by…

We investigate structural properties of non-sofic groups, assuming that such groups exist. We introduce and study two classes: minimal non-sofic groups and $\omega$-non-sofic groups. For minimal non-sofic groups, we establish strong…

In this article we develop a notion of soficity for actions of countable groups on sets. We show two equivalent perspectives, several natural properties and examples. Notable examples include arbitrary actions of both amenable groups and…

A sofic approximation to a countable group is a sequence of partial actions on finite sets that asymptotically approximates the action of the group on itself by left-translations. A group is sofic if it admits a sofic approximation. Sofic…

We give a definition of weakly sofic groups (w-sofic groups). Our definition is rather natural extension of the definition of sofic groups where instead of Hamming metric on symmetric groups we use general bi-invariant metrics on finite…

We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, effectively showing how every hyperlinear approximation to such a group is simulated by a suitable sofic approximation. The…

Relatively recently, two new classes of (discrete, countable) groups have been isolated: hyperlinear groups and sofic groups. They come from different corners of mathematics (operator algebras and symbolic dynamics, respectively), and were…

We investigate the cocompact action of Higman's group on a CAT(0) square complex associated to its standard presentation. We show that this action is in a sense intrinsic, which allows for the use of geometric techniques to study the…

A countable group G is called k-linear sofic (for some 0 <k \le 1) if finite subsets of G admit "approximate representations" by complex invertible matrices in the normalized rank metric, so that non-identity elements are k-away from the…

Using probabilistic methods, Collins and Dykema proved that the free product of two sofic groups amalgamated over a monotileably amenable subgroup is sofic as well. We show that the restriction is unnecessary; the free product of two sofic…

Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. $G$ is said to be \emph{$\sigma$-soluble} if every chief factor $H/K$ of $G$ is a $\sigma_{i}$-group for some $i=i(H/K)$. A…