Related papers: Coherency, free inverse monoids and free left ampl…
Motivated by recent advances in inverse semigroup theory, we investigate the growth of and identities satisfied by free left and free two-sided adequate monoids. We explicitly compute the growth of the monogenic free left adequate monoid…
It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a…
We present an algorithmic approach to the conjugacy problems in monoids and semigroups, using rewriting systems. There is a class of monoids and semigroups that satisfy the condition that the transposi- tion problem and the left and right…
A crucial lemma on module theory is Nakayama's lemma \cite{AF}. In this article, we shall investigate some forms of Nakayama's lemma in the category of right acts over a given monoid $S$ with identity 1. More precisely, among other things,…
We prove that the equality problem is decidable for rational subsets of the monogenic free inverse monoid $F$. It is also decidable whether or not a rational subset of $F$ is recognizable. We prove that a submonoid of $F$ is rational if and…
We show how topological methods developed in a previous article can be applied to prove new results about topological and homological finiteness properties of monoids. A monoid presentation is called special if the right-hand side of each…
A function on an algebra is congruence preserving if, for any congruence, it maps congruent elements to congruent elements. We show that, on a free monoid generated by at least 3 letters, a function from the free monoid into itself is…
We call a restriction semigroup almost perfect if it is proper and its least monoid congruence is perfect. We show that any such semigroup is isomorphic to a `$W$-product' $W(T,Y)$, where $T$ is a monoid, $Y$ is a semilattice and there is a…
We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a…
It was proved by Oliveira and Silva (2005) that every finitely generated inverse subsemigroup of the monogenic free inverse semigroup $FI_1$ is finitely presented. The present paper continues this development, and gives generating sets and…
The free regular $\star$-monoid of rank $r$ is the freest $r$-generated regular monoid $\mathbf{F}_r^\star$ in which every element $m$ has a distinguished pseudo-inverse $m^\star$ satisfying $mm^\star m = m$ and $(m^\star)^\star = m$. We…
We prove that monoids $\mathrm{Mon}\langle a,b,c,d : a^nb=0, ac=1, db=1, dc=1, dab=1, da^2b=1, \ldots, da^{n-1}b=1\rangle$ are congruence-free for all $n\geq 1$. This provides a new countable family of finitely presented congruence-free…
The index of a subgroup of a group counts the number of cosets of that subgroup. A subgroup of finite index often shares structural properties with the group, and the existence of a subgroup of finite index with some particular property can…
It is proved, among other results, that a prime right nonsingular ring (in particular, a simple ring) $R$ is right self-injective if $R_R$ is invariant under automorphisms of its injective hull. This answers two questions raised by Singh…
We establish a new sufficient condition under which a monoid is non-finitely 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$…
We show that a ring R has stable range one if and only if every left unit lifts modulo every left principal ideal. We also show that a left quasi-morphic ring has stable range one if and only if it is left uniquely generated. Thus we answer…
Recentely, Anderson and Dumitrescu's $S$-finiteness has attracted the interest of several authors. In this paper, we introduce the notions of $S$-finitely presented modules and then of $S$-coherent rings which are $S$-versions of finitely…
The first author showed in a previous paper that there is a correspondence between self-similar group actions and a class of left cancellative monoids called left Rees monoids. These monoids can be constructed either directly from the…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
We uncover a connection between the model-theoretic notion of superstability and that of noetherian rings and pure-semisimple rings. We characterize noetherian rings via superstability of the class of left modules with embeddings.…