\(\mathfrak{m}\)-full and basically full ideals in rings of characteristic \(p\)
type: Item
instance of: scholarly article
title: \(\mathfrak{m}\)-full and basically full ideals in rings of characteristic \(p\)
zbMATH Open document ID: 1308.13009
DOI: 10.1216/RMJ-2014-44-2-691
author: Janet Vassilev
published in: Rocky Mountain Journal of Mathematics
publication date: 2014-09-04T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.rmjm/1407154920
review text: Let \((R,m)\) be a local noetherian ring. An ideal \(I\) of \(R\) is said to be \(m\)-full if there exists \(x \in m \setminus m^2\) such that \((Im:x)=I\). Originally introduced by \textit{J. Watanabe} [Nagoya Math. J. 106, 101--111 (1987; Zbl 0623.13012)], the \(m\)-full ideals have been used as a tool in the study of the structure of integrally closed ideals. Heinzer, Ratliff and Rush [\textit{W. J. Heinzer} et al., J. Algebra 250, No. 1, 371--396 (2002; Zbl 1048.13001)] introduced the following related concept: an ideal \(I\) is said to be basically full if for every ideal \(J\) containing \(I\) no minimal set of generators of \(I\) can be extended to a minimal set of generators for \(J\). (Every \(m\)-full ideal is basically full.) In this paper the author introduces two tight closure versions of \(m\)-full and basically full ideals. Assuming that \(R\) has prime characteristic \(p\), an ideal \(I\) is said to be \(*\)-\(m\)-full if \((Im:x)=I^{*}\) for some \(x \in m \setminus m^2\), where \(I^{*}\) denotes the tight closure of \(I\). An ideal \(I\) is said to be weakly \(*\)-\(m\)-full if \((Im:x)^{*}=I^{*}\) for some \(x \in m \setminus m^2\). Similarly, \(I\) is said to be \(*\)-basically full if \((Im:m)=I^{*}\) and \(I\) is said to be weakly \(*\)-basically full if \((Im:m)^{*}=I^{*}\). Several properties of these concepts are studied as well as their connections with the original versions. In particular, it is shown that every \(m\)-full (basically full) ideal is weakly \(*\)-\(m\)-full (\(*\) basically full). However, there exist \(*\)-\(m\)-full ideals which are not \(m\)-full.
Mathematics Subject Classification ID: 13A35
Mathematics Subject Classification ID: 13B22
zbMATH DE Number: 6339722
zbMATH Keywords: m-full ideals
zbMATH Keywords: basically full ideals
zbMATH Keywords: integral closure
zbMATH Keywords: tight closure
reviewed by: Catalin Ciuperca
MaRDI profile type: Publication
cites work: Integrally closed almost complete intersection ideals
cites work: Integral closedness of complete-intersection ideals
cites work: Finite homological dimension and primes associated to integrally closed ideals
cites work: The strong test ideal
cites work: Basically full ideals in local rings.
cites work: Full Ideals
cites work: Q4871734
cites work: Tight closure and strong test ideals
cites work: Q3414477
cites work: Test Ideals in Local Rings
cites work: Test ideals in quotients of $F$-finite regular local rings
cites work: When is tight closure determined by the test ideal?
cites work: Strong test ideals
cites work: m-full ideals
OpenAlex ID: W2088969275
Recommended article: Q3166584
Recommended article: On \({\mathfrak m}\)-full powers of parameter ideals
Recommended article: m-full ideals
Recommended article: Full Ideals
Recommended article: Basically full ideals in local rings.
Recommended article: Contracted, \(\mathfrak m\)-full and related classes of ideals in local rings
Recommended article: The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question
Recommended article: Tight closure and strong F-regularity
Recommended article: Tightly closed ideals
Recommended article: Q5866373
description: scientific article; zbMATH DE number 6339722