Smooth algebras and vanishing of Hochschild homology (Q802674)

A homomorphism of commutative rings f: \(A\to B\) yields a \(B\otimes_ AB\)-module structure on B. The author bases on some properties of Hochschild homology and shows that f is regular if A is a Noetherian ring, B a flat Noetherian A-algebra and the flat dimension of B over \(B\otimes_ AB\) is finite. He generalizes his previous result [Manuscr. Math. 59, 491-498 (1987; Zbl 0643.13003)].