If H is a monoid and a = u1 ··· uk ∈ H with atoms (irreducible elements) u1, … , uk, then k is a length of a, the set of lengths of a is denoted by Ⅼ(a), and ℒ(H) = {Ⅼ(a) | a ∈ H} is the system of sets of lengths of H. Let R be a hereditary Noetherian prime (HNP) ring. Then every element of the monoid of non-zero-divisors R• can be written as a product of atoms. We show that if R is bounded and every stably free right R-ideal is free, then there exists a transfer homomorphism from R• to the monoid B of zero-sum sequences over a subset Gmax(R) of the ideal class group G(R). This implies that the systems of sets of lengths, together with further arithmetical invariants, of the monoids R• and B coincide. It is well known that commutative Dedekind domains allow transfer homomorphisms to monoids of zero-sum sequences, and the arithmetic of the latter has been the object of much research. Our approach is based on the structure theory of finitely generated projective modules over HNP rings, as established in the recent monograph by Levy and Robson. We complement our results by giving an example of a non-bounded HNP ring in which every stably free right R-ideal is free but which does not allow a transfer homomorphism to a monoid of zero-sum sequences over any subset of its ideal class group.

This paper is dedicated to a problem raised by Jacquet Tits in 1956: the Weyl group of a Chevalley group should find an interpretation as a group over what is nowadays called $\mathbb{F}_{1}$, the field with one element. Based on Part I of The geometry of blueprints, we introduce the class of Tits morphisms between blue schemes. The resulting Tits category$\text{Sch}_{{\mathcal{T}}}$ comes together with a base extension to (semiring) schemes and the so-called Weyl extension to sets. We prove for ${\mathcal{G}}$ in a wide class of Chevalley groups—which includes the special and general linear groups, symplectic and special orthogonal groups, and all types of adjoint groups—that a linear representation of ${\mathcal{G}}$ defines a model $G$ in $\text{Sch}_{{\mathcal{T}}}$ whose Weyl extension is the Weyl group $W$ of ${\mathcal{G}}$. We call such models Tits–Weyl models. The potential of Tits–Weyl models lies in (a) their intrinsic definition that is given by a linear representation; (b) the (yet to be formulated) unified approach towards thick and thin geometries; and (c) the extension of a Chevalley group to a functor on blueprints, which makes it, in particular, possible to consider Chevalley groups over semirings. This opens applications to idempotent analysis and tropical geometry.

The equational complexity function $\beta \nu \,:\,{\open N} \to {\open N}$ of an equational class of algebras bounds the size of equation required to determine the membership of n-element algebras in . Known examples of finitely generated varieties with unbounded equational complexity have growth in Ω(nc), usually for c ≥ (1/2). We show that much slower growth is possible, exhibiting $O(\log_{2}^{3}(n))$ growth among varieties of semilattice-ordered inverse semigroups and additive idempotent semirings. We also examine a quasivariety analogue of equational complexity, and show that a finite group has polylogarithmic quasi-equational complexity function, bounded if and only if all Sylow subgroups are abelian.

As generalizations of inverse semigroups, Ehresmann semigroups are introduced by Lawson and investigated by many authors extensively in the literature. In particular, Lawson has proved that the category of Ehresmann semigroups and admissible morphisms is isomorphic to the category of Ehresmann categories and strongly ordered functors, which generalizes the well-known Ehresmann–Schein–Nambooripad (ESN) theorem for inverse semigroups. From a varietal perspective, Ehresmann semigroups are derived from reducts of inverse semigroups. In this paper, inspired by the approach of Jones [‘A common framework for restriction semigroups and regular $\ast$-semigroups’, J. Pure Appl. Algebra216 (2012), 618–632], Ehresmann semigroups are extended from a varietal perspective to pseudo-Ehresmann semigroups derived instead from reducts of regular semigroups with a multiplicative inverse transversal. Furthermore, motivated by the method used by Gould and Wang [‘Beyond orthodox semigroups’, J. Algebra368 (2012), 209–230], we introduce the notion of inductive pseudocategories over admissible quadruples by which pseudo-Ehresmann semigroups are described. More precisely, we show that the category of pseudo-Ehresmann semigroups and (2,1,1,1)-morphisms is isomorphic to the category of inductive pseudocategories over admissible quadruples and pseudofunctors. Our work not only generalizes the result of Lawson for Ehresmann semigroups but also produces a new approach to characterize regular semigroups with a multiplicative inverse transversal.

