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 . DefineThe universal property of localization shows that this is well-defined and gives the unique -module structure extending the -action. These constructions are inverse.
Articles by others on the same topic
There are currently no matching articles.