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.

Articles by others on the same topic (0)

There are currently no matching articles.