show/hide this revision's text 2 deleted 7 characters in body; added 2 characters in body

The functor you mention is faithful if and only if the functor $-\bigotimes -\bigotimes_A B :A-mod\to A-mod$ is faithful, ie iff $B$ is a faithfully flat faithful $A$-module.

For a concrete counterexample take $f:\mathbb{Z}\to \mathbb{Q}$ and like Graham says this kills the torsion stuff.

show/hide this revision's text 1

The functor you mention is faithful if and only if the functor $-\bigotimes B :A-mod\to A-mod$ is faithful, ie iff $B$ is a faithfully flat $A$-module.

For a concrete counterexample take $f:\mathbb{Z}\to \mathbb{Q}$ and like Graham says this kills the torsion stuff.