An algebraic proof of the commutativity of intersection with divisors (Q950224)

Let \(A\) be a noetherian ring such that there is a good definition of dimension and that for any prime ideal \({\mathbf p}\), the normalization of \(A/{\mathbf p}\) in its quotient field is a finitely generated \(A/{\mathbf p}\)-module. Let \(Z_i(A)\) be the free Abelian group with basis consisting of all prime ideals \({\mathbf q}\) such that the dimension of \(A/{\mathbf q}\) is \(i\). The main purpose of this paper is to give a purely algebraic proof of the following theorem: For any \(u,v\in A\) and \(\alpha\in Z_i(A)\), the cycles \((u)\cap(v)\cap\alpha\) and \((v)\cap(u)\cap\alpha\) are rationally equivalent in \(Z_{i-2}(A/(u,v))\). For the proof the authors reduce the problem to normal domains and employ the induction on the number of height one primes contained in the intersection.