For a ring homomorphism , extension of scalars takes an invertible module to an invertible -module. A direct-summand presentation in a finite free module remains a direct-summand presentation after tensoring. At a prime contracting to , localization gives . Compatibility with tensor products, identities and composition makes the Picard group of a ring a covariant functor.
Articles by others on the same topic
There are currently no matching articles.