\(t\)-linked extensions, the \(t\)-class group, and Nagata's theorem (Q2366060): Difference between revisions

Let \(A\) be a subring of the integral domain \(B\). Then \(B\) is said to be \(t\)-linked over \(A\) if \((IB)^{-1}=B\) for each finitely generated ideal \(I\) of \(A\) with \(I^{-1}=A\). In this article, the authors first show that if \(B\) is \(t\)-linked over \(A\), then the map \(I\to(IB)_ t\) gives a homomorphism from the group of \(t\)-invertible \(t\)-ideals of \(A\) to the group of \(t\)-invertible \(t\)-ideals of \(B\) and hence a homomorphism \(Cl_ t(A)\to Cl_ t(B)\) of the \(t\)-class groups. An integral domain \(A\) is called weakly Krull if \(A=\bigcap_{P\in X^{(1)}(A)}A_ P\), where the intersection has finite character. Then, using the consideration above, the main result of this paper is the extension of Nagata's theorem to weakly Krull domains: Theorem 4.8. (Nagata's theorem) Let \(A\) be a weakly Krull domain and let \(B=\bigcap_{P\in T}A_ P\) be a subintersection of \(A\) with \(\emptyset\neq T\subseteq X^{(1)}(A)\). Then the homomorphism \(\theta:TI(A)\to TI(B)\), given by \(\theta(I)=(IB)_ t\), is surjective. Hence, the induced homomorphism \(\overline\theta:Cl_ t(A)\to Cl_ t(B)\) is also surjective; moreover, its kernel is generated by the classes of \(t\)-invertible \(t\)-ideals primary to primes from \(X^{(1)}(A)\backslash T\).