Left restriction semigroups are the unary semigroups that abstractly characterize semigroups of partial maps on a set, where the unary operation associates to a map the identity element on its domain. This paper is the sequel to two recent papers by the author, melding the results of the first, on membership in the variety $\mathbf{B}$ of left restriction semigroups generated by Brandt semigroups and monoids, with the connection established in the second between subvarieties of the variety $\mathbf{B}_{R}$ of two-sided restriction semigroups similarly generated and varieties of categories, in the sense of Tilson. We show that the respective lattices ${\mathcal{L}}(\mathbf{B})$ and ${\mathcal{L}}(\mathbf{B}_{R})$ of subvarieties are almost isomorphic, in a very specific sense. With the exception of the members of the interval $[\mathbf{D},\mathbf{D}\vee \mathbf{M}]$, every subvariety of $\mathbf{B}$ is induced from a member of $\mathbf{B}_{R}$ and vice versa. Here $\mathbf{D}$ is generated by the three-element left restriction semigroup $D$ and $\mathbf{M}$ is the variety of monoids. The analogues hold for pseudovarieties.

Fix a finite semigroup $S$ and let $a_{1},\ldots ,a_{k},b$ be tuples in a direct power $S^{n}$. The subpower membership problem (SMP) for $S$ asks whether $b$ can be generated by $a_{1},\ldots ,a_{k}$. For combinatorial Rees matrix semigroups we establish a dichotomy result: if the corresponding matrix is of a certain form, then the SMP is in P; otherwise it is NP-complete. For combinatorial Rees matrix semigroups with adjoined identity, we obtain a trichotomy: the SMP is either in P, NP-complete, or PSPACE-complete. This result yields various semigroups with PSPACE-complete SMP including the six-element Brandt monoid, the full transformation semigroup on three or more letters, and semigroups of all $n$ by $n$ matrices over a field for $n\geq 2$.

We investigate the structure of the twisted Brauer monoid , comparing and contrasting it with the structure of the (untwisted) Brauer monoid . We characterize Green's relations and pre-orders on , describe the lattice of ideals and give necessary and sufficient conditions for an ideal to be idempotent generated. We obtain formulae for the rank (smallest size of a generating set) and (where applicable) the idempotent rank (smallest size of an idempotent generating set) of each principal ideal; in particular, when an ideal is idempotent generated, its rank and idempotent rank are equal. As an application of our results, we describe the idempotent generated subsemigroup of (which is not an ideal), as well as the singular ideal of (which is neither principal nor idempotent generated), and we deduce that the singular part of the Brauer monoid is idempotent generated, a result previously proved by Maltcev and Mazorchuk.

We establish a new sufficient condition under which a monoid is nonfinitely based and apply this condition to Lee monoids $L_{\ell }^{1}$, obtained by adjoining an identity element to the semigroup generated by two idempotents $a$ and $b$ with the relation $0=abab\cdots \,$ (length $\ell$). We show that every monoid $M$ which generates a variety containing $L_{5}^{1}$ and is contained in the variety generated by $L_{\ell }^{1}$ for some $\ell \geq 5$ is nonfinitely based. We establish this result by analysing $\unicode[STIX]{x1D70F}$-terms for $M$, where $\unicode[STIX]{x1D70F}$ is a certain nontrivial congruence on the free semigroup. We also show that if $\unicode[STIX]{x1D70F}$ is the trivial congruence on the free semigroup and $\ell \leq 5$, then the $\unicode[STIX]{x1D70F}$-terms (isoterms) for $L_{\ell }^{1}$ carry no information about the nonfinite basis property of $L_{\ell }^{1}$.

The author has previously associated to each commutative ring with unit $R$ and étale groupoid $\mathscr{G}$ with locally compact, Hausdorff and totally disconnected unit space an $R$-algebra $R\,\mathscr{G}$. In this paper we characterize when $R\,\mathscr{G}$ is Noetherian and when it is Artinian. As corollaries, we extend the characterization of Abrams, Aranda Pino and Siles Molina of finite-dimensional and of Noetherian Leavitt path algebras over a field to arbitrary commutative coefficient rings and we recover the characterization of Okniński of Noetherian inverse semigroup algebras and of Zelmanov of Artinian inverse semigroup algebras.

The set of row reduced matrices (and of echelon form matrices) is closed under multiplication. We show that any system of representatives for the $\text{Gl}_{n}(\mathbb{K})$ action on the $n\times n$ matrices, which is closed under multiplication, is necessarily conjugate to one that is in simultaneous echelon form. We call such closed representative systems Grassmannian semigroups. We study internal properties of such Grassmannian semigroups and show that they are algebraic semigroups and admit gradings by the finite semigroup of partial order preserving permutations, with components that are naturally in one–one correspondence with the Schubert cells of the total Grassmannian. We show that there are infinitely many isomorphism types of such semigroups in general, and two such semigroups are isomorphic exactly when they are semiconjugate in $M_{n}(\mathbb{K})$. We also investigate their representation theory over an arbitrary field, and other connections with multiplicative structures on Grassmannians and Young diagrams.

