Related papers: Simulation vs. Equivalence
Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum,…
A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a…
We prove that for a noetherian semilocal ring $R$ with exactly $k$ isomorphism classes of simple right modules the monoid $V^*(R)$ of isomorphism classes of countably generated projective right (left) modules, viewed as a submonoid of…
We first establish a sufficient condition for an additively idempotent semiring to be nonfinitely based. As applications, we exhibit several examples of additively idempotent semirings satisfying this condition, including a $4$-element…
We prove the following. Let $R$ be a Noetherian ring, $B$ a finitely generated $R$-algebra, and $A$ a pure $R$-subalgebra of $B$. Then $A$ is finitely generated over $R$.
We consider a circle of ideas involving differential algebra, local Noetherian rings, and their generic formal fibers. Connecting these ideas gives rise to what we term a "twisted" subring $R$ of a ring $S$. Each such subring $R$ arises as…
We present pumping lemmas for five classes of functions definable by fragments of weighted automata over the min-plus semiring, the max-plus semiring and the semiring of natural numbers. As a corollary we show that the hierarchy of…
We construct a family of semiprimitive and non von Neumann regular rings satisfying that any right or left module is isomorphic to a quotient of its flat cover (in the sense of Enochs) by a small submodule. This answers in the negative a…
A ring $R$ is said to be centrally essential if for every its non-zero element $a$, there exist non-zero central elements $x$ and $y$ with $ax = y$. A ring $R$ is said to be completely centrally essential if all its factor rings are…
Idealization of a module $K$ over a commutative ring $S$ produces a ring having $K$ as an ideal, all of whose elements are nilpotent. We develop a method that under suitable field-theoretic conditions produces from an $S$-module $K$ and…
In this note, we show that a ring $R$ is $S$-coherent if and only if every finitely presented $R$-module is $S$-coherent, providing a positive answer to a question proposed in [D. Bennis, M. El Hajoui, {\it On $S$-coherence}, J. Korean…
A semiring is said to be centrally essential if for every non-zero element $x$, there exist two non-zero central elements $y, z$ with $xy = z$. We give some examples of non-commutative centrally essential semirings and describe some…
Weighted automata over the max-plus semiring S are closely related to finitely generated semigroups of matrices over S. In this paper, we use results in automata theory to study two quantities associated with sets of matrices: the joint…
By any measure, semisimple modules form one of the most important classes of modules and play a distinguished role in the module theory and its applications. One of the most fundamental results in this area is the Wedderburn-Artin theorem.…
This note concerns the still open question of representability of Noetherian PI-algebras. Extending a result of Rowen and Small (with an observation of Bergman) that every finitely generated module over a commutative Noetherian ring…
In this paper, among other results, there are described (complete) simple - simultaneously ideal- and congruence-simple - endomorphism semirings of (complete) idempotent commutative monoids; it is shown that the concepts of simpleness,…
We consider numerical semigroups associated with normal weighted homogeneous surface singularities with rational homology sphere links. We say that a semigroup is representable if it can be realized in this way. In this article, we study…
Finite automata with weights in the max-plus semiring are considered. The main result is: it is decidable in an effective way whether a series that is recognized by a finitely ambiguous max-plus automaton is unambiguous, or is sequential. A…
In this paper we describe the structure of the tangent cone of a numerical semigroup ring $A=k[[S]] \subseteq k[[t]]$ with multiplicity $e$ (as a module over the Noether normalization determined by the fiber cone of the ideal generated by…
Let $G$ be a group. A ring $R$ is called a graded ring (or $G$-graded ring) if there exist additive subgroups $R_{\alpha }$ of $R$ indexed by the elements $\alpha \in G$ such that $R=\bigoplus_{\alpha \in G}R_{\alpha }$ and $R_{\alpha…