Over an integral domain with fraction field , an invertible fractional ideal is a finitely generated nonzero -submodule for which another fractional ideal satisfies . Here equals . Choose with , . On the distinguished open where is invertible, is generated by , since . The maps form a finite dual basis and prove that is a rank-one projective module. Conversely, a finitely generated rank-one projective module embeds in after choosing a basis over ; its dual identifies with , and local evaluation shows .
Articles by others on the same topic
There are currently no matching articles.