On the nonrigidity of trace modules
Let's start by some ingredients used in this paper. Let \(R\) be a ring and \(M\), \(X\) be \(R\)-modules. The trace module of \(M\) in \(X\), denoted \(\tau_M(X)\), is the \(R\)-module \(\sum\alpha(M)\) as \(\alpha\) ranges over \(\mathrm{Hom}_R(M,X)\). Such a trace module is proper provided \(\tau_M(X)\subsetneq X\). A left \(R\)-module \(M\) is said to be rigid if \(\mathrm{Ext}^1_R(M,M)= 0\) and that a local commutative Noetherian ring is Artinian Gorenstein if and only if it is self-injective that is injective as \(R\)-module. Recall that an \(R\)-module \(M\) is G-projective if the following conditions hold: \begin{itemize} \item[(i)] The natural homomorphism \(M \to M^{**}\) is an isomorphism. \item[(ii)] \(\mathrm{Ext}^i_R(M,R)=0\) for any \(i >0\). \item[(iii)] \(\mathrm{Ext}^i_R(M^*,R)=0\) for any \(i >0\). \end{itemize} \par In this paper, the author investigates a link between trace modules and rigidity in modules over Noetherian rings. First result asserts that if \(M\) is a proper submodule of \(X\) such that \(\mathrm{Hom}_R(M,X/M)=0\), then \(M\) is a trace module in \(X\), and that the converse holds when \(M\) is rigid. In the second result the author shows that over a local commutative Artinian ring, the syzygy of a G-projective proper trace module is not rigid. Finally, the Auslander-Reiten conjeture is discussed. Before, we recall the Auslander-Reiten conjecture; {Auslander-Reiten conjecture :} Let \(A\) be an Artin algebra and \(M\) a finitely generated \(A\)-module. If \(\mathrm{Ext}^1_R(M,M)=0\), \(\mathrm{Ext}^1_R(M,R)=0\) for all \(i>0\), then \(M\) is projective. Then the author shows that, if \(R\) is a local Artinian Gorenstein ring. Then the Auslander-Reiten conjecture holds for all positive and negative syzygies of ideals \(I\subseteq R\).
- Traces on noncommutative homogeneous spaces
- Trace quotient modules
- Traces on Irregular Ideals
- scientific article; zbMATH DE number 4065312
- A generalization of coretractable modules
- On non-quasi-coherent bundles of modules
- On non-holonomic irreducible D-modules
- On a Conjecture Regarding Nonstandard Uniserial Modules
- Non-Singular Modules and R-Homogeneous Maps
- The trace of the canonical module
- Computing the Integral Closure of an Affine Domain
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 1181204 (Why is no real title available?)
- Ideals generated by \(R\)-sequences
- Remarks on modules approximated by G-projective modules
- Tensor products of modules and the rigidity of Tor
- The Auslander-Reiten conjecture for Gorenstein rings
- The radical trace property and primary ideals
- Trace ideals and centers of endomorphism rings of modules over commutative rings
- Trace Ideals and the Gorenstein Property
- Trace quotient modules
- Twenty-four hours of local cohomology
This page was built for publication: On the nonrigidity of trace modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2161178)
