\(G_ 2\)-stableness and LCM-stableness (Q1824661)

Es werden Erweiterungen \(A\subset B\) von kommutativen Integritätsbereichen betrachtet. Eine Erweiterung \(A\subset B\) wird LCM-stabil genannt, falls \(a_ 1B\cap a_ 2B=(a_ 1A\cap a_ 2A)B\) für alle Elemente \(a_ 1,a_ 2\in A\) gilt. Ferner wird eine Erweiterung \(A\subset B\) \(G_ 2\)-stabil genannt, falls Gr(IB)\(\geq 2\) für jedes endlich erzeugte Ideal I von R mit \(Gr(I)\geq 2\) ist. Hierbei bezeichnet \(Gr(I)\) den Polynomialgrad im Sinne von \textit{D.G. Northcott} [``Finite free resolutions'', Camb. Tracts Math. 71 (1976; Zbl 0328.13010)]. Die vorliegende Arbeit ist eine Fortsetzung früherer Arbeiten des Verf. [Hiroshima Math. J. 13, 357-377 (1983; Zbl 0531.13001) und 16, 115-120 (1986; Zbl 0596.13016)]. Unter den neuen Sätzen können die folgenden hervorgehoben werden. Die Erweiterung \(A\subset B\) ist \(G_ 2\)-stabil, wenn und nur wenn \(B=\cap B_ P\) gilt, wobei P die Primideale von A vom Polynomialgrad \(\leq 1\) durchläuft. Ferner wird für einen Krullschen Integritätsbereich A gezeigt, daß \(A\subset B\) genau dann LCM-stabil ist, falls \(A[X]\subset B[X]\) LCM-stabil ist.