finitely generated projective module $\iff$ dual basis

198 Views Asked by At

I would like to prove the following result:

Given a right $R$-module $A_R$, it is a finitely generated projective module if and only if there exists a dual basis.

What could get me started?