Related papers: Free monoids are coherent
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…
This is the second in a series of articles surveying the body of work on the model theory of S-acts over a monoid S. The first concentrated on the theory of regular S-acts. Here we review the material on model-theoretic properties of free,…
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 prove several results concerning finitely generated submonoids of the free monoid. These results generalize those known for free submonoids. We prove in particular that if $X=Y\circ Z$ is a composition of finite sets of words with $Y$…
It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable…
Let $A$ be a finite dimensional algebra over an algebraically closed field. We present a relationship between simple-minded systems and coherent rings.
We propose a way of associating to each finitely generated monoid or semigroup a formal language, called its loop problem. In the case of a group, the loop problem is essentially the same as the word problem in the sense of combinatorial…
A binary relation over a free monoid is synchronous if it can be recognized by a synchronous automaton that reads its two tapes simultaneously. We consider the case where the free monoid is generated by a single element (which makes it…
Two knots are homology concordant if they are smoothly concordant in a homology cobordism. The group $\hat{\mathcal{C}}_{\mathbb{Z}}$ (resp. $\mathcal{C}_{\mathbb{Z}}$) was previously defined as the set of knots in homology spheres that…
For every finitely generated free group we construct an explicit left order extending the lexicographic order on the free monoid generated by the positive letters. The order is defined by a left, free action on the orbit of 0 of a free…
The aim of this paper is to introduce a new class of Noetherian rings of positive characteristic in terms of perfect closures and study their basic properties. If the perfect closure of a Noetherian ring is coherent, we call it an…
In this paper, we study the relationship between the two main categories of $S$-acts for a monoid $S$ with zero from the viewpoint of existence of projective covers and the equivalence is proven. Furthermore, monoids with zeros over which…
A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a…
Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differential modality; when they do not, we have merely a monoidal…
Let $R$ be a commutative ring with unity and $C$ be an $R$-coalgebra. The ring $R$ is clean if every $ r\in R $ is the sum of a unit and an idempotent element of $R$. An $R$-module $M$ is clean if the endomorphism ring of $M$ over $R$ is…
We investigate the behavior of four coherent-like conditions in regular conductor squares. In particular, we find necessary and sufficient conditions in order that a pullback ring be a finite conductor ring, a coherent ring, a generalized…
A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive…
Several authors have studied the question of when the monoid ring DM of a monoid M over a ring D is a right and/or left fir (free ideal ring), a semifir, or a 2-fir (definitions recalled in section 1). It is known that for M nontrivial, a…
In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the…
We consider relativistic coherent states for a spin-0 charged particle that satisfy the next additional requirements: (i) the expected values of the standard coordinate and momentum operators are uniquely related to the real and imaginary…