English
Related papers

Related papers: Semigroup presentations for test local groups

200 papers

We consider the complexity of deciding membership of a given finite semigroup to a fixed pseudovariety. While it is known that there exist pseudovarieties with NP-complete or even undecidable membership problems, for many well-known…

Formal Languages and Automata Theory · Computer Science 2018-06-18 Lukas Fleischer

The finite basis property is often connected with the finite rank property, which it entails. Many examples have been produced of finite rank varieties which are not finitely based. In this note, we establish a result on nilpotent…

Group Theory · Mathematics 2019-03-18 J. Almeida , M. H. Shahzamanian

We show that if $\mathsf V$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf {DS}$, then it has a basis of pseudoidentities between finite products of regular pseudowords if, and only if, the…

Group Theory · Mathematics 2019-03-07 Alfredo Costa , Ana Escada

We study locally compact group topologies on semisimple Lie groups. We show that the Lie group topology on such a group $S$ is very rigid: every 'abstract' isomorphism between $S$ and a locally compact and $\sigma$-compact group $\Gamma$ is…

Group Theory · Mathematics 2011-08-09 Linus Kramer

Self-similar groups provide a rich source of groups with interesting properties; e.g., infinite torsion groups (Burnside groups) and groups with an intermediate word growth. Various self-similar groups can be described by a recursive…

Group Theory · Mathematics 2012-04-20 René Hartung

Let $X$ be a set and let $S$ be an inverse semigroup of partial bijections of $X$. Thus, an element of $S$ is a bijection between two subsets of $X$, and the set $S$ is required to be closed under the operations of taking inverses and…

Group Theory · Mathematics 2020-10-19 Daniel S. Farley , Bruce Hughes

In this work, the lattice of varieties of semigroups and the lattice of varieties of I-semigroups (a common setting for both the variety of completely regular semigroups and the variety of inverse semigroups) are studied with respect to the…

Group Theory · Mathematics 2016-06-14 Pedro V. Silva , Filipa Soares

Let $S$ be a subsemigroup of a second countable locally compact group $G$, such that $S^{-1}S=G$. We consider the $C^*$-algebra $C^*_\delta(S)$ generated by the operators of translation by all elements of $S$ in $L^2(S)$. We show that this…

Operator Algebras · Mathematics 2021-01-06 Marat A. Aukhadiev , Yulia N. Kuznetsova

This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups.

Group Theory · Mathematics 2019-04-03 John L. Rhodes , Benjamin Steinberg , J. C. Birget

This paper introduces a notion of presentation for locally inverse semigroups and develops a graph structure to describe the elements of locally inverse semigroups given by these presentations. These graphs will have a role similar to the…

Group Theory · Mathematics 2021-12-22 Luís Oliveira

The famous Tits' alternative states that a linear group either contains a nonabelian free group or is soluble-by-(locally finite). We study in this paper similar alternatives in pseudofinite groups. We show for instance that an…

Group Theory · Mathematics 2012-05-17 Abderezak Ould Houcine , Françoise Point

We investigate whether semigroups with a given property which are also locally embeddable into finite semigroups can be locally embedded into finite semigroups with the same property, obtaining a positive answer for completely simple and…

Group Theory · Mathematics 2025-10-27 Dmitry Kudryavtsev

The aim of this paper is to provide an atlas of identity bases for varieties generated by small semigroups and groups. To help the working mathematician easily find information, we provide a companion website that runs in the background…

Group Theory · Mathematics 2019-11-15 João Araújo , João Pedro Araújo , Peter J. Cameron , Edmond W. H. Lee , Jorge Raminhos

A semigroup variety V is said to be locally K-finite, where K stands for any of Green's relations H, R, L, D, or J, if every finitely generated semigroup from V has only finitely many K-classes. We characterize locally K-finite varieties of…

Group Theory · Mathematics 2017-11-22 Mikhail V. Volkov , Pedro V. Silva , Filipa Soares

We develop local NIP group theory in the context of pseudofinite groups. In particular, given a sufficiently saturated pseudofinite structure $G$ expanding a group, and left invariant NIP formula $\delta(x;\bar{y})$, we prove various…

Logic · Mathematics 2022-03-04 Gabriel Conant , Anand Pillay

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…

Group Theory · Mathematics 2023-08-02 Taras Mokrytskyi

We give a characterization of a variation of constants type estimate relating two positive semigroups on (possibly different) $L_p$-spaces to one another in terms of corresponding estimates for the respective generators and of estimates for…

Functional Analysis · Mathematics 2016-06-28 Christian Seifert , Marcus Waurick

A locally compact group $G$ is a cocompact envelope of a group $\Gamma$ if $G$ contains a copy of $\Gamma$ as a discrete and cocompact subgroup. We study the problem that takes two finitely generated groups $\Gamma,\Lambda$ having a common…

Group Theory · Mathematics 2025-10-29 Adrien Le Boudec

We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and…

Formal Languages and Automata Theory · Computer Science 2019-10-17 Max Neunhöffer , Markus Pfeiffer , Nik Ruskuc

We develop the theory of algebraic groups over real closed fields and apply the results to construct a geometric object $\mathcal{B}$ and to prove that $\mathcal{B}$ is an affine $\Lambda$-building. We use a model theoretic transfer…

Group Theory · Mathematics 2024-07-31 Raphael Appenzeller