Left restriction semigroups are the unary semigroups that abstractly characterize semigroups of partial maps on a set, where the unary operation associates to a map the identity element on its domain. They may be defined by a simple set of identities and the author initiated a study of the lattice of varieties of such semigroups, in parallel with the study of the lattice of varieties of two-sided restriction semigroups. In this work we study the subvariety $\mathbf{B}$ generated by Brandt semigroups and the subvarieties generated by the five-element Brandt inverse semigroup $B_{2}$, its four-element restriction subsemigroup $B_{0}$ and its three-element left restriction subsemigroup $D$. These have already been studied in the ‘plain’ semigroup context, in the inverse semigroup context (in the first two instances) and in the two-sided restriction semigroup context (in all but the last instance). The author has previously shown that in the last of these contexts, the behavior is pathological: ‘almost all’ finite restriction semigroups are inherently nonfinitely based. Here we show that this is not the case for left restriction semigroups, by exhibiting identities for the above varieties and for their joins with monoids (the analog of groups in this context). We do so by structural means involving subdirect decompositions into certain primitive semigroups. We also show that each identity has a simple structural interpretation.

The catenary degree is an invariant that measures the distance between factorisations of elements within an atomic monoid. In this paper, we classify which finite subsets of $\mathbb{Z}_{\geq 0}$ occur as the set of catenary degrees of a numerical monoid (that is, a co-finite, additive submonoid of $\mathbb{Z}_{\geq 0}$). In particular, we show that, with one exception, every finite subset of $\mathbb{Z}_{\geq 0}$ that can possibly occur as the set of catenary degrees of some atomic monoid is actually achieved by a numerical monoid.

We discuss the internal structure of graph products of right LCM semigroups and prove that there is an abundance of examples without property (AR). Thereby we provide the first examples of right LCM semigroups lacking this seemingly common feature. The results are particularly sharp for right-angled Artin monoids.

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnections, similarities and dissimilarities. They appeared originally in various different settings (automata, representation theory, presentations, and transformation semigroups). Here we study them in full generality. The paper ends with a large list of open problems.

In this paper, we investigate regular semigroups that possess a normal idempotent. First, we construct a nonorthodox nonidempotent-generated regular semigroup which has a normal idempotent. Furthermore, normal idempotents are described in several different ways and their properties are discussed. These results enable us to provide conditions under which a regular semigroup having a normal idempotent must be orthodox. Finally, we obtain a simple method for constructing all regular semigroups that contain a normal idempotent.

A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a permutoid based on a finite set can be completed to a finite permutation group. In this note we prove Cameron’s conjecture by relating it to our recent work on the profinite triviality problem for finitely presented groups. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable. In an appendix, Steinberg recasts these results in terms of inverse semigroups.

In this paper, we give an explicit construction of a quasi-idempotent in the $q$-rook monoid algebra $R_{n}(q)$ and show that it generates the whole annihilator of the tensor space $U^{\otimes n}$ in $R_{n}(q)$.

We characterise the elements of the (maximum) idempotent-generated subsemigroup of the Kauffman monoid in terms of combinatorial data associated with certain normal forms. We also calculate the smallest size of a generating set and idempotent generating set.

Let $V$ be a vector space and let $T(V)$ denote the semigroup (under composition) of all linear transformations from $V$ into $V$. For a fixed subspace $W$ of $V$, let $T(V,W)$ be the semigroup consisting of all linear transformations from $V$ into $W$. In 2008, Sullivan [‘Semigroups of linear transformations with restricted range’, Bull. Aust. Math. Soc.77(3) (2008), 441–453] proved that

$$\begin{eqnarray}\displaystyle Q=\{\unicode[STIX]{x1D6FC}\in T(V,W):V\unicode[STIX]{x1D6FC}\subseteq W\unicode[STIX]{x1D6FC}\} & & \displaystyle \nonumber\end{eqnarray}$$

$T(V,W)$

$T(V,W)$

$Q$

$W$

$V$

$Q$

$W$

$n$

$m$

$V$

$F$

In the 1970s, Feldman and Moore classified separably acting von Neumann algebras containing Cartan maximal abelian self-adjoint subalgebras (MASAs) using measured equivalence relations and 2-cocycles on such equivalence relations. In this paper we give a new classification in terms of extensions of inverse semigroups. Our approach is more algebraic in character and less point-based than that of Feldman and Moore. As an application, we give a restatement of the spectral theorem for bimodules in terms of subsets of inverse semigroups. We also show how our viewpoint leads naturally to a description of maximal subdiagonal algebras.