Let $R$ be a possibly noncommutative left Noetherian ring and $M$ an $R$-module. I am looking for a reference or a proof for the following fact: $M$ is finitely generated and projective if and only if it is finitely presented and flat. (I am not interested in references that treat only the commutative case.)
[Math] Finitely generated projective = finitely presented flat over a noncommutative Noetherian ring
noncommutative-algebrara.rings-and-algebras
Best Answer
This holds over any ring, noetherian or not. See Bourbaki Algebra X, ยง1, no. 5.