Related papers: Free monoids are coherent
We show that there exists no left order on the free product of two nontrivial, finitely generated, left-orderable groups such that the corresponding positive cone is represented by a regular language. Since there are orders on free groups…
This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation…
A ring $R$ is called strongly clean if every element of $R$ is the sum of a unit and an idempotent that commute with each other. A recent result of Borooah, Diesl and Dorsey \cite{BDD05a} completely characterized the commutative local rings…
We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings. $\mathbf{Theorem.}$ For a ring $R$ the following are equivalent. - $R$ is left perfect. - The class of flat left…
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 give simple homological conditions for a rational homology 3-sphere Y to have infinite order in the rational homology cobordism group, and for a collection of rational homology spheres to be linearly independent. These translate…
Under mild hypotheses, given a scheme $U$ and an open subset $V$ whose complement has codimension at least two, the pushforward of a torsion-free coherent sheaf on $V$ is coherent on $U$. We prove an analog of this result in the context of…
The consistency formula for set theory can be stated in terms of the free-variables theory of primitive recursive maps. Free-variable p. r. predicates are decidable by set theory, main result here, built on recursive evaluation of p. r. map…
A finitely generated group or monoid is said to be context-free if it has context-free word problem. In this note, we give an example of a context-free monoid, none of whose maximal subgroups are finitely generated. This answers a question…
In this paper, we introduce and study the notions of uniformly $S$-finitely presented modules and uniformly $S$-coherent rings (modules) which are "uniform" versions of ($c$-)$S$-finitely presented modules and ($c$-)$S$-coherent rings…
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the…
This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid…
Some variations of $\pi$-regular and nil clean rings were recently introduced in \cite{5,8,7}, respectively. In this paper, we examine the structure and relationships between these classes of rings. Specifically, we prove that $(m,…
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…
Esik and Maletti introduced the notion of a proper semiring and proved that some important (classes of) semirings -- Noetherian semirings, natural numbers -- are proper. Properness matters as the equivalence problem for weighted automata…
Let $M$ be a positive homogeneously presented monoid ${\langle L \mid R\,\rangle}_{mo}$. If $M$ satisfies the cancellation condition and carries certain particular elements similar to the \emph{fundamental elements} in Artin monoids, then…
A commutative cancellative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral domain is atomic if its multiplicative monoid is atomic. Back in the eighties, Gilmer posed the…
We prove that cyclic subgroup separability is preserved under exponential completion for groups that belong to a class that includes all coherent RAAGs and toral relatively hyperbolic groups; we do so by exploiting the structure of these…
Let R be a ring (not necessarily commutative). A left R-module is said to be cotorsion if Ext 1 R (G, M) = 0 for any flat R-module G. It is well known that each pure-injective left R-module is cotorsion, but the converse does not hold: for…
In 1977, Hartwig and Luh asked if $a$ is an element of a Dedekind-finite ring $S$, then does $aS = a^2S$ imply $Sa = Sa^2$. This question was answered negatively by Dittmer, Khurana, and Nielsen in 2014. On the other hand, Dittmer et al.…