Related papers: Short presentations for transformation monoids
In this short note, we show that the number of monogenic submonoids of the full transformation monoid of degree $n$ for $n > 0$, equals the sum of the number of cyclic subgroups of the symmetric groups on $1$ to $n$ points. We also prove an…
A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called…
We investigate the groups of units of one-relator and special inverse monoids. These are inverse monoids which are defined by presentations where all the defining relations are of the form $r=1$. We develop new approaches for finding…
We give a monoid presentation in terms of generators and defining relations for the partial analogue of the finite dual inverse symmetric monoid.
The dual symmetric inverse monoid $\mathscr{I}_n^*$ is the inverse monoid of all isomorphisms between quotients of an $n$-set. We give a monoid presentation of $\mathscr{I}_n^*$ and, along the way, establish criteria for a monoid to be…
The problem of determining the representation type of the full transformation monoid was resolved by Ponizovskii, Putcha, and Ringel. In this paper, we present a similar result for the monoid of binary relations, a partial result for the…
The representation theory of the symmetric group has been intensively studied for over 100 years and is one of the gems of modern mathematics. The full transformation monoid $\mathfrak T_n$ (the monoid of all self-maps of an $n$-element…
The monoid of all partial injections on a finite set (the symmetric inverse semigroup) is of particular interest because of the well-known Wagner-Preston Theorem. In this article, we step forward the study of a submonoid of the symmetric…
Wreath products involving symmetric inverse monoids/semigroups/categories arise in many areas of algebra and science, and presentations by generators and relations are crucial tools in such studies. The current paper finds such…
In this paper we study the cyclic inverse monoid $\CI_n$ on a set $\Omega_n$ with $n$ elements, i.e. the inverse submonoid of the symmetric inverse monoid on $\Omega_n$ consisting of all restrictions of the elements of a cyclic subgroup of…
The aim of this paper is to develop a theory of finite transformation monoids and in particular to study primitive transformation monoids. We introduce the notion of orbitals and orbital digraphs for transformation monoids and prove a…
This paper continues the study of Fourier transforms on finite inverse semigroups, with a focus on Fourier inversion theorems and FFTs for new classes of inverse semigroups. We begin by introducing four inverse semigroup generalizations of…
Several elementary properties of the symmetric group $S_n$ extend in a nice way to the full transformation monoid $M_n$ of all maps of the set $X:=\{1,2,3,\dots,n\}$ into itself. The group $S_n$ turns out to be in some sense the torsion…
A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act itself has a finite presentation; it is weakly right coherent if every finitely generated right ideal of $S$ has a finite…
We describe and count the maximal subsemigroups of many well-known monoids of transformations and monoids of partitions. More precisely, we find the maximal subsemigroups of the full spectrum of monoids of order- or orientation-preserving…
The groups G_{k,1} of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call M_{k,1}, and to inverse monoids, called Inv_{k,1}; this is done by simply generalizing bijections to partial functions or…
In this paper we consider the questions of which topological semigroups embed topologically into the full transformation monoid $\mathbb{N} ^ \mathbb{N}$ or the symmetric inverse monoid $I_{\mathbb{N}}$ with their respective canonical…
We obtain formulae for the minimum transformation degrees of the most well-studied families of finite diagram monoids, including the partition, Brauer, Temperley--Lieb and Motzkin monoids. For example, the partition monoid $P_n$ has degree…
A numerical monoid is an additive submonoid of the non-negative integers. Given a numerical monoid $S$, consider the family of "shifted" monoids $M_n$ obtained by adding $n$ to each generator of $S$. In this paper, we examine minimal…
We introduce the inverse monoid of inner partial automorphisms of a semigroup -- a tool that associates to every semigroup an inverse semigroup. When the semigroup is a group, this inverse semigroup is isomorphic to the group of inner…