Related papers: Coherence in amalgamated algebra along an ideal

An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory…

Even if a ring A is coherent, the polynomial ring A[X] in one variable could fail to be coherent. In this note we show that A[X] is graded coherent with the standard grading deg X=1. More generally, we give a criterion of graded…

There are well-known constructions relating ring epimorphisms and tilting modules. The new notion of silting module provides a wider framework for studying this interplay. To every partial silting module we associate a ring epimorphism…

We consider an involutive automorphism of the conformal algebra and the resulting symmetric space. We display a new action of the conformal group which gives rise to this space. The space has an intrinsic symplectic structure, a…

We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of…

Let B be a ring and $A=B[X,Y]/(aX^2+bXY+cY^2-1)$ where $a,b,c\in B$. We study the smoothness of A over B, and the regularity of B when B is a ring of algebraic integers.

Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also…

Let $(R,\fm)$ be a local ring and $\fa$ be an ideal of $R$. The inequalities $$\begin{array}{ll} \ \Ht(\fa) \leq \cd(\fa,R) \leq \ara(\fa) \leq l(\fa) \leq \mu(\fa) \end{array}$$ are known. It is an interesting and long-standing problem to…

For two semi-simple algebras $A$ and $B$ over an arbitrary ground field $F$, we give a numerical criterion when $\Hom_F(A,B)$, the set of $F$-algebra homomorphisms between them, is non-empty. We also determine when the orbit set $B^\times…

We show that under certain conditions, well-studied algebraic properties transfer from the class $\mathcal{Q}_{_\text{RFSI}}$ of the relatively finitely subdirectly irreducible members of a quasivariety $\mathcal{Q}$ to the whole…

Some basic properties of the ring of integers $\mathbb{Z}$ are extended to entire rings. In particular, arithmetic in entire principal rings is very similar than arithmetic in the ring of integers $\mathbb{Z}$. These arithmetic properties…

This paper establishes necessary and sufficient conditions for a bi-amalgamation to inherit the arithmetical property, with applications on the weak global dimension and transfer of the semihereditary property. The new results compare to…

In this paper using the connections between some subvarieties of residuated lattices, we investigated some properties of the lattice of ideals in commutative and unitary rings. We give new characterizations for commutative rings $A$ in…

We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…

We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…

Several authors have introduced various type of coherent-like rings and proved analogous results on these rings. It appears that all these relative coherent rings and all the used techniques can be unified. In [2], several coherent-like…

In this paper, we consider the problem of how to establish algebraic structures on nearness approximation spaces. Essentially, our approach is to define the nearness ring, nearness ideal and nearness ring of all weak cosets by considering…

The main theorem (Theorem 4.1) of this paper claims that any ring morphism from an Azumaya algebra of constant rank over a commutative ring to another one of the same constant rank and over a reduced commutative ring induces a ring morphism…

A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. The corresponding notion for a ring $R$ states that every finitely generated submodule of every finitely…

An associative ring $A$ gives rise to the Lie ring $A^{(-)}=(A,[a,b ]=ab-ba)$. The subject of isomorphisms of Lie rings $A^{(-)}$ and $[A,A]$ has attracted considerable attention in the literature. We prove that if the identity element of…