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 live in a world of things, and our only connection with them is that we know how to manipulate or to consume them.”
—Erich Fromm (1900–1980)
“It may comfort you to know that if your child reaches the age of eleven or twelve and you have a good bond or relationship, no matter how dramatic adolescence becomes, you children will probably turn out all right and want some form of connection to you in adulthood.”
—Charlotte Davis Kasl (20th century)
“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)