Invertible fractional ideal
ID: invertible-fractional-ideal
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 .
New to topics? Read the docs here!