Morphismes t- clos (Q4029183)

Let \(A\to B\) be an injective ring homomorphism. Then the seminormalization of \(A\) in \(B\) is the largest subring \(C\) of \(B\) such that \(A\to C\) is spectrally bijective with isomorphic residue field extensions. In the case of Noetherian Mori integral domains \(A\), \(B\), \textit{T. Sugatani} and \textit{K. Yoshida} [see C. R. Math. Acad. Sci., Soc. R. Can. 6, 55-59 (1984; Zbl 0543.13002)] defined the \(t\)-closure of \(A\) in \(B\) as the largest subring \(C\) of \(B\) such that \(A\to C\) is spectrally surjective with isomorphic residue field extensions. Following ideas of \textit{R. G. Swan} [see J. Algebra 67, 210-229 (1980; Zbl 0473.13001)], the authors develop a general concept of the \(t\)-closure of \(A\) in \(B\) for an arbitrary ring homomorphism \(A\to B\). As an application of the general theory there is the following remarkable factorization result: Let \(A\to B\) denote a ring homomorphism. Then there is a sequence of ring homomorphisms \(A\to A'\to A''\to B\) such that \(A\to A'\) is subintegral, \(A'\to A''\) is seminormal and infra-integral, and \(A''\to B\) is \(t\)- closed. In fact \(A'\) (resp. \(A'')\) is the seminormalisation (resp. the \(t\)-closure) of \(A\) in \(B\). Furthermore, an injective ring homomorphism \(A\to B\) is \(t\)-closed whenever an element \(b\in B\) such that there is an \(a\in A\) with \(b^ 3-ab^ 2\), \(b^ 2-ab\in A\) belongs to \(A\).