Relationship To Flat Modules
In general, is a bifunctor which accepts a right and a left R module pair as input, and assigns them to the tensor product in the category of abelian groups.
By fixing a right R module M, a functor arises, and symmetrically a left R module N could be fixed to create a functor . Unlike the Hom bifunctor, the tensor functor is covariant in both inputs.
It can be shown that M⊗- and -⊗N are always right exact functors, but not necessarily left exact. By definition, a module T is a flat module if T⊗- is an exact functor.
If {mi}i∈I and {nj}j∈J are generating sets for M and N, respectively, then {mi⊗nj}i∈I,j∈J will be a generating set for M⊗N. Because the tensor functor M⊗R- sometimes fails to be left exact, this may not be a minimal generating set, even if the original generating sets are minimal.
When the tensor products are taken over a field F so that -⊗- is exact in both positions, and the generating sets are bases of M and N, it is true that indeed forms a basis for M⊗F N.
Read more about this topic: Tensor Product Of Modules
Famous quotes containing the words relationship and/or flat:
“If one could be friendly with women, what a pleasure—the relationship so secret and private compared with relations with men. Why not write about it truthfully?”
—Virginia Woolf (1882–1941)
“The windy springs and the blazing summers, one after another, had enriched and mellowed that flat tableland; all the human effort that had gone into it was coming back in long, sweeping lines of fertility. The changes seemed beautiful and harmonious to me; it was like watching the growth of a great man or of a great idea. I recognized every tree and sandbank and rugged draw. I found that I remembered the conformation of the land as one remembers the modelling of human faces.”
—Willa Cather (1873–1947)