English
Related papers

Related papers: Automatic structures for semigroup constructions

200 papers

We develop an effective and natural approach to interpret any semigroup admitting a special language of greedy normal forms as an automaton semigroup,namely the semigroup generated by a Mealy automaton encoding the behaviour of such a…

Group Theory · Mathematics 2018-12-06 Matthieu Picantin

An auxiliary free construction $*_{i=1}^{r}(K_i, L_i, t_i)_M$ based on HNN-extensions and on generalized free product of groups with amalgamated subgroups is suggested, and some of its basic properties are displayed. The proposed…

Group Theory · Mathematics 2025-06-23 Vahagn H. Mikaelian

We consider wreath product decompositions for semigroups of triangular matrices. We exhibit an explicit wreath product decomposition for the semigroup of all n-by-n upper triangular matrices over a given field k, in terms of aperiodic…

Rings and Algebras · Mathematics 2007-05-23 Mark Kambites , Benjamin Steinberg

Free products of semisimple tesnor categories are constructed with the help of polygonal presentation. The semisimplicity criterion is obtained for the Bisch-Jones' planar algebras as a byproduct.

Category Theory · Mathematics 2007-05-23 Shigeru Yamagami

Let $G$ be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of $G$. This resolution is used to define…

alg-geom · Mathematics 2007-07-02 Daniel C. Cohen , Alexander I. Suciu

We introduce affine structures on groups and show they form a category equivalent to that of semi-braces. In particular, such a new description of semi-braces includes that presented by Rump for braces. By specific affine structures, we…

Group Theory · Mathematics 2025-05-02 Paola Stefanelli

This paper grew out of three tutorial lectures on automatic structures given by the first author at the Logic Colloquium 2007. We discuss variants of automatic structures related to several models of computation: word automata, tree…

Logic · Mathematics 2008-09-22 Bakhadyr Khoussainov , Mia Minnes

We describe a general technique for embedding certain amalgamated products into direct products. This technique provides us with a way of constructing a host of finitely presented subgroups of automatic groups which are not even…

Group Theory · Mathematics 2008-02-03 Gilbert Baumslag , Martin Bridson , Charles Miller , Hamish Short

Almost-direct products of free groups arise naturally in braid theory and in the study of automorphism groups of free groups. Although bi-invariant orderings are known to exist for many such groups, their explicit structure is often left…

Group Theory · Mathematics 2026-04-10 Oscar Ocampo , Juliana Roberta Theodoro de Lima

We study two subclasses of the class of automatic structures: automatic structures of polynomial growth and Presburger structures. We present algebraic characterisations of the groups and the equivalence structures in these two classes.

Logic in Computer Science · Computer Science 2026-01-14 Achim Blumensath

We study integrable systems on the semidirect product of a Lie group and its Lie algebra as the representation space of the adjoint action. Regarding the tangent bundle of a Lie group as phase space endowed with this semidirect product Lie…

Mathematical Physics · Physics 2015-06-16 S. Capriotti , H. Montani

A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a…

Group Theory · Mathematics 2021-05-04 Benjamin Blanchette

This paper concerns a class of semigroups that arise as products $US$, associated to what we call `action pairs'. Here $U$ and $S$ are subsemigroups of a common monoid and, roughly speaking, $S$ has an action on the monoid completion $U^1$…

Rings and Algebras · Mathematics 2023-09-21 Scott Carson , Igor Dolinka , James East , Victoria Gould , Rida-e Zenab

We improve on earlier results on the closure under free products of the class of automaton semigroups. We consider partial automata and show that the free product of two self-similar semigroups (or automaton semigroups) is self-similar (an…

Group Theory · Mathematics 2025-09-01 Tara Macalister Brough , Jan Philipp Wächter , Janette Welker

We consider the finitely generated groups acting on a regular tree with almost prescribed local action. We show that these groups embed as cocompact irreducible lattices in some locally compact wreath products. This provides examples of…

Group Theory · Mathematics 2020-01-24 Adrien Le Boudec

We investigate a semigroup construction generalising the two-sided wreath product. We develop the foundations of this construction and show that for groups it is isomorphic to the usual wreath product. We also show that it gives a slightly…

Group Theory · Mathematics 2025-09-16 Michal Botur , Tomasz Kowalski

The Weierstrass semigroups and pure gaps can be helpful in constructing codes with better parameters. In this paper, we investigate explicitly the minimal generating set of the Weierstrass semigroups associated with several totally ramified…

Information Theory · Computer Science 2017-07-07 Shudi Yang , Chuangqiang Hu

An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the…

Algebraic Topology · Mathematics 2019-02-20 Daniel C. Cohen

A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…

Group Theory · Mathematics 2019-06-12 Benjamin Blanchette , Christian Choffrut , Christophe Reutenauer

We develop a new approach on free wreath products, generalizing the constructions of Bichon and of Fima-Pittau. We show stability properties for certain approximation properties such as exactness, Haagerup property, hyperlinearity and…

Operator Algebras · Mathematics 2025-04-02 Pierre Fima , Arthur Troupel