Multiplication modules and tensor product. (English) Zbl 1112.13012
Summary: All rings are commutative with identity and all modules are unital. The tensor product of projective (resp. flat, multiplication) modules is a projective (resp. flat, multiplication) module but not conversely. In this paper we give some conditions under which the converse is true. We also give necessary and sufficient conditions for the tensor product of faithful multiplication Dedekind (resp. Prüfer, finitely cogenerated, uniform) modules to be a faithful multiplication Dedekind (resp. Prüfer, finitely cogenerated, uniform) module. Necessary and sufficient conditions for the tensor product of pure (resp. invertible, large, small, join principal) submodules of multiplication modules to be a pure (resp. invertible, large, small, join principal) submodule are also considered.
MSC:
13C13 | Other special types of modules and ideals in commutative rings |
13A15 | Ideals and multiplicative ideal theory in commutative rings |
15A69 | Multilinear algebra, tensor calculus |