Maps on divisor class groups induced by ring homomorphisms of finite flat dimension (Q847978): Difference between revisions
From MaRDI portal
Revision as of 12:10, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maps on divisor class groups induced by ring homomorphisms of finite flat dimension |
scientific article |
Statements
Maps on divisor class groups induced by ring homomorphisms of finite flat dimension (English)
0 references
19 February 2010
0 references
Let \(\varphi:A \to B\) be a homomorphism of noetherian normal domains such that the flat dimension of \(B\) is finite as an \(A\)-module. The first main result of the paper under review indicates that there is a group homomorphism \(Cl(A) \to Cl(B)\) of classical group \(A\) to classical group \(B\) by sending the reflexive rank one ideal \(a\) to the reflexive rank one ideal \(\Hom_B(\Hom_B(a\otimes_A B,B),B)\). This generalized a result of \textit{J. Lipman} [Am. J. Math. 101, 203--211 (1979; Zbl 0417.13009)] in the case \(B = A/(f)\) and \(f\) is a nonzero element in \(A\). Suppose that \((A,m)\) is excellent and local and \((I_n)\) is a sequence of prime ideals of \(A\) with finite projective dimension and \(A/I_n\) is normal. Also assume in addition that for each \(i\), there is an integer \(n_i\) such that \(I_n\subset m^i\) for all \(n\geq n_i\). Also, let \(\pi_n:A\to A/I_n\) be the canonical surjection. The second main result of the paper says that \(\bigcap \ker(Cl(\pi_n))=(0)\)
0 references
divisor class group
0 references
excellent rings
0 references
normal integral domains
0 references
ring homomorphisms of finite flat dimension
0 references