Vol. 49, No. 2, 1973

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 323: 1
Vol. 322: 1  2
Vol. 321: 1  2
Vol. 320: 1  2
Vol. 319: 1  2
Vol. 318: 1  2
Vol. 317: 1  2
Vol. 316: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Contacts
 
Submission Guidelines
Submission Form
Policies for Authors
 
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
 
Other MSP Journals
Tensor and direct products

Cary Webb

Vol. 49 (1973), No. 2, 579–594
Abstract

Let R be an associative ring with 1, E a unitary right module, and (Fi)iI a family of unitary left modules. Let f : E R TI Ft (E RFi) be the canonical map. THEOREM. f is bijective (surjective) for all families (Fi) iff E is finitely presented (finitely generated). Theorem. If R is a Dedekind domain or is commutative artinian and every Fi is flat, then f is injective. COROLLARY. If R is a Dedekind domain or is commutative artinian, every Fi is flat and E RFi is reduced, then E R Ft is reduced. THEOREM. If R is a Dedekind domain or is commutative artinian, Ej is flat, f is injective for every Ej (e.g. Ef projective) and E is pure in Ej, then f is injective. THEOREM. If R is a Dedekind domain and E is flat then f is injective for E iff f is injective for Hom(F,E) for all modules F. THEOREM. If R is a Dedekind domain and f is injective for E for all families (Fi) then E is reduced. THEOREM. If R is commutative and f is always injective then R must be artinian. The converse holds for serial rings.

Mathematical Subject Classification
Primary: 16A62
Milestones
Received: 21 August 1972
Published: 1 December 1973
Authors
Cary Webb