Connection With Restriction of Scalars
Consider an -module and an -module . Given a homomorphism, where is viewed as an -module via restriction of scalars, define to be the composition
- ,
where the last map is . This is an -homomorphism, and hence is well-defined, and is a homomorphism (of abelian groups).
In case both and have an identity, there is an inverse homomorphism, which is defined as follows. Let . Then is the composition
- ,
where the first map is the canonical isomorphism .
This construction shows that the groups and are isomorphic. Actually, this isomorphism depends only on the homomorphism, and so is functorial. In the language of category theory, the extension of scalars functor is left adjoint to the restriction of scalars functor.
Read more about this topic: Extension Of Scalars
Famous quotes containing the words connection with, connection and/or restriction:
“Morality becomes hypocrisy if it means accepting mothers’ suffering or dying in connection with unwanted pregnancies and illegal abortions and unwanted children.”
—Gro Harlem Brundtland (b. 1939)
“Children of the same family, the same blood, with the same first associations and habits, have some means of enjoyment in their power, which no subsequent connections can supply; and it must be by a long and unnatural estrangement, by a divorce which no subsequent connection can justify, if such precious remains of the earliest attachments are ever entirely outlived.”
—Jane Austen (1775–1817)
“If we can find a principle to guide us in the handling of the child between nine and eighteen months, we can see that we need to allow enough opportunity for handling and investigation of objects to further intellectual development and just enough restriction required for family harmony and for the safety of the child.”
—Selma H. Fraiberg (20th century)