Restriction of scalars makes every -module an -module, and multiplication by is invertible with inverse multiplication by .
Conversely, suppose each multiplication map is an automorphism of the -module . Define
The universal property of localization shows that this is well-defined and gives the unique -module structure extending the -action. These constructions are inverse.
Under this structure the natural map has inverse
so it is an isomorphism.
Localization of the inclusion gives an injection , whose image lies in . Conversely, take . Since is a unit and is an -submodule,
By the definition of the inverse image, , and hence lies in the image of . Therefore

Articles by others on the same topic (0)

There are currently no matching articles.