Skip to main content
deleted 7 characters in body; added 2 characters in body
Source Link

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

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

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.

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

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

Source Link

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.