Related papers: The realization problem for von Neumann regular ri…
In this paper we consider reduced (non-normal) commutative noetherian rings $R$. With the help of conductor ideals and trace ideals of certain $R$-modules we deduce a criterion for a reflexive $R$-module to be closed under multiplication…
We classify certain resolving subcategories of finitely generated modules over a commutative noetherian ring R by using integer-valued functions on Spec R. As an application we give a complete classification of resolving subcategories when…
Aitchison and Rubinstein constructed two knot complements that can be decomposed into two regular ideal dodecahedra. This paper shows that these knot complements are the only knot complements that decompose into n regular ideal dodecahedra,…
Let $S={\Bbb K}[x_1,\dots,x_n]$ denote a polynomial ring over a field $\Bbb K$. Given a monomial ideal $I$ and a finitely generated multigraded $M$ over $S$, we follow Herzog's method to construct a multigraded free $S$-resolution of $M/IM$…
A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This…
Let $I$ be a monomial ideal in a polynomial ring $S=K[x_1,\ldots,x_n]$ over a field $K$ with $n=2$ or $3$, and let $\overline{I}$ be its integral closure. We will show that $\text{reg} (\overline{I}) \le \text{reg} (I)$. Furthermore, if $I$…
Let (R,m,k) be a one-dimensional analytically unramified local ring with minimal prime ideals P_1,...,P_s. Our ultimate goal is to study the direct-sum behavior of maximal Cohen-Macaulay modules over R. Such behavior is encoded by the…
We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…
We search for some splitting (resp. finiteness) criteria of a given module $M$ over a local ring $(R,\fm,k)$ in terms of the splitting (resp. finiteness) property of certain cohomological functors evaluated at $M$. In particular, we deal…
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent.…
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent.…
In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten…
Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. Under various hypotheses, it is proved that the center of $\mbox{End}_R(M)$ coincides with the endomorphism ring of the trace ideal of $M$. These results are…
A commutative ring R has finite rank r, if each ideal of R is generated at most by r elements. A commutative ring R has the r-generator property, if each finitely generated ideal of R can be generated by r elements. Such rings are closely…
If R is a commutative ring, we prove that every finitely generated module has a pure-composition series with indecomposable factors and any two such series are isomorphic if and only if R is a Bezout ring and a CF-ring.
In this paper we investigate formal verification problems for Neural Network computations. Various reachability problems will be in the focus, such as: Given symbolic specifications of allowed inputs and outputs in form of Linear…
A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. This is a finiteness condition, and we investigate whether or not it is preserved under some standard…
We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB,…
Let $R$ be a noetherian normal domain. We investigate when $R$ admits a faithful module whose endomorphism ring has finite global dimension. This can be viewed as a non-commutative desingularization of $\Spec(R)$. We show that the existence…
Let R be a commutative noetherian ring. Let M be a finitely generated R-module. In this paper, we reconstruct M from its Koszul homology with respect to a suitable sequence of elements of R by taking direct summands, syzygies and…