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:
“There is a relationship between cartooning and people like Miró and Picasso which may not be understood by the cartoonist, but it definitely is related even in the early Disney.”
—Roy Lichtenstein (b. 1923)
“Out in Hollywood, where the streets are paved with Goldwyn, the word “sophisticate” means, very simply, “obscene.” A sophisticated story is a dirty story. Some of that meaning was wafted eastward and got itself mixed up into the present definition. So that a “sophisticate” means: one who dwells in a tower made of a DuPont substitute for ivory and holds a glass of flat champagne in one hand and an album of dirty post cards in the other.”
—Dorothy Parker (1893–1967)