English
Related papers

Related papers: Finite semigroups embed in finitely presented cong…

200 papers

We prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group $nV$. It follows that many other groups can be embedded into some $nV$ (e.g., any finite extension of any of Haglund and Wise's…

Group Theory · Mathematics 2016-03-01 James Belk , Collin Bleak , Francesco Matucci

In this paper, we describe an algorithm for computing the left, right, or 2-sided congruences of a finitely presented semigroup or monoid with finitely many classes, and an alternative algorithm when the finitely presented semigroup or…

Rings and Algebras · Mathematics 2025-06-26 Marina Anagnostopoulou-Merkouri , Reinis Cirpons , James D. Mitchell , Maria Tsalakou

In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.

Algebraic Geometry · Mathematics 2022-03-15 Ivan Arzhantsev , Kirill Shakhmatov

We give a complete survey of a construction by Boone and Collins for embedding any finitely presented group into one with $8$ generators and $26$ relations. We show that this embedding preserves the set of orders of torsion elements, and in…

Group Theory · Mathematics 2016-10-05 Maurice Chiodo , Michael E. Hill

A characterization of congruences in free semigroups is presented.

General Mathematics · Mathematics 2008-10-20 Elemer E Rosinger

Every mathematician is familiar with the beautiful structure of finite commutative groups. What is less well known is that finite commutative semigroups also have a neat and well-described structure. We prove this in an efficient fashion.…

Group Theory · Mathematics 2025-05-02 Marcel Wild

The recent proof of the Boij-Soederberg conjectures reveals new structure about Betti diagrams of modules, giving a complete description of the cone of Betti diagrams. We begin to expand on this new structure by investigating the semigroup…

Commutative Algebra · Mathematics 2012-07-25 Daniel Erman

We prove a sufficient condition under which a semigroup admits no finite identity basis. As an application, it is shown that the identities of the Kauffman monoid $\mathcal{K}_n$ are nonfinitely based for each $n\ge 3$. This result holds…

Group Theory · Mathematics 2014-05-06 Karl Auinger , Yuzhu Chen , Xun Hu , Yanfeng Luo , Mikhail Volkov

The goal of this paper is to study the possible monoids appearing as the associated monoids of the initial algebra of a finitely generated homogeneous $\Bbbk$-subalgebra of a polynomial ring $\Bbbk[x_1,\ldots,x_n]$. Clearly, any affine…

Commutative Algebra · Mathematics 2024-04-03 Akihiro Higashitani , Koichiro Tani

The complex algebra of an inverse semigroup with finitely many idempotents in each $\mathcal D$-class is stably finite by a result of Munn. This can be proved fairly easily using $C^*$-algebras for inverse semigroups satisfying this…

Group Theory · Mathematics 2022-07-25 Pedro V. Silva , Benjamin Steinberg

We study the maximal subgroups (also known as group $\mathcal{H}$-classes) of finitely presented special inverse monoids. We show that the maximal subgroups which can arise in such monoids are exactly the recursively presented groups, and…

Group Theory · Mathematics 2024-04-29 Robert D. Gray , Mark Kambites

Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra.…

Group Theory · Mathematics 2020-03-09 J. Almeida , O. Klíma

Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…

Group Theory · Mathematics 2018-04-24 Jorge Almeida , Alfredo Costa

We prove that the class of closed subgroups of free profinite monoids is precisely the class of projective profinite groups. In particular, the profinite groups associated to minimal symbolic dynamical systems by Almeida are projective. Our…

Group Theory · Mathematics 2014-02-26 John Rhodes , Benjamin Steinberg

We prove that all cubulated groups are semistable at infinity. In doing so we prove two further results about cubulations of groups. The first of these states that any one-ended cubulated group has a cubulation for which all halfspaces are…

Group Theory · Mathematics 2022-10-17 Sam Shepherd

We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $\Gamma$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being…

Group Theory · Mathematics 2024-03-06 Steffen Kionke , Eduard Schesler

In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of…

Group Theory · Mathematics 2016-10-25 Friedrich Wehrung

We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite…

Group Theory · Mathematics 2015-01-08 Martin R. Bridson

We call a semigroup $S$ f-noetherian if every right congruence of finite index on $S$ is finitely generated. We prove that every finitely generated semigroup is f-noetherian, and investigate whether the properties of being f-noetherian and…

Group Theory · Mathematics 2020-02-13 Craig Miller

We show that any graph product of residually finite monoids is residually finite. As a special case we obtain that any free product of residually finite monoids is residually finite. The corresponding results for graph products of…

Group Theory · Mathematics 2024-08-28 Jung Won Cho , Victoria Gould , Nik Ruškuc , Dandan Yang