Strongly AP filtrations, integral dependence and Prüferian equivalence in Dedekind domains (Q1209074)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strongly AP filtrations, integral dependence and Prüferian equivalence in Dedekind domains |
scientific article |
Statements
Strongly AP filtrations, integral dependence and Prüferian equivalence in Dedekind domains (English)
0 references
16 May 1993
0 references
Let \(f=(I_ n)_{n\geq 0}\) denote a filtration of ideals in a commutative ring \(A\). It is called to be approximable by powers \((AP\)- filtration) provided there is a sequence of positive integers \((k_ n)_{n\geq 0}\) such that \(I_{k_ nm}\subseteq I^ m_ n\) for all \(m,n\) and \(\lim_{n\to\infty}k_ n/n=1\). An \(AP\)-filtration is called strongly \(AP\) provided there is an integer \(r\geq 1\) such that \(I_{nr}=I^ n_ r\) for all \(n\geq 0\). The \(m\)-th truncation \(t_ mf\) of \(f\) is defined by \((I_{n+m})_{n\geq 0}\). Furthermore a filtration \(g\) is dominated by \(f\) if \(t_ mg\leq f\) for some \(m\geq 1\). The main result says that for two strongly \(AP\)-filtrations \(f,g\) in a Noetherian ring \(g\) is dominated by \(f\) if and only if \(g\) is integral over \(f\), i.e., \(R(A,g)\) is integral over \(R(A,f)\), where \(R(A,f)\) denotes the Rees ring of \(A\) with respect to \(f\). In the case of \(A\) a Nagata domain this holds without the hypothesis ``\(g\) is strongly \(AP\)''. There are further equivalent conditions concerning valuative and asymptotic equivalence of filtrations. In the particular case of a Dedekind domain there are relations to the generalized Samuel number introduced by \textit{P. Ayegnon} and \textit{D. Sangaré} in J. Pure Appl. Algebra 65, No. 1, 1-13 (1990; Zbl 0704.13016).
0 references
integral dependence
0 references
approximation by powers of ideals
0 references
strongly \(AP\)- filtrations
0 references
filtration of ideals
0 references
Nagata domain
0 references
Dedekind domain
0 references
Samuel number
0 references