Page "Projective module" Paragraph 51

Let A be a commutative ring.

If B is a ( possibly non-commutative ) A-algebra that is a finitely generated projective A-module containing A as a subring, then A is a direct factor of B.