Related papers: Free monoids are coherent
A semiring can be ``completed'' (i.e., embedded into a semiring in which all infinite sums are defined and satisfy some reasonable properties) iff this semiring can be naturally partially ordered. This construction is ``natural'' (a left…
The Cartan scheme $\cal X$ of a finite group $G$ with a $(B,N)$-pair is defined to be the coherent configuration associated with the action of $G$ on the right cosets of the Cartan subgroup $B\cap N$ by the right multiplications. It is…
Arithmetical congruence monoids, which arise in non-unique factorization theory, are multiplicative monoids $M_{a,b}$ consisting of all positive integers $n$ satsfying $n \equiv a \bmod b$. In this paper, we examine the asymptotic behavior…
This paper studies questions of coherence and strictification related to self-similarity - the identity $S\cong S\otimes S$ in a (semi-)monoidal category. Based on Saavedra's theory of units, we first demonstrate that strict self-similarity…
Let $R$ be a ring. $R$ is called a right countably $\Sigma$-C2 ring if every countable direct sum copies of $R_{R}$ is a C2 module. The following are equivalent for a ring $R$: (1) $R$ is a right countably $\Sigma$-C2 ring. (2) The column…
We consider some questions about formal languages that arise when inverses of letters, words and languages are defined. The reduced representation of a language over the free monoid is its unique equivalent representation in the free group.…
The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (e.g., $\{0\})$ that are closed under the natural metric, but has no prime ideals closed under that metric; hence closed…
In this paper, a connection between rewriting systems and embedding of monoids in groups is found. We show that if a group with a positive presentation has a complete rewriting system $\Re$ that satisfies the condition that each rule in…
In this paper, we first introduce the notions of superfluous and coessential subacts. Then hollow and co-uniform S-acts are defined as the acts that all proper subacts are superfluous and coessential, respectively. Also it is indicated that…
This paper presents the proof of the coherence theorem for Ann-categories whose set of axioms and original basic properties were given in [9]. Let $$\A=(\A,{\Ah},c,(0,g,d),a,(1,l,r),{\Lh},{\Rh})$$ be an Ann-category. The coherence theorem…
The class of Church-Rosser congruential languages has been introduced by McNaughton, Narendran, and Otto in 1988. A language L is Church-Rosser congruential (belongs to CRCL), if there is a finite, confluent, and length-reducing semi-Thue…
This paper considers the word problem for free inverse monoids of finite rank from a language theory perspective. It is shown that no free inverse monoid has context-free word problem; that the word problem of the free inverse monoid of…
The action of a finite group $G$ on a subshift of finite type $X$ is called free, if every point has trivial stabilizer, and it is called inert, if the induced action on the dimension group of $X$ is trivial. We show that any two free inert…
A new class of rings, the class of left localizable rings, is introduced. A ring $R$ is left localizable if each nonzero element of $R$ is invertible in some left localization $S^{-1}R$ of the ring $R$. Explicit criteria are given for a…
A countable band $B$ is called homogeneous if every isomorphism between finitely generated subbands extends to an automorphism of $B$. In this paper we give a complete classification of all the homogeneous bands. We prove that a homogeneous…
The partial automorphism monoid of an inverse semigroup is an inverse monoid consisting of all isomorphisms between its inverse subsemigroups. We prove that a tightly connected fundamental inverse semigroup $S$ with no isolated nontrivial…
The long-standing problem of finding coherent states for the (bound state portion of the) hydrogen atom is positively resolved. The states in question: (i) are normalized and are parameterized continuously, (ii) admit a resolution of unity…
We give necessary and sufficient conditions for the group of a rational maximal bifix code $Z$ to be isomorphic with the $F$-group of $Z\cap F$, when $F$ is recurrent and $Z\cap F$ is rational. The case where $F$ is uniformly recurrent,…
In 1992, David Wright proved a remarkable theorem about which contractible open manifolds are covering spaces. He showed that if a one-ended open manifold M has pro-monomorphic fundamental group at infinity which is not pro-trivial and is…
If $R$ is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) $R$ is unit-regular, (2) every factor ring of $R$ is directly finite, (3) the abelian group $K_0(R)$ is free and admits a basis which…