Related papers: Soficity and variations on Higman's group
Let $G$ be a sofic group, and let $\Sigma = (\sigma_n)_{n\geq 1}$ be a sofic approximation to it. For a probability-preserving $G$-system, a variant of the sofic entropy relative to $\Sigma$ has recently been defined in terms of sequences…
We prove that a monoid is sofic, in the sense recently introduced by Ceccherini-Silberstein and Coornaert, whenever the J-class of the identity is a sofic group, and the quotients of this group by orbit stabilisers in the rest of the monoid…
It is known that a group shift on a polycyclic group is necessarily of finite type. We show that, for trivial reasons, if a group does not satisfy the maximal condition on subgroups, then it admits non-SFT abelian group shifts. In…
A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right…
We generalize a result of Hochman in two simultaneous directions: Instead of realizing an effectively closed $\mathbb{Z}^d$ action as a factor of a subaction of a $\mathbb{Z}^{d+2}$-SFT we realize an action of a finitely generated group…
We study the semigroup $\textbf{{ID}}_{\infty}$ of all partial isometries of the set of integers $\mathbb{Z}$. It is proved that the quotient semigroup $\textbf{{ID}}_{\infty}/\mathfrak{C}_{\textsf{mg}}$, where $\mathfrak{C}_{\textsf{mg}}$…
We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…
We show that a semisimple Hopf algebra A is group theoretical if and only if its Drinfeld double is a twisting of the Dijkgraaf-Pasquier-Roche quasi-Hopf algebra D^{omega}(Sigma), for some finite group Sigma and some 3-cocycle omega on…
Let $G$ be a finite group and let $c(G)$ be the number of cyclic subgroups of $G$. We study the function $\alpha(G) = c(G)/|G|$. We explore its basic properties and we point out a connection with the probability of commutation. For many…
To solve problems of Gilbert Baumslag and Hanna Neumann, posed in the 1960's, we construct a nontrivial variety of groups all of whose noncyclic free groups are non-hopfian.
Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{\'e}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is…
A skew morphism of a finite group $A$ is a permutation $\varphi$ of $A$ fixing the identity element and for which there is an integer-valued function $\pi$ on $A$ such that $\varphi(ab)=\varphi(a)\varphi^{\pi(a)}(b)$ for all $a, b \in A$. A…
A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is…
Let $G\subset SO(4)$ denote a finite subgroup containing the Heisenberg group. In these notes we classify all these groups, we find the dimension of the spaces of $G$-invariant polynomials and we give equations for the generators whenever…
Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $\Pi$ a non-empty subset of the set $\sigma$. A set ${\cal H}$ of subgroups of a finite group $G$ is said to be a \emph{ complete Hall $\Pi…
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…
Satisfiability is a classic problem in computational complexity theory, in which one wishes to determine whether an assignment of values to a collection of Boolean variables exists in which all of a collection of clauses composed of logical…
This paper targets to generalize the notion of Hopfian groups in the commutative case by defining the so-called {\bf relatively Hopfian groups} and {\bf weakly Hopfian groups}, and establishing some their crucial properties and…
A rank $n$ generalized Baumslag-Solitar group is a group that splits as a finite graph of groups such that all vertex and edge groups are isomorphic to $\mathbb{Z}^n$. In this paper we classify these groups in terms of their separability…
A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…