The direct sum decomposability of \(^eM\) in dimension 2
type: Item
instance of: scholarly article
title: The direct sum decomposability of \(^eM\) in dimension 2
zbMATH Open document ID: 1193.13005
author: Yongwei Yao
published in: Michigan Mathematical Journal
publication date: 2009-09-17T00:00:00Z
review text: Let \((R,m)\) be a local noetherian ring of prime characteristic \(p\) and maximal ideal \(m\), and let \(M\) be a finitely generated \(R\)-module. For \(e \in \mathbb{N}\), the map \(F^e:R \to R\) defined by \(F^e(r)=r^{p^e}\) is a ring homomorphism. We denote by \(^e M\) the \(R\)-module defined by the abelian group \(M\) with the scalar multiplication \( r \cdot m = r^{p^e}m\) (\(r \in R\), \(m \in M\)). The ring \(R\) is called \(F\)-finite if \(^1 R\) is a finitely generated \(R\)-module or, equivalently, if \(^e R\) is a finitely generated \(R\)-module for all \(e \in \mathbb{N}\). If \(R\) is \(F\)-finite and \(M\) is a finitely generated \(R\)-module, then \(^e M\) is a finitely generated \(R\)-module for all \(e \in \mathbb{N}\). This paper studies whether the \(R\)-modules \(^e M\) are indecomposable, i.e., they cannot be split as a direct sum of two non-trivial submodules. In several cases, \textit{M. Hochster} [Conf. Commut. Algebra, Kingston 1975, 106--195 (1975; Zbl 0342.13009)] showed that \(^e M\) splits for \(e \gg 0\). In particular, he proved the following result: Assume that the local ring \((R,m)\) is \(F\)-finite and \(\dim (M)=1\). Let \(P\) be an associated prime of \(M\) with \(\dim (R/P)=1\) and let \(A\) be the integral closure of the domain \(R/P\) in its fraction field. Then, for any \(n \in \mathbb{N}\), there exists \(e_0 \in \mathbb{N}\) such that \(^e M\) has a direct summand isomorphic to \(A^n\) for all \(e \geq e_0\). The main result of the paper generalizes this result to the case when \(\dim (M)=2\). More precisely, the author proves the following: Let \((R,m)\) be an \(F\)-finite local ring and let \(M\) be a finitely generated \(R\)-module with \(\dim(M)=2\). Let \(P\) be an associated prime of \(M\) with \(\dim (R/P)=2\) and let \(A\) be the integral closure of the domain \(R/P\) in its fraction field. If \(A\) is strongly \(F\)-regular, then, for any \(n \in \mathbb{N}\), there exists \(e_0 \in \mathbb{N}\) such that \(^e M\…
Mathematics Subject Classification ID: 13A35
zbMATH DE Number: 5604558
zbMATH Keywords: \(F\)-finite
zbMATH Keywords: \(F\)-regular
zbMATH Keywords: indecomposable modules
reviewed by: Catalin Ciuperca
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1307/mmj/1220879435
OpenAlex ID: W2049974736
cites work: The structure of \(F\)-pure rings
cites work: When does the F-signature exist?
cites work: The \(F\)-signature and strong \(F\)-regularity.
cites work: Q4109754
cites work: Tight Closure, Invariant Theory, and the Briancon-Skoda Theorem
cites work: F-Regularity, Test Elements, and Smooth Base Change
cites work: Two theorems about maximal Cohen-Macaulay modules
cites work: Characterizations of Regular Local Rings of Characteristic p
cites work: On Noetherian Rings of Characteristic p
cites work: Q3739243
cites work: The Hilbert-Kunz function
cites work: The F-signature of an affine semigroup ring
cites work: Simplicity of Rings of Differential Operators in Prime Characteristic
cites work: MODULES WITH FINITE $F$-REPRESENTATION TYPE
cites work: Observations on the \(F\)-signature of local rings of characteristic \(p\)
DOI: 10.1307/MMJ/1220879435
description: scientific article; zbMATH DE number 5604558