Degree 2 Transformation Semigroups as Continuous Maps on Graphs: Foundations and Structure

Stuart W. Margolis, John Rhodes

英文摘要：

We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action gives a deep connection between semigroup theory and graph theory. It is known that the Krohn-Rhodes complexity of a degree 2 action is at most 2. We show that the monoid of continuous maps on a graph is the translational hull of an appropriate 0-simple semigroup. We show how group mapping semigroups can be considered as regular covers of their right letter mapping image and relate this to their graph of fibers.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

On zigzag maps and the path category of an inverse semigroup

We study the path category of an inverse semigroup admitting unique maximal idempotents and give an abstract characterization of the inverse semigroups arising from zigzag maps on a left cancellative category. As applications we show that every inverse semigroup is Morita equivalent to an inverse semigroup of zigzag maps and hence the class of Cuntz-Krieger $C^*$-algebras of singly aligned categories include the tight $C^*$-algebras of all countable inverse semigroups, up to Morita equivalence.

2018-11-09math.GRmath.OA

有限半群上的非周期流：基础与首批实例

Aperiodic Flows on Finite Semigroups: Foundations and First Examples

本文系统研究有限半群上的非周期流，给出流理论基础，统一 Presentation Lemma 与 Slice Theorem，描述平凡半群上的流，重新解释 Tilson 定理，并提供基于 Abelian Groups 特征标表的实例。

2025-02-02math.DSmath.GR

On numerical semigroups closed with respect to the action of affine maps

In this paper we study numerical semigroups containing a given positive integer and closed with respect to the action of an affine map. For such semigroups we find a minimal set of generators, their embedding dimension, their genus and their Frobenius number.

2016-03-20math.DSmath.GRmath.NT

On monoids of monotone injective partial self-maps of integers with cofinite domains and images

We study the semigroup $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$ of monotone injective partial selfmaps of the set of integers having cofinite domain and image. We show that $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$ is bisimple and all of its non-trivial semigroup homomorphisms are either isomorphisms or group homomorphisms. We also prove that every Baire topology $τ$ on $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$ such that $(\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}),τ)$ is a Hausdorff semitopological semigroup is discrete and we construct a non-discrete Hausdorff inverse semigroup…

2012-09-04math.GNmath.GR

Actions of $E-$dense semigroups and an application to the discrete log problem

We describe the structure of $E-$dense acts over $E-$dense semigroups in an analogous way to that for inverse semigroup acts over inverse semigroups. This is based, to a large extent, on the work of Schein on representations of inverse semigroups by partial one-to-one maps. We consider an application to the discrete log problem in cryptography as well as an application to the same problem using completely regular semigroups.

2019-02-15math.GR

Specification properties and thermodynamical properties of semigroup actions

In the present paper we study the thermodynamical properties of finitely generated continuous subgroup actions. We address a notion of topological entropy and pressure functions that does not depend on the growth rate of the semigroup and introduce strong and orbital specification properties, under which, the semigroup actions have positive topological entropy and all points are entropy points. Moreover, we study the convergence and Lipschitz regularity of the pressure function and obtain relations between topological entropy and exponential growth rate of periodic points in the context of sem…

2016-05-08math-phmath.DSmath.GR

更多相关论文收起更多论文

Sandwich semigroups in locally small categories I: Foundations

Fix (not necessarily distinct) objects $i$ and $j$ of a locally small category $S$, and write $S_{ij}$ for the set of all morphisms $i\to j$. Fix a morphism $a\in S_{ji}$, and define an operation $\star_a$ on $S_{ij}$ by $x\star_ay=xay$ for all $x,y\in S_{ij}$. Then $(S_{ij},\star_a)$ is a semigroup, known as a sandwich semigroup, and denoted by $S_{ij}^a$. This article develops a general theory of sandwich semigroups in locally small categories. We begin with structural issues such as regularity, Green's relations and stability, focusing on the relationships between these properties on $S_{ij…

2018-01-10math.CTmath.GRmath.RA

Genuine Lie semigroups and semi-symmetries of PDEs

Any Lie group G acting on a Euclidean nonvoid open subset M can be seen as a subgroup of the smooth diffeomorphisms Diff^\infty(M,M) of M into itself. Thus actions by such Lie groups G correspond to smooth coordinate transforms on M which, in particular, have smooth inverses. In Rosinger [1, chap. 13], the study of Lie semigroups G in the vastly larger semigroup C^\infty(M,M) of smooth maps of M into itself was initiated. Such semigroups were named "genuine Lie semigroups", or in short, GLS, since they are no longer contained in Diff^\infty(M,M), thus they correspond to smooth coordinate trans…

2006-04-26math.APmath.GR

Algebra in superextensions of twinic groups

Given a group $X$ we study the algebraic structure of the compact right-topological semigroup $λ(X)$ consisting of maximal linked systems on $X$. This semigroup contains the semigroup $β(X)$ of ultrafilters as a closed subsemigroup. We construct a faithful representation of the semigroup $λ(X)$ in the semigroup of all self-maps of the power-set of $X$ and using this representation describe the structure of minimal ideal and minimal left ideals of $λ(X)$ for each twinic group $X$. The class of twinic groups includes all amenable groups and all groups with periodic commutators but does not inclu…

2010-09-25math.GNmath.GRmath.RT