On the nonrigidity of trace modules (Q2161178): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W4285503332 / rank
 
Normal rank

Revision as of 22:08, 19 March 2024

scientific article
Language Label Description Also known as
English
On the nonrigidity of trace modules
scientific article

    Statements

    On the nonrigidity of trace modules (English)
    0 references
    0 references
    4 August 2022
    0 references
    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\).
    0 references
    trace ideal
    0 references
    trace module
    0 references
    Auslander-Reiten conjecture
    0 references
    rigid module
    0 references
    vanishing of Ext
    0 references
    Gorenstein ring
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references