Commutative Algebra with a View Toward Algebraic Geometry
《Commutative Algebra with a View Toward Algebraic Geometry》 · 第 253 页 · Chapter 11,Section 11.3「Invertible Modules」
If $R$ is a ring and $I$ is an $R$-module, then $I$ is invertible if $I$ is finitely generated and if for every prime ideal $P$ of $R$ we have $I_P\cong R_P$; that is, $I$ is locally free of rank $1$.