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:
“We say that the hour of death cannot be forecast, but when we say this we imagine that hour as placed in an obscure and distant future. It never occurs to us that it has any connection with the day already begun or that death could arrive this same afternoon, this afternoon which is so certain and which has every hour filled in advance.”
—Marcel Proust (1871–1922)
“The Transcendentalist adopts the whole connection of spiritual doctrine. He believes in miracle, in the perpetual openness of the human mind to new influx of light and power; he believes in inspiration, and in ecstacy.”
—Ralph Waldo Emerson (1803–1882)
“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)