THE DETERMINANT MAP FROM THE AUTOMORPHISM GROUP OF A PROJECTIVE R-MODULE TO THE UNIT GROUP OF R

Let P be a finitely generated projective module over a commutative ring R with identity. If P has finite rank, then it will be shown that the map ${\varphi}:Aut_R(P){\rightarrow}U(R)$ defined by ${\varphi}({\alpha})={\det}({\alpha})$ is locally surjective and $Ker({\varphi})=SL_R(P)$.