Related papers: Link quandles are residually finite
In this paper we discuss the relationship between direct products of monounary algebras and their components, with respect to the properties of residual finiteness, strong/weak subalgebra separability, and complete separability. For each of…
We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated…
We generalize the notion of the quandle polynomial to the case of singquandles. We show that the singquandle polynomial is an invariant of finite singquandles. We also construct a singular link invariant from the singquandle polynomial and…
We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our…
It is proved that generalized free product of two finite p-groups is a conjugacy p-separable group if and only if it is residually finite p-groups. This result is then applied to establish some sufficient conditions for conjugacy…
Let $G$ be the fundamental group of a graph of finitely generated virtually free groups with virtually cyclic edge groups. We shaw that $G$ is cohomologically good if $G$ is residually finite. If $G$ is LERF, we prove that G splits…
Saki and Kiani proved that the subrack lattice of a rack $R$ is necessarily complemented if $R$ is finite but not necessarily complemented if $R$ is infinite. In this paper, we investigate further avenues related to the complementation of…
We prove that every {finitely generated residually finite}-by-sofic group satisfies Kaplansky's direct and stable finiteness conjectures with respect to all noetherian rings. We use this result to provide countably many new examples of…
We characterize the fundamental group of a locally finite graph G with ends combinatorially, as a group of infinite words. Our characterization gives rise to a canonical embedding of this group in the inverse limit of the (free) fundamental…
We establish three independent results on groups acting on trees. The first implies that a compactly generated locally compact group which acts continuously on a locally finite tree with nilpotent local action and no global fixed point is…
We describe all subdirectly irreducible medial quandles. We show that they fall within one of four disjoint classes. In particular, in the finite case they are either connected (and therefore Alexander quandles) or reductive. Moreover, we…
The finite topological quandles can be represented as $n\times n$ matrices, recently defined by S. Nelson and C. Wong. In this paper, we first study the finite topological quandles and we show how to use these matrices to distinguish all…
A finite semigroup is finitely related (has finite degree) if its term functions are determined by a finite set of finitary relations. For example, it is known that all nilpotent semigroups are finitely related. A nilpotent monoid is a…
Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent…
We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle.…
We show that every finitely generated residually finite torsion group $G$ embeds in a finitely generated torsion group $\Gamma$ that is residually finite simple. In particular we show the existence of finitely generated infinite torsion…
We study a family of finitely generated residually finite small cancellation groups. These groups are quotients of $F_2$ depending on a subset $S$ of positive integers. Varying $S$ yields continuously many groups up to quasi-isometry.
Can one detect free products of groups via their profinite completions? We answer positively among virtually free groups. More precisely, we prove that a subgroup of a finitely generated virtually free group $G$ is a free factor if and only…
We completely describe good involutions of free quandles and subquandles of twisted conjugation quandles of groups, including all Alexander quandles. As an application, we enumerate good involutions of linear quandles, and we provide…
In 2013, Kharlampovich, Myasnikov, and Sapir constructed the first examples of finitely presented residually finite groups with large Dehn functions. Given any recursive function $f$, they produce a finitely presented residually finite…