Proposition 9
Tag 00B0, permanent. Cite it as [Bourbaki, Tag 00B0].
Algebra, VIII, p. 162, § 9. Radical
Let M be an A-module and a projective cover of M. Denote the radical of the ring A by . The homomorphism deduced from by passing to the quotients is an isomorphism.
The homomorphism is surjective by definition, so is surjective. Denote the kernel of by N. We have . Let us prove that we have , which implies the injectivity of . For every maximal submodule of P, we have , hence ; since is maximal, we have . The submodule N of P is therefore contained in the radical of P. Now, the latter is equal to by Proposition 6 of VIII, p. 158.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.