A module is called a co-＊∞-module if it is co-selfsmall and ∞-quasi-injective. The properties and characterizations are investigated. When a module U is a co-＊∞-module, the functor Hom RU（-,U）is exact in Copre...A module is called a co-＊∞-module if it is co-selfsmall and ∞-quasi-injective. The properties and characterizations are investigated. When a module U is a co-＊∞-module, the functor Hom RU（-,U）is exact in Copres∞（U）. A module U is a co-＊∞-module if and only if U is co-selfsmall and for any exact sequence 0→M→UI→N→0 with M∈Copres∞（U） and I is a set, N∈Copres∞（U） is equivalent to Ext1R（N,U）→Ext1R（UI,U） is a monomorphism if and only if U is co-selfsmall and for any exact sequence 0→L→M→N→0 with L, N∈Copres∞（U）, N∈Copres∞（U） is equivalent to the induced sequence 0→Δ（N）→Δ（M）→Δ（L）→0 which is exact if and only if U induces a duality ΔUS：⊥USCopres∞（U）：ΔRU. Moreover, U is a co-＊n-module if and only if U is a co-＊∞-module and Copres∞（U）=Copresn（U）.展开更多
基金The National Natural Science Foundation of China (No.10971024)Specialized Research Fund for the Doctoral Program of Higher Education (No.200802860024)
文摘A module is called a co-＊∞-module if it is co-selfsmall and ∞-quasi-injective. The properties and characterizations are investigated. When a module U is a co-＊∞-module, the functor Hom RU（-,U）is exact in Copres∞（U）. A module U is a co-＊∞-module if and only if U is co-selfsmall and for any exact sequence 0→M→UI→N→0 with M∈Copres∞（U） and I is a set, N∈Copres∞（U） is equivalent to Ext1R（N,U）→Ext1R（UI,U） is a monomorphism if and only if U is co-selfsmall and for any exact sequence 0→L→M→N→0 with L, N∈Copres∞（U）, N∈Copres∞（U） is equivalent to the induced sequence 0→Δ（N）→Δ（M）→Δ（L）→0 which is exact if and only if U induces a duality ΔUS：⊥USCopres∞（U）：ΔRU. Moreover, U is a co-＊n-module if and only if U is a co-＊∞-module and Copres∞（U）=Copresn（U）.
