Related papers: Constructing Big Indecomposable modules
Constructive proofs of fact that a stably free left $S$-module $M$ with rank$(M)\geq$sr$(S)$ is free, where sr$(S)$ denotes the stable rank of an arbitrary ring $S$, were developed in some articles. Additionally, in such papers, are…
In this paper, we study Noetherian local rings $R$ having a finite number of trace ideals. We proved that such rings are of dimension at most two. Furthermore, if the integral closure of $R/H$, where $H$ is the zeroth local cohomology, is…
We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show…
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…
Lyubeznik's conjecture, (\cite{Ly1}, Remark 3.7) asserts the finiteness of the set ssociated primes of local cohomology modules for regular rings. But, in the case of ramified regular local ring, it is open. Recently, in Theorem 1.2 of…
Let $(R,\frak{m})$ be a Noetherian local ring, $I$ an ideal of $R$ and $N$ a finitely generated $R$-module. Let $k{\ge}-1$ be an integer and $ r=\depth_k(I,N)$ the length of a maximal $N$-sequence in dimension $>k$ in $I$ defined by M.…
Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ a finitely generated $R$-module with $\dim_R(M)=d$. Denote by $\depth_R(I,M)$ the depth of $M$ in $I$. In \cite{HT}, C. Huneke and V. Trivedi proved that if $R$ is a…
Local conditions for the direct summands of a persistence module to belong to a certain class of indecomposables have been proposed in the 2-parameter setting, notably for the class of indecomposables called block modules, which plays a…
We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…
Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines…
Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…
We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…
While persistent homology has taken strides towards becoming a wide-spread tool for data analysis, multidimensional persistence has proven more difficult to apply. One reason is the serious drawback of no longer having a concise and…
In this note, we establish conditions under which the union of an increasing sequence of completely decomposable modules over domains are again completely decomposable. In our investigation, the condition of purity of modules is crucial. In…
Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…
We study the problem of existence of essential indecomposable submodules of direct sums of copies of the ring of quotients of Ore domains. We provide, for each Ore domain $D$, with at least three non-associate irreducibles, a lower bound…
Let R be a subring of the rationals. We want to investigate self splitting R-modules G that is Ext_R(G,G)=0 holds and follow Schultz to call such modules splitters. Free modules and torsion-free cotorsion modules are classical examples for…
Let $R$ be a real smooth affine domain of dimension $3$ such that $R$ has either no real maximal ideals or the intersection of all real maximal ideals in $R$ has height at least $1$. Then we prove that all stably free $R$-modules of rank…
Consider a Noetherian domain $R$ and a finite group $G \subseteq Gl_n(R)$. We prove that if the ring of invariants $R[x_1, \ldots, x_n]^G$ is a Cohen-Macaulay ring, then it is generated as an $R$-algebra by elements of degree at most…
Let $R$ be a commutative, Noetherian, local ring and $M$ an $R$-module. Consider the module of homomorphisms $\operatorname{Hom}_R(R/\mathfrak{a},M/\mathfrak{b} M)$ where $\mathfrak{b}\subseteq\mathfrak{a}$ are parameter ideals of $M$. When…