Related papers: Finite Model Properties for Residuated Semigroups

This paper is a historical and mathematical review of the book, "The q-theory of Finite Semigroups" by John Rhodes and Benjamin Steinberg.

We show that many $2$-dimensional Artin groups are residually finite. This includes $3$-generator Artin groups with labels $\geq 4$ except for $(2m+1, 4,4)$ for any $m\geq 2$. As a first step towards residual finiteness we show that these…

We give a constructive treatment of some basic concepts and results in semigroup theory. Focusing on semigroups equipped with an apartness relation, we give analogues, from the point of view of apartness, of several classical constructions…

We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…

We study model geometries of finitely generated groups. If a finitely generated group does not contain a non-trivial finite rank free abelian commensurated subgroup, we show any model geometry is dominated by either a symmetric space of…

In this article, we study group theoretical embedding properties of subgroups in central products of finite groups. Specifically, we give characterizations of normal, subnormal, and abnormal subgroups of a central product of two groups.

We give a formula for the eventual multiplicities of irreducible representations appearing in a finitely-presented FI-module over the rational numbers. The result relies on structure theory due to Sam-Snowden SS16.

We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an…

We prove for residually finite groups the following long standing conjecture: the number of twisted conjugacy classes of an automorphism of a finitely generated group is equal (if it is finite) to the number of finite dimensional…

We study when a group of form $G\times\mathbb{Z}^m (m\geq 1)$ has the finitely generated fixed subgroup property of automorphisms ($\rm{FGFP}_a$), by using the BNS-invariant, and provide some partial answers and non-trivial examples.

Diagram semigroups are interesting algebraic and combinatorial objects, several types of them originating from questions in computer science and in physics. Here we describe diagram semigroups in a general framework and extend our…

We consider finitary approximations of the (embedding) Ramsey property. Using a class of homogeneous reducts of random ordered hypergraphs, we prove that these properties form a strict hierarchy. We also show that every class of finite…

The finite model property of quasi-transitive modal logic $\mathsf{K}_2^3=\mathsf{K}\oplus \Box\Box p\rightarrow \Box\Box\Box p$ is established. This modal logic is conservatively extended to the tense logic $\mathsf{Kt}_2^3$. We present a…

We construct the first examples of residually finite amenable groups that are not Hilbert-Schmidt (HS) stable. We construct finitely generated, class 3 nilpotent by cyclic examples and solvable linear finitely presented examples. This also…

Let $R$ be a Henselian DVR with finite residue field. Let $G$ be a finite type, flat $R$-group scheme (not necessarily commutative) with smooth generic fiber. We show that $H^1_{\mathrm{fppf}}(\mathrm{Spec} R,G)$ is finite. We then give an…

In this article, we introduce the study of a class of finite groups $G$ which admits a subgroup which intersects all non-trivial subgroups of $G$. We also explore a subclass of it consisting of all groups $G$ in which the prime order…

We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling.

A criterion for the HNN-extension of a finite p-group to be residually a finite p-group is obtained and based on this criterion the sufficient condition for residuality a finite p-group of HNN-extension with arbitrary base group is proved.…

We describe a general setting for the definition of semi-infinite cohomology of finite dimensional algebras, and provide its categorical interpretation. We apply this interpretation to compute semi-infinite cohomology of some modules over…

We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